body {
  background-color:#CF4647;
  color:#FFF;
  font-family: sans-serif;
  padding:0;
  margin:0;
}
#container {
  position: absolute;
  top:0;
  left:0;
  right:0;
  bottom:0;
  text-align:center;
  -webkit-box-flex: 1;
  -webkit-flex: 1;
  -ms-flex: 1;
  flex: 1;
  display: -webkit-box;
  display: -webkit-flex;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-align: stretch;
  -webkit-align-items: stretch;
  -ms-flex-align: stretch;
  align-items: stretch;
  -webkit-transition: all 0.3s ease;
  transition: all 0.3s ease;
}
a {
  color:#FFF;
}
#top {
  display:inline-block;
  box-sizing: border-box;
  width: 350px;
  display: -webkit-box;
  display: -webkit-flex;
  display: -ms-flexbox;
  display: flex;
  -webkit-box-orient: vertical;
  -webkit-box-direction: normal;
  -webkit-flex-direction: column;
  -ms-flex-direction: column;
  flex-direction: column;
}
#ui {
  -webkit-box-flex: 1;
  -webkit-flex: 1;
  -ms-flex: 1;
  flex: 1;
  padding:20px;
}
h1 {
  font-family: 'Open Sans', sans-serif;
  font-size:35px;
  margin:0 0 10px 0;
  font-weight: normal;
}
p {
  font-weight: normal;
  font-size: 14px;
  margin: 10px auto 20px auto;
  text-align:left;
}
#bottom {
  box-sizing:border-box;
  background-color:#BE3536;
  color:rgba(255,255,255,0.8);
  font-style:italic;
  font-size:13px;
  height:50px;
  line-height:30px;
  padding:10px;
}
p strong {
  font-weight:normal;
  font-family:monospace;
}
button, a.button {
  background-color:#A7C5BD;
  color:#524656;
  padding:0 10px;
  line-height:45px;
  vertical-align:bottom;
  text-decoration:none;
  display:block;
  border:0;
  height:40px;
  box-sizing:border-box;
  font-size:16px;
  font-family:sans-serif;
  border-radius: 5px;
  margin:30px auto;
  -webkit-transition: all 0.3s ease;
  transition: all 0.3s ease;
  cursor:pointer;
}
button:hover, a.button:hover, button:focus, a.button:focus {
  background-color:#B8D6DF;
  outline: 0;
}
#top button, #top a.button {
  border-radius:0 5px 5px 0;
  margin:10px 0;
  width:50px;
}
input[type="text"] {
  background-color:rgba(255,255,255,0.2);
  color:#FFF;
  padding:10px;
  border-radius:5px 0 0 5px;
  text-decoration:none;
  display:block;
  border:0;
  height:40px;
  box-sizing:border-box;
  -webkit-box-flex: 1;
  -webkit-flex: 1;
  -ms-flex: 1;
  flex: 1;
  font-size:13px;
  font-family:monospace;
  margin:10px 0;
  -webkit-transition: all 0.3s ease;
  transition: all 0.3s ease;
}
input[type="text"]:hover {
  background-color:rgba(255,255,255,0.4);
}
input[type="text"]:focus {
  outline: 0;
  background-color:rgba(255,255,255,0.3);
}
#function {
  margin-bottom:20px;
  display: -webkit-box;
  display: -webkit-flex;
  display: -ms-flexbox;
  display: flex;
}
#result {
  padding: 20px;
  text-align:center;
  height:auto;
  opacity:0;
  -webkit-transition: all 0.4s linear;
  transition: all 0.4s linear;
}
#result.open {
  opacity:1;
}
#george_container {
  -webkit-box-flex: 1;
  -webkit-flex: 1;
  -ms-flex: 1;
  flex: 1;
  padding: 20px 0;
  text-align:center;
  width: 0;
  background-color:#333745;
  overflow-y:auto;
  overflow-x:hidden;
  -webkit-transition: all 0.4s ease;
  transition: all 0.4s ease;
  -webkit-box-flex: 0.00001;
  -webkit-flex-grow: 0.00001;
  -ms-flex-positive: 0.00001;
  flex-grow: 0.00001;
}
#george_container.open {
  width:auto;
  overflow-x:auto;
  padding: 20px;
  -webkit-box-flex: 1;
  -webkit-flex-grow: 1;
  -ms-flex-positive: 1;
  flex-grow: 1;
}
#george_container pre {
  display:inline-block;
  box-sizing: border-box;
  padding:20px;
  border:0;
  border-radius:5px;
  background-color:rgba(0,0,0,0.4);
  color:#FFF;
  font-family: monospace;
  font-size: 13px;
  width:auto;
  height:auto;
}
#wrapper {
  -webkit-box-flex: 1;
  -webkit-flex: 1;
  -ms-flex: 1;
  flex: 1;
  overflow-y:auto;
  overflow-x:auto;
  background-color:#524656;
  -webkit-transition: all 0.3s ease;
  transition: all 0.3s ease;
}
#wrapper.covered {
  -webkit-box-flex: 0.00001;
  -webkit-flex-grow: 0.00001;
  -ms-flex-positive: 0.00001;
  flex-grow: 0.00001;
  width:0;
  overflow-x: hidden;
  -webkit-box-flex: 0.00001;
  -webkit-flex-grow: 0.00001;
  -ms-flex-positive: 0.00001;
  flex-grow: 0.00001;
}



