diff options
author | Ingo Schwarze <schwarze@openbsd.org> | 2015-11-05 17:47:51 +0000 |
---|---|---|
committer | Ingo Schwarze <schwarze@openbsd.org> | 2015-11-05 17:47:51 +0000 |
commit | 19b3dcea79a7058bdd6e153461a7e967e68db921 (patch) | |
tree | 41679df46028d2828fcdcd3aebe4270ffa2c7303 /man-cgi.css | |
parent | 26abada375966bf0a7ff0e9ec74ea47212c2ae4c (diff) | |
download | mandoc-19b3dcea79a7058bdd6e153461a7e967e68db921.tar.gz mandoc-19b3dcea79a7058bdd6e153461a7e967e68db921.tar.zst mandoc-19b3dcea79a7058bdd6e153461a7e967e68db921.zip |
Unify the three stylesheets into a single CSS file.
Many thanks to bentley@ for doing this work.
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 256e8c66..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; } |