2 font-family: Times, "Times Roman", "Times New Roman";
8 font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
12 /* Default spacing is way off in both Chrome and Firefox */
13 margin-bottom: -0.5em;
45 * Works with the HTML emitted by pandoc. It would better if pandoc
46 * were to emit class names that we can use. But it doesn't.
48 body > p:last-of-type {