pre
{
  font-weight: normal;
  color: black;
  font-family: "Courier New, Courier, monospace";
  font-size: 12px;
 /* line-height: 16px; */
  margin-left: 3px;
  margin-right: 3px;
  margin-top: 7px;
  margin-bottom: 7px;
}


code
{
  font-family: "Courier New, Courier, monospace";
  font-size: 12px;
  margin-left: 3px;
  margin-right: 3px;
  margin-top: 7px;
  margin-bottom: 7px;
}


.noscroll
{
  width:525px;
  border:1px solid #f2f2f2;
  background-color:#F3F6F8;
  padding: 4px;
}

.scroll
{
  width:525px;
  border:1px solid #f2f2f2;
  background-color:#F3F6F8;
  padding: 4px;
  overflow: clip;
  overflow-x: scroll;
}