diff options
author | 2011-12-15 12:05:19 +0000 | |
---|---|---|
committer | 2011-12-15 12:05:19 +0000 | |
commit | b36973dbb430c6ed29dbbd7184a1c5a202c3cd49 (patch) | |
tree | 545eaee61b0021f7e0ebea05b598d6ae380f00ad /roff.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 'roff.7')
0 files changed, 0 insertions, 0 deletions