From 61665ad7161b3aab9a18c11343609fda5cb9b930 Mon Sep 17 00:00:00 2001
From: Shawn <shawnw.mobile@gmail.com>
Date: Thu, 4 Jan 2018 18:44:15 -0800
Subject: [PATCH] Add htmldocs stylesheet.

---
 htmldocs/mushdoc.css | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 htmldocs/mushdoc.css

diff --git a/htmldocs/mushdoc.css b/htmldocs/mushdoc.css
new file mode 100644
index 000000000..1b801d9ae
--- /dev/null
+++ 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;
+}
+