doc/mkws-doc.css

   1 body {
   2     font-family: Baskerville, "Baskervald ADF Std", "Times New Roman", "Times Roman", Times;
   3 }
   4
   5 h1, h2, h3, h4 {
   6     color: #68a;
   7     font-weight: bold;
   8     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
   9 }
  10
  11 h1 a, h2 a, h3 a, h4 a, div#TOC a {
  12     color: #68a;
  13     text-decoration: none;
  14 }
  15
  16 h2, h3 {
  17     /* Default spacing is way off in both Chrome and Firefox */
  18     margin-bottom: -0.5em;
  19 }
  20
  21 h1.title {
  22     background: #e0e8f8;
  23     padding: 0.2em;
  24     font-weight: normal;
  25 }
  26
  27 h2.author {
  28     font-size: 120%;
  29     color: black
  30 }
  31
  32 h3.date {
  33     font-size: 100%;
  34     color: black
  35 }
  36
  37 body > p, ul, ol, pre, table, h4, blockquote {
  38     margin-left: 10%;
  39 }
  40
  41 blockquote {
  42     padding-left: 4em;
  43     padding-right: 4em;
  44 }
  45
  46 p, ul {
  47     max-width: 40em;
  48 }
  49
  50 pre {
  51     background: #eee;
  52 }
  53
  54 table tr th {
  55     color: white;
  56     background: #68a;
  57     font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
  58 }
  59
  60 th, td {
  61     padding: 0.2em 0.5em;
  62     vertical-align: top;
  63 }
  64
  65 table tr:nth-child(odd) {
  66     background: #a9c6e3;
  67 }
  68
  69 table tr:nth-child(even) {
  70     background: #bfdcf8;
  71 }
  72
  73 /*
  74  * Works with the HTML emitted by pandoc. It would better if pandoc
  75  * were to emit class names that we can use. But it doesn't.
  76  */
  77 body > p:last-of-type {
  78     font-size: small;
  79     max-width: none;
  80     text-align: right;
  81 }