body {
  font-family: Helvetica, sans-serif, Arial;
  font-size: 10.5pt;
  color: #202020;
  background-color: #FAFAFA;
}

textarea {
  font-size: 9.765pt;
  font-family: Fixed, monospace, Courier New;
}

pre {
  font-size: 9.765pt;
  font-family: Fixed, monospace, Courier New;
}

.main-footer-copyR {
  font-size: 8.925pt;
  padding: 16px;
  background-color: #F2F2F2;
}

.main-footer-div {
  padding-left: 16px;
  padding-right: 16px;
}

.main-footer-tab {
  width: 100%;
  background-color: #F2F2F2;
}

div#sqlContainer {
  padding-left: 16px;
  padding-right: 16px;
}

div#sql_0 {
  background-color: #F2F2F2;
  border-left: black 1px solid;
  border-right: black 1px solid;
  border-bottom: black 1px solid;
}

div#sql_1, div#sql_2 {
  float: left;
  width: 50%;
  background-color: rgba(255, 255, 255, 0);
}

div#sqlCode_1, div#sqlCode_2 {
  padding: 8px;
}

div#sqlCode_1 {
  border-right: #FFFFFF 1px groove;
}

div#sqlCode_2 {
  border-left: #FFFFFF 1px groove;
}

div#sqlFooter {
  clear: left;
}

div#sqlHeader {
  width: 100%;
  background-color: #FD6D13;
}

div#sqlHeader_inner {
  width: auto;
  padding-left: 16px;
  padding-top: 5px;
  padding-bottom: 4px;
}

.spoiler1_txt {
  cursor: pointer;
  font-weight: bold;
  color: #B34D0D;
  font-size: 13.125pt;
  text-shadow: 0px -1px 1px #F0F0F0, 0px 1px 1px #99420B;
}

.jsonInput {
  padding-bottom: 8px;
  padding-top: 16px;
  padding-left: 16px;
  border: black 0px solid;
}

.buttonTable {
  border: black 0px solid;
}

.buttonTD {
  border: black 0px solid;
}

.formatTable {
  width: 100%;
  border: black 0px solid;
}

.formatTD {
  border: black 0px solid;
  vertical-align: top;
}

.msgDiv {
  padding-top: 8px;
  padding-right: 16px;
}

.msgPre {
  border: black 1px solid;
  padding: 4px;
}

div#jsonContainer {
  padding-left: 16px;
  padding-right: 16px;
}

div#jsonHeader {
  padding-left: 16px;
  padding-top: 5px;
  padding-bottom: 4px;
  background-color: #FD6D13;
}

.jsonheader_txt {
  font-weight: bold;
  color: #B34D0D;
  font-size: 13.125pt;
  text-shadow: 0px -1px 1px #F0F0F0, 0px 1px 1px #99420B;
}

div#jsonContainer_inner {
  padding-left: 16px;
  padding-right: 16px;
  padding-top: 5px;
  padding-bottom: 4px;
  border: black 1px solid;
}