- font-family: Times, "Times Roman", "Times New Roman";
-}
-
-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;
- font-weight: normal;
-}
-
-h2.author {
- font-size: 120%;
- color: black
-}
-
-h3.date {
- font-size: 100%;
- color: black
-}
-
-body > p, ul, ol, pre, table, h4 {
- margin-left: 10%;
-}
-
-p, ul {
- max-width: 40em;
-}
-
-pre {
- 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 {
- font-size: small;
- max-width: none;
- text-align: right;
-}
+ font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif;
+}
+h1, div#header h2, h3 { font-weight: normal; color: #606060 }
+h2 { margin-top: 0.5em }
+div#header h2 { font-size: 120% }
+.pane {
+ padding: 0em 1em; margin: 0.75em;
+ border: 0.5em solid #eee;
+ border-radius: 1em;
+ background-image: url('images/mkws-logo-48x48-light.png');
+ background-repeat: no-repeat;
+ background-position: right top;
+ background-color: #eee;
+}
+.pane h1 a, .pane h2 a, .pane h3 a { text-decoration: none; color: black }
+.nologo { background-image: none }
+pre { background: #ddd; padding: 0.5em; }
+img:first-of-type { float: right; margin: 1.5em }