diff options
Diffstat (limited to 'man-cgi.css')
| -rw-r--r-- | man-cgi.css | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/man-cgi.css b/man-cgi.css deleted file mode 100644 index 5300267c..00000000 --- a/man-cgi.css +++ /dev/null @@ -1,13 +0,0 @@ -body { font-family: Helvetica, Arial, sans-serif; } -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; - border: thin solid silver; - border-radius: 1em; - font-size: small; } -#mancgi input[name=expr] { width: 25%; } -.results td.title { vertical-align: top; - padding-right: 1em; } |