diff options
Diffstat (limited to 'man-cgi.css')
| -rw-r--r-- | man-cgi.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/man-cgi.css b/man-cgi.css index 5f9f8f6d..6dee4d60 100644 --- a/man-cgi.css +++ b/man-cgi.css @@ -1,6 +1,11 @@ body { font-family: Helvetica,Arial, sans-serif; font-size: small; } +body > div { padding-left: 2em; + padding-top: 1em; } +body > div#mancgi { padding-left: 0em; + padding-top: 0em; } #mancgi fieldset { text-align: center; } #mancgi input[name=expr] { width: 25%; } #mancgi td.title { padding-right: 1em; text-align: right; } + |