body { background: white; }
  h1, h2, h3, h4 { color: #5555aa; }
  div.section {
    margin: 0.5em 0.5em 0.5em 1em;
    padding-left: 0.5em;
    border-left: 4px solid #ccccff;
  }
  p, ul, ol, dl, table { margin-top: 0.5em; }
  p { text-indent: 1em; }
  p.runin { text-indent: 0em; }
  p.note { text-indent: -0.8em; margin-left: 6em; color: green;}
  p.comment { text-indent: -0.8em; margin-left: 8em; color: red;}
  p.note, p.comment { font-size: x-small; }
  //a { color: green; }
  pre.code { 0.6em; border: thin solid gray; }
  pre.cmd { color: #eeeeee; background: black; }
  table { margin-bottom: 1em; }
  table pre { margin: 0; }
  table th { background: #ccccff; font-size: x-small; font-weight: normal; }
  table caption { font-weight: bold; }
  div.credit { font-style: normal; text-align: right; }
  table.toc th { background: #ccccff; color: #555577 }
  table.toc td { background: #eeeeff; }