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 h1 {
  12     background: #e0e8f8;
  13     padding: 0.2em;
  14 }
  15
  16 h2.author {
  17     font-size: 120%;
  18     color: black
  19 }
  20
  21 h3.date {
  22     font-size: 100%;
  23     color: black
  24 }
  25
  26 p, ul, pre {
  27     margin-left: 10%;
  28 }
  29
  30 p, ul {
  31     max-width: 40em;
  32 }
  33
  34 pre {
  35     background: #eee;
  36 }
  37
  38 /*
  39  * Works with the HTML emitted by pandoc. It would better if pandoc
  40  * were to emit class names that we can use. But it doesn't.
  41  */
  42 body p:last-of-type {
  43     font-size: small;
  44     max-width: none;
  45     text-align: right;
  46 }