body {
  background-color: lightgray;
}

.scroll {
         height: 250px;
         width: 600px;
         overflow: auto;
         border-color: gray;
         border-style: solid;
         border-width: 1px;
         margin-left:10pt;
         padding:5px;
         background-color: white;
         }
         
.color_red {
  color: #8031ff;
}

pre {
  font-size: 9pt;
}

body {
  margin: 20pt;
}

.examples {
  font-size: 14pt;
  margin-bottom: 4px;
}

.maintable {
  width: 600px;
}

.class {
  font-family: courier new;
  font-size: 10pt;
}