diff options
author | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:44:11 +0000 |
---|---|---|
committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:44:11 +0000 |
commit | c113fd6c3073c8d1f7404224cd333c09ae37bfa3 (patch) | |
tree | 81cc15bb8ac774d3db9afb665ee106f2bc650428 | |
parent | ad2be0f50980d3f8e7c4335309dba96df1ec26cc (diff) | |
download | mandoc-c113fd6c3073c8d1f7404224cd333c09ae37bfa3.tar.gz |
Don't make man.cgi default font-size dictate manual style.
-rw-r--r-- | man-cgi.css | 6 |
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; } |