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 h1 {
  14     text-align: center;
  15     margin-bottom: 2ex;
  16 }
  17 h2 {
  18     margin-top: 3ex;
  19     padding-top: 1ex;
  20     border-top: 1px solid grey;
  21 }
  22
  23 dd {
  24     margin-left: 3ex;
  25 }