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; +} +