From b36973dbb430c6ed29dbbd7184a1c5a202c3cd49 Mon Sep 17 00:00:00 2001 From: Kristaps Dzonsons Date: Thu, 15 Dec 2011 12:05:19 +0000 Subject: 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. --- man-cgi.css | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 man-cgi.css (limited to 'man-cgi.css') 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; } -- cgit v1.2.3-56-ge451