/* Make it skinny. */
body {
  margin: 0 auto;
  width: 80ex;
  font-family: serif;
}

/* Inline code */
code {
  color: green;
}

/*
.footnotes {
  font-size: small;
}
*/

/* Markdown indented sections.  TODO: style this more?
 * NOTE: Markdown generates <pre><code>, not just <pre>.
 * */
pre {
  background-color: #EEE;
  padding: 0.5em;
}


h1, h2, h3, h4, h5, h6 {
  color: #527bbd;
}

ul {
  /* The default is too heavy, but somehow this seems too unreadable.  Probably
   * because it looks like an 'o'.
  list-style: circle;
  */
}

#latch-status {
  text-align: center;
  color: grey;
}


/*
 * For toc.js -- also taken from asciidoc.
 */

div#toc {
  margin-bottom: 2.5em;
}

div#toctitle {
  color: #527bbd;
  font-size: 1.1em;
  font-weight: bold;
  margin-top: 1.0em;
  margin-bottom: 0.1em;
}

div.toclevel1, div.toclevel2, div.toclevel3, div.toclevel4 {
  margin-top: 0;
  margin-bottom: 0;
}
div.toclevel2 {
  margin-left: 2em;
  font-size: 0.9em;
}
div.toclevel3 {
  margin-left: 4em;
  font-size: 0.9em;
}
div.toclevel4 {
  margin-left: 6em;
  font-size: 0.9em;
}

/**/