styles.css

   1 body {
   2     margin: 3ex 15%;
   3     font-family: helvetica;
   4     color: #222;
   5 }
   6
   7 header code, #contents code {
   8     font-size: inherit;
   9     border: none;
  10     background-color: transparent;
  11     color: inherit;
  12 }
  13 pre {
  14     max-height: 50ex;
  15     overflow-y: auto;
  16 }
  17 h1 {
  18     text-align: center;
  19     margin-bottom: 2ex;
  20 }
  21 h2 {
  22     margin-top: 3ex;
  23     padding-top: 1ex;
  24     border-top: 1px solid grey;
  25 }
  26
  27 dd {
  28     margin-left: 3ex;
  29 }