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, 0 insertions, 6 deletions
diff --git a/man.cgi.css b/man.cgi.css deleted file mode 100644 index 184c8592..00000000 --- a/man.cgi.css +++ /dev/null @@ -1,6 +0,0 @@ -body { font-family: Helvetica,Arial, sans-serif; - font-size: small; } -fieldset { text-align: center; } -input[name=expr] { width: 25%; } -td.title { padding-right: 1em; - text-align: right; } |