2 font-family: Times, "Times Roman", "Times New Roman";
8 font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
29 * Works with the HTML emitted by pandoc. It would better if pandoc
30 * were to emit class names that we can use. But it doesn't.