2 font-family: Times, "Times Roman", "Times New Roman";
8 font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
11 h2 a, h3 a, div#TOC a {
13 text-decoration: none;
17 /* Default spacing is way off in both Chrome and Firefox */
18 margin-bottom: -0.5em;
50 * Works with the HTML emitted by pandoc. It would better if pandoc
51 * were to emit class names that we can use. But it doesn't.
53 body > p:last-of-type {