doc/style.css

   1 body {
   2     text-align: justify;
   3 }
   4
   5 div.body {
   6     width: 40em;
   7     margin: 0 auto;
   8     padding: 1em;
   9 }
  10
  11 h1 {
  12     text-align: center;
  13     font-size: 200%;
  14     font-style: normal;
  15     font-weight: bold;
  16 }
  17
  18 h2 {
  19     text-align: left;
  20     font-size: 150%;
  21     font-style: normal;
  22     font-weight: bold;
  23 }
  24
  25 h3 {
  26     text-align: left;
  27     font-size: 120%;
  28     font-style: normal;
  29     font-weight: bold;
  30 }
  31
  32 code {
  33     font-family: monospace;
  34     whitespace: pre;
  35     background-color: #afcfff;
  36     color: #000000;
  37 }
  38
  39 table th, td {
  40     border: none;
  41     text-align: left;
  42     vertical-align: top;
  43     padding: 0.2em 1em 0.2em 0.2em;
  44 }