diff options
author | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:18:57 +0000 |
---|---|---|
committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-15 12:18:57 +0000 |
commit | ad2be0f50980d3f8e7c4335309dba96df1ec26cc (patch) | |
tree | cad07ebd96a0086dfde34f0b70db90bd13e89b5d | |
parent | 9dbf33f402f3c39d595cd5f42b83734aacf35ac4 (diff) | |
download | mandoc-ad2be0f50980d3f8e7c4335309dba96df1ec26cc.tar.gz |
Further tweaks for output consistency.
-rw-r--r-- | cgi.c | 9 | ||||
-rw-r--r-- | example.style.css | 4 | ||||
-rw-r--r-- | man-cgi.css | 5 |
3 files changed, 13 insertions, 5 deletions
@@ -497,6 +497,8 @@ resp_search(struct res *r, size_t sz, void *arg) resp_begin_html(200, NULL); resp_searchform(req); + puts("<DIV CLASS=\"results\">"); + if (0 == sz) { printf("<P>\n" "No %s results found.\n", @@ -512,12 +514,12 @@ resp_search(struct res *r, size_t sz, void *arg) puts("\">apropos</A>?)"); } puts("</P>"); + puts("</DIV>"); resp_end_html(); return; } - puts("<P></P>\n" - "<TABLE>"); + puts("<TABLE>"); for (i = 0; i < (int)sz; i++) { printf("<TR>\n" @@ -540,7 +542,8 @@ resp_search(struct res *r, size_t sz, void *arg) "</TR>"); } - puts("</TABLE>"); + puts("</TABLE>\n" + "</DIV>"); resp_end_html(); } diff --git a/example.style.css b/example.style.css index 279af304..08cccd2e 100644 --- a/example.style.css +++ b/example.style.css @@ -6,8 +6,8 @@ * See mdoc(7) and man(7) for macro explanations. */ -div.mandoc { min-width: 100ex; - width: 100ex; +div.mandoc { min-width: 102ex; + width: 102ex; font-family: monospace; } /* This is the outer node of all mandoc -T[x]html documents. */ div.mandoc h1 { margin-bottom: 0ex; font-size: inherit; margin-left: -4ex; } /* Section header (Sh, SH). */ div.mandoc h2 { margin-bottom: 0ex; font-size: inherit; margin-left: -2ex; } /* Sub-section header (Ss, SS). */ diff --git a/man-cgi.css b/man-cgi.css index 5f9f8f6d..6dee4d60 100644 --- a/man-cgi.css +++ b/man-cgi.css @@ -1,6 +1,11 @@ body { font-family: Helvetica,Arial, sans-serif; font-size: small; } +body > div { padding-left: 2em; + padding-top: 1em; } +body > div#mancgi { padding-left: 0em; + padding-top: 0em; } #mancgi fieldset { text-align: center; } #mancgi input[name=expr] { width: 25%; } #mancgi td.title { padding-right: 1em; text-align: right; } + |