diff options
| author |   Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:05:19 +0000 |
|---|---|---|
| committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:05:19 +0000 |
| commit | b36973dbb430c6ed29dbbd7184a1c5a202c3cd49 (patch) | |
| tree | 545eaee61b0021f7e0ebea05b598d6ae380f00ad /man-cgi.css | |
| parent | 992470d745901ca26e106a31bebfe62d6d0fccd9 (diff) | |
| download | mandoc-b36973dbb430c6ed29dbbd7184a1c5a202c3cd49.tar.gz mandoc-b36973dbb430c6ed29dbbd7184a1c5a202c3cd49.tar.zst mandoc-b36973dbb430c6ed29dbbd7184a1c5a202c3cd49.zip | |
Some presentation polish in man.cgi:
- include search bar above result page (I relent: it's annoying to
follow three links then press back three times to get a search page);
- make man.cgi.css into man-cgi.css so Apache isn't confused by two
handlers (css, cgi);
- finally consolidate example.style.css to be under the div.mandoc css
selector;
- put catman pages under div.catman;
- put search bar under div#mancgi;
- reflect this properly in the bundled CSS files.
Diffstat (limited to 'man-cgi.css')
| -rw-r--r-- | man-cgi.css | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/man-cgi.css b/man-cgi.css new file mode 100644 index 00000000..5f9f8f6d --- /dev/null +++ b/man-cgi.css @@ -0,0 +1,6 @@ +body { font-family: Helvetica,Arial, sans-serif; + font-size: small; } +#mancgi fieldset { text-align: center; } +#mancgi input[name=expr] { width: 25%; } +#mancgi td.title { padding-right: 1em; + text-align: right; } |