table {
  margin: 0 auto;
  border-collapse: collapse;
  min-width: 300px;
}
table tr {
  background-color:rgba(0, 0, 0, 0);
  margin:0;
  padding:0;
  -webkit-transition: all 0.3s ease;
  transition: all 0.3s ease;
}
table tr:hover {
  background-color:rgba(0, 0, 0, 0.2);
}
table tr:first-child:hover {
  background-color:rgba(0, 0, 0, 0);
}
table tr th {
  border-bottom: 2px solid #FFF;
  padding:10px;
  font-family: monospace;
  font-weight: normal;
  transition: all 0.3s ease;
}
th[data-expression], th[data-label] {
  cursor: pointer;
  position:relative;
}
th[data-expression]::before, th[data-label]::before {
  display:block;
  position:absolute;
  bottom:0;
  right:0;
  box-sizing:border-box;
  padding:0 5px;
  background-color:rgba(0,0,0,0.8);
  border-radius: 0 0 5px 5px;
  font-family:sans-serif;
  font-size:13px;
  width:150px;
  height:0;
  transition: all 0.3s ease;
  overflow:hidden;
}
th[data-expression]::before {
  content: "Show explicit formula";
}
th[data-label]::before {
  content: "Hide explicit formula";
}
th[data-label]:nth-child(even) {
  background-color: rgba(0,150,180,0.2);
}
th[data-label]:nth-child(odd) {
  background-color: rgba(0,150,180,0.3);
}
th[data-expression]:hover::before, th[data-label]:hover::before {
  height:25px;
  padding:5px;
  margin-bottom:-25px;
}
table tr td {
  margin:0;
  padding:10px;
  border-left: 1px solid #FFF;
  border-bottom: 1px solid #FFF;
}
td.truthful-true {
  background-color:rgba(255, 255, 255, 0.2);
}
table tr td:first-child {
  border-left: 0;
}
table tr td.truthful-first {
  border-left:2px solid #FFF;
}
table tr:last-child td {
  border-bottom:0;
}

.errors {
  max-width:300px;
  box-sizing:border-box;
  border-radius:5px;
  padding:20px;
  display:inline-block;
  background-color:rgba(200,0,0,0.4);
}



@media all and (max-width:700px) {
  #container {
    display:block;
  }
  h1 {
    font-size:24px; 
  }
  #top {
    display:block;
    width:auto;
  }
  #george_container {
    width:auto;
    max-height:0;
    overflow:hidden;
    padding: 0 20px;
  }
  #george_container.open {
    max-height:1000px;
  }
  #wrapper {
    max-height:1000px;
  }
  #wrapper.covered {
    max-height:0;
    width:auto;
    overflow: hidden;
    -webkit-box-flex: 0;
    -webkit-flex: 0;
    -ms-flex: 0;
    flex: 0;
  }
}

@media all and (max-width:500px) {
  #top {
    display:block;
    position:relative;
  }
}

@media all and (max-width:400px) {
  #function input[type="text"] {
    display:block;
    width:100%;
    box-sizing: border-box;
    height: 40px;
  }
  #function input[type="button"] {
    display:block;
    margin: 10px auto;
  }
  table {
    min-width:200px;
  }
}

*::-webkit-scrollbar-track {
  background-color: transparent;
}
*::-webkit-scrollbar {
  width: 6px;
  height:6px;
  background-color: rgba(255,255,255,0.2);
  -webkit-transition: all ease 0.3s;
  transition: all ease 0.3s;
}
*::-webkit-scrollbar:hover {
  background-color: rgba(255,255,255,0.3);
}
*::-webkit-scrollbar-thumb {
  background-color: rgba(0,0,0,0.4);
  -webkit-transition: all ease 0.3s;
  transition: all ease 0.3s;
}
*::-webkit-scrollbar-thumb:hover {
  background-color: rgba(0,0,0,0.5);
}