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 | 87d272e845827d8144a666ae93fee42f806822c5 (patch) | |
| tree | f62d74766d6848dd646ecd83c8ebca81beec2dd4 /man-cgi.css | |
| parent | 0ca8cf3cd36d40309e683fee5abc6174df49fe15 (diff) | |
| download | mandoc-87d272e845827d8144a666ae93fee42f806822c5.tar.gz | |
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; } |