tools/htdocs/mkws-doc.css

   1 body {
   2     font-family: Times, "Times Roman", "Times New Roman";
   3 }
   4
   5 h1, h2, h3 {
   6     color: #68a;
   7     font-weight: bold;
   8     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
   9 }
  10
  11 h2, h3 {
  12     /* Default spacing is way off in both Chrome and Firefox */
  13     margin-bottom: -0.5em;
  14 }
  15
  16 h1 {
  17     background: #e0e8f8;
  18     padding: 0.2em;
  19     font-weight: normal;
  20 }
  21
  22 h2.author {
  23     font-size: 120%;
  24     color: black
  25 }
  26
  27 h3.date {
  28     font-size: 100%;
  29     color: black
  30 }
  31
  32 body > p, ul, pre {
  33     margin-left: 10%;
  34 }
  35
  36 p, ul {
  37     max-width: 40em;
  38 }
  39
  40 pre {
  41     background: #eee;
  42 }
  43
  44 /*
  45  * Works with the HTML emitted by pandoc. It would better if pandoc
  46  * were to emit class names that we can use. But it doesn't.
  47  */
  48 body > p:last-of-type {
  49     font-size: small;
  50     max-width: none;
  51     text-align: right;
  52 }