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

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

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