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.7 | |
| 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.7')
0 files changed, 0 insertions, 0 deletions