diff options
author | 2014-08-05 00:42:53 +0000 | |
---|---|---|
committer | 2014-08-05 00:42:53 +0000 | |
commit | ecea007ac9d1438582e3b8c69ecdb7b7bef77003 (patch) | |
tree | 12b491b10f53da29c95ccb95b724620369b7a050 /man-cgi.css | |
parent | 0883ff098761af5fa1a25ff4ad7f780f4c1d96f9 (diff) | |
download | mandoc-ecea007ac9d1438582e3b8c69ecdb7b7bef77003.tar.gz mandoc-ecea007ac9d1438582e3b8c69ecdb7b7bef77003.tar.zst mandoc-ecea007ac9d1438582e3b8c69ecdb7b7bef77003.zip |
Remove the old man.cgi.
Running that would not be a responsible thing to do, nowadays.
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; } |