#jsonStr, #regeStr {
    margin: 10px;
    padding: 10px;
    font-family: "Arial";
  }

#code {
  background: #ffffff;
  overflow:auto;
  width:auto;
  border:solid gray;
  border-width:.1em .1em .1em .8em;
  padding:.2em .6em;
}

#pre{
  margin: 0;
  line-height: 125%
}

#footer{
  margin-top: 50px;
}