Don't make man.cgi default font-size dictate manual style.

diff --git a/man-cgi.css b/man-cgi.css
index 6dee4d60d90a8da77d94b32eda37cca20d1a80da..25395358498b011cb6146da8b4185e9443b4df42 100644 (file)
--- 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; }