summaryrefslogtreecommitdiffstats
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
commitc113fd6c3073c8d1f7404224cd333c09ae37bfa3 (patch)
tree81cc15bb8ac774d3db9afb665ee106f2bc650428
parentad2be0f50980d3f8e7c4335309dba96df1ec26cc (diff)
downloadmandoc-c113fd6c3073c8d1f7404224cd333c09ae37bfa3.tar.gz
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; }