Add CSS for HTML man pages.

rug-compling · Jul 21, 2016 · eaae441 · eaae441
1 parent afde310
commit eaae441
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/man/manpage.css b/man/manpage.css
@@ -0,0 +1,7 @@
+body {
+  font-family:'Source Sans Pro', verdana, arial, helvetica, sans-serif;font-size:15px
+}
+
+h1 {
+  color: #5C7A99;
+}