diff options
| author | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-16 15:05:27 +0000 |
|---|---|---|
| committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-16 15:05:27 +0000 |
| commit | 6f733ffb85721e8883eece95ea48657311a3c5dd (patch) | |
| tree | 688d752fd92adfae6b2de9d28dcd11e3645905fa /man-cgi.css | |
| parent | 33e226400188ba64e1dd495b0e600a8a42ca2c68 (diff) | |
| download | mandoc-6f733ffb85721e8883eece95ea48657311a3c5dd.tar.gz | |
Have results table inherit the small font.
Diffstat (limited to 'man-cgi.css')
| -rw-r--r-- | man-cgi.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/man-cgi.css b/man-cgi.css index 25395358..2c3eaccb 100644 --- a/man-cgi.css +++ b/man-cgi.css @@ -3,6 +3,7 @@ body > div { padding-left: 2em; padding-top: 1em; } body > div#mancgi { padding-left: 0em; padding-top: 0em; } +body > div.results { font-size: smaller; } #mancgi fieldset { text-align: center; font-size: small; } #mancgi input[name=expr] { width: 25%; } |