/* Colors. */
html, body {
  color: white;
  background: black /*#0F0101*/; }

#top {
  color: black;
  background: white; }

/* Typography. */
.mkd {
  text-align: justify; }
  .mkd h1 {
    font-family: "Verdana";
    font-size: 13px;
    font-weight: bold;
    padding-bottom: 1em; }
  .mkd h2 {
    font-family: "Verdana";
    font-size: 12px;
    font-weight: bold; }
  .mkd hr {
    height: 1px;
    margin: 2em 1em 4em 2em;
    text-align: center;
    border: 0 dotted #777; }
    .mkd hr:after {
      content: "···";
      letter-spacing: 2em; }
  .mkd .halmos {
    text-align: right;
    margin: -10px 0 150px 0; }
    .mkd .halmos hr.solid {
      margin: .5em 0 2em 0; }
      .mkd .halmos hr.solid:after {
        content: ""; }