Add htmldocs stylesheet.

pennmush · Jan 5, 2018 · 61665ad · 61665ad
1 parent 0313c2a
commit 61665ad
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/htmldocs/mushdoc.css b/htmldocs/mushdoc.css
@@ -0,0 +1,23 @@
+body {
+    color: black;
+    font-family: Verdana, sans-serif;
+    margin: 5%;
+}
+p {
+    text-align: justify;
+}
+pre {
+    font-family: monospace;
+}
+code {
+    font-family: monospace;
+    color: green;
+
+}
+nav#TOC {
+    border: 1px solid black;
+}
+h1 {
+    text-decoration: underline;
+}
+