family: "Liberation Mono", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", Consolata, monospace;
  }
  pre code {
    background-color: #f7f7f7;
    padding: 0; /* Only want padding on inline code, not blocks */
  }
  pre.terminal {
    color: #fff;
    background-color: #000;
    border: 1px solid #ccc;
    max-height: 30em;
  }
  pre.terminal code {
    color: #fff;
    background-color: #000;
    font-size: smaller;
  }
  #markdown-toc ul {
    list-style-type: disc;
  }
  ul#markdown