doc/style.css

   1 body {
   2     margin: 5ex 10ex;
   3     max-width: 80ex;
   4     line-height: 1.5;
   5     font-family: sans-serif;
   6 }
   7 h1, h2, h3 {
   8     font-weight: normal;
   9 }
  10 pre, code {
  11     font-family: x, monospace;
  12 }
  13 pre {
  14     padding: 1ex;
  15     background: #eee;
  16     border: solid 1px #ddd;
  17     min-width: 0;
  18     font-size: 90%;
  19 }
  20 code {
  21     color: #007;
  22 }
  23 div.chapter {
  24     margin-top: 4em;
  25     border-top: solid 2px black;
  26 }
  27 p {
  28     margin-top: 0;
  29 }