html {
  min-height: 100%; 
}
body {
  font-family: sans-serif;
  font-size: 3vh;
  margin: 0.1vh;
}
div#toppanel {
  box-sizing: border-box;
  font-size: 3vh;
  width: 100%;
  height: 93vh;
  margin: 0px;
  border: 0.2vh solid gray;
  border-top-left-radius: 2vh;
  border-top-right-radius: 2vh;
}
div#program {
  box-sizing: border-box;
  margin: 2vh;
  width: 100%;
  height: 65%;
  width: 98%;
}
div#program.ace-github-dark {
  background-color: #7F7F7F;
}
div#program .ace_gutter {
  background-color: #595959;
}
div#program.ace-github-dark span.ace_comment {
    color: #72FFB7;
}
div#inputoutputpanel {
  box-sizing: border-box;
  border-top: 0.2vh solid gray;
  width: 100%;
  height: 31%;
  padding: 2vh;
}
div#explain {
  width: 100%;
  height: 50%;
  padding-left: 1vh;
  padding-right: 2vh;
  margin-right: 1vh;
  overflow-y: auto;
  border-bottom: 0.2vh solid gray;
}
div#exposion {
  width: 100%;
  height: 50%;
  padding-left: 1vh;
  padding-right: 2vh;
  margin-right: 1vh;
  overflow-y: auto;
}

div#leftpanel {
  box-sizing: border-box;
  font-size: 3vh;
  width: 23.5%;
  height: 100%;
  float: left;
}
div#rightpanel {
  font-size: 3vh;
  box-sizing: border-box;
  width: 75%;
  height: 100%;
  float: right;
  border-left: 0.2vh solid gray;
}

div#buttonpanel {
  width: 100%;
  height: 6.5vh;
  margin: 0px;
  padding: 1vh;
  box-sizing: border-box;
  border-left: 0.2vh solid gray;
  border-right: 0.2vh solid gray;
  border-bottom: 0.2vh solid gray;
  border-bottom-left-radius: 2vh;
  border-bottom-right-radius: 2vh;
}
div#inputpanel {
  background-color: #7F7F7F;
  box-sizing: border-box;
  border-top: 0.2vh solid gray;
  width: 100%;
  height: 25%;
}
div#outputpanel {
  background-color: #7F7F7F;
  box-sizing: border-box;
  width: 100%;
  height: 75%;
}
div#inputlabel, div#outputlabel {
  box-sizing: border-box;
  background-color: #595959;
  color: white;
  display: inline-block;
  width: 10%;
  height: 100%;
  padding-right: 1vh;
  vertical-align: top;
  text-align: right;
}
div#inputdata, div#outputdata {
  box-sizing: border-box;
  display: inline-block;
  width: 90%;
  height:100%;
  color: white;
  overflow: auto;
}
div#buttonpanel > span, div#inputdata >span {
  color: white;
  cursor: pointer;
  padding-right: 1vh;
  padding-left: 1vh;
  display: inline-block;
  border: 0px;
  text-align: center;
  margin-right: 3vh;
  transition: opacity 0.3s;
  border-radius: 1vh;
  opacity: 0.7;
}
div#inputdata >span {
  background-color: #595959;
}
div#buttonpanel > span:nth-child(1) {
  background-color: #8F8B8B;
}
div#buttonpanel > span:nth-child(2) {
  background-color: #BC8A6F;
  float: right;
  display: none;
}
div#buttonpanel > span:nth-child(3) {
  background-color: #6F8ABC;
  float: right;
}
div#buttonpanel > span:nth-child(4) {
  background-color: #89B16E;
  float: right;
}
div#buttonpanel > span:hover {
  opacity: 1.0;
}
p.br {
  white-space: pre-wrap;
}
.err {
  color: darkred;
}
div#inputdata input {
  font-size: inherit;
  color: black;
  border: none;
  background-color: #D9D9D9;
  padding: 0.2vh;
}
div#inputdata textarea {
  font-size: inherit;
  color: black;
  background-color: #D9D9D9;
  width: 100%;
  height: 100%;
  border: none;
  padding: 0.2vh;
}
div#inputdata input:invalid {
  background-color: #FFD9D9;
  border: none;
}
div#inputdata input:focus {
  background-color: white;
  outline: none;
}
div#inputdata textarea:invalid {
  background-color: #FFD9D9;
  border: none;
}
div#inputdata textarea:focus {
  background-color: white;
  outline: none;
}
div#outputdata p,summary {
  margin: 0px 1vh;
}
div#outputdata pre {
  margin: 0px 1vh;
}
div#outputdata table {
  width: auto;
  border: none; 
  font-size: inherit;
  border-collapse: collapse;
}
div#outputdata table th {
  border-bottom: 1px solid gray;
  text-align: left;
}
div#outputdata table td {
  vertical-align: top;
}
div#outputdata td + td { border-left:0.1vh solid #595959; }
div#outputdata th + th { border-left:0.1vh solid #595959; }
.u {
  text-decoration: underline;
}