aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/man-cgi.css
diff options
context:
space:
mode:
authorKristaps Dzonsons <kristaps@bsd.lv>2011-12-16 15:05:27 +0000
committerKristaps Dzonsons <kristaps@bsd.lv>2011-12-16 15:05:27 +0000
commit464ee7c188e207c7a7a9d4dbf994a1757ce332f8 (patch)
tree6aabdaa55f90dcc8e423c6def448dd3a25c7ce7c /man-cgi.css
parent9493be9c3ab500b29a35c6f8416d577571ace22d (diff)
downloadmandoc-464ee7c188e207c7a7a9d4dbf994a1757ce332f8.tar.gz
mandoc-464ee7c188e207c7a7a9d4dbf994a1757ce332f8.tar.zst
mandoc-464ee7c188e207c7a7a9d4dbf994a1757ce332f8.zip
Have results table inherit the small font.
Diffstat (limited to 'man-cgi.css')
-rw-r--r--man-cgi.css1
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%; }