style.css

   1 #txt1 {
   2     font-family: "Liberation Serif", "Times New Roman", serif;
   3     width: 100%;
   4     padding-left: 1em;
   5     padding-right: 1em;
   6     height: 15em;
   7     box-sizing: border-box;
   8 }
   9 .topPadding {
  10     padding-top: 12pt;
  11 }
  12 #resultsContainer {
  13     font-family: monospace;
  14     float: right;
  15     min-width: 100ch;
  16     border-left-style: solid;
  17     border-left-width: 1px;
  18     border-left-color: black;
  19     box-sizing: border-box;
  20     white-space: nowrap;
  21 }
  22 #statContainer {
  23     overflow: auto;
  24     padding-right: 8pt;
  25 }
  26 span.note {
  27     font-size: 8pt;
  28 }
  29 footer {
  30     font-size: 8pt;
  31 }
  32 .hidden {
  33     visibility: hidden;
  34 }
  35