aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
authorKristaps Dzonsons <kristaps@bsd.lv>2011-12-15 12:44:11 +0000
committerKristaps Dzonsons <kristaps@bsd.lv>2011-12-15 12:44:11 +0000
commit3ea09b162e3e01af08ef1b7bae07ceb30981f83f (patch)
tree6b9488035e095443913e980347b9680773732543
parent2ff677f8601e7d4cb06367b3661d6ee2cdb27916 (diff)
downloadmandoc-3ea09b162e3e01af08ef1b7bae07ceb30981f83f.tar.gz
mandoc-3ea09b162e3e01af08ef1b7bae07ceb30981f83f.tar.zst
mandoc-3ea09b162e3e01af08ef1b7bae07ceb30981f83f.zip
Don't make man.cgi default font-size dictate manual style.
-rw-r--r--man-cgi.css6
1 files changed, 3 insertions, 3 deletions
diff --git a/man-cgi.css b/man-cgi.css
index 6dee4d60..25395358 100644
--- a/man-cgi.css
+++ b/man-cgi.css
@@ -1,10 +1,10 @@
-body { font-family: Helvetica,Arial, sans-serif;
- font-size: small; }
+body { font-family: Helvetica,Arial, sans-serif; }
body > div { padding-left: 2em;
padding-top: 1em; }
body > div#mancgi { padding-left: 0em;
padding-top: 0em; }
-#mancgi fieldset { text-align: center; }
+#mancgi fieldset { text-align: center;
+ font-size: small; }
#mancgi input[name=expr] { width: 25%; }
#mancgi td.title { padding-right: 1em;
text-align: right; }