Move documentation files from tools/htdocs into new top-level doc directory

[mkws-moved-to-github.git] / doc / mkws-doc.css

diff --git a/doc/mkws-doc.css b/doc/mkws-doc.css
new file mode 100644 (file)
index 0000000..a58c10f
--- /dev/null
+++ b/doc/mkws-doc.css
@@ -0,0 +1,76 @@
+body {
+    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;
+}