font-family: Times, "Times Roman", "Times New Roman";
}
-h1, h2, h3 {
+h1, h2, h3, h4 {
color: #68a;
font-weight: bold;
font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
}
+h2 a, h3 a, h4 a, div#TOC a {
+ color: #68a;
+ text-decoration: none;
+}
+
+h2, h3 {
+ /* Default spacing is way off in both Chrome and Firefox */
+ margin-bottom: -0.5em;
+}
+
h1 {
background: #e0e8f8;
padding: 0.2em;
color: black
}
-p, ul, pre {
+body > p, ul, ol, pre, table, h4 {
margin-left: 10%;
}
background: #eee;
}
+table tr th {
+ color: white;
+ background: #68a;
+ font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Verdana, Sans-Serif;
+}
+
+th, td {
+ padding: 0.2em 0.5em;
+ vertical-align: top;
+}
+
+table tr:nth-child(odd) {
+ background: #a9c6e3;
+}
+
+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 {
+ */
+body > p:last-of-type {
font-size: small;
max-width: none;
text-align: right;