font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
}
-h2 a, h3 a, h4 a, div#TOC a {
+h1 a, h2 a, h3 a, h4 a, div#TOC a {
color: #68a;
text-decoration: none;
}
margin-bottom: -0.5em;
}
-h1 {
+h1.title {
background: #e0e8f8;
padding: 0.2em;
font-weight: normal;
table tr:nth-child(even) {
background: #bfdcf8;
}
-
-/*
- * Works with the HTML emitted by pandoc. It would better if pandoc
- * were to emit class names that we can use. But it doesn't.
- */
-body > p:last-of-type {
- font-size: small;
- max-width: none;
- text-align: right;
-}