diff options
| author |   Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-16 19:18:47 +0000 |
|---|---|---|
| committer | Kristaps Dzonsons <kristaps@bsd.lv> | 2011-12-16 19:18:47 +0000 |
| commit | 7dd7515ce780a994c22588ec149b89e3e32db395 (patch) | |
| tree | 1b9916fe7f456fe0efd9a959ab3739de4d8f602c /man-cgi.css | |
| parent | ea04a1624099a4d2cd937735e62032b47a0ed80a (diff) | |
| download | mandoc-7dd7515ce780a994c22588ec149b89e3e32db395.tar.gz mandoc-7dd7515ce780a994c22588ec149b89e3e32db395.tar.zst mandoc-7dd7515ce780a994c22588ec149b89e3e32db395.zip | |
Edge in a little style. Why not.
Diffstat (limited to 'man-cgi.css')
| -rw-r--r-- | man-cgi.css | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man-cgi.css b/man-cgi.css index 2c3eaccb..923d7f21 100644 --- a/man-cgi.css +++ b/man-cgi.css @@ -1,10 +1,12 @@ -body { font-family: Helvetica,Arial, sans-serif; } +body { font-family: Helvetica, Arial, sans-serif; } body > div { padding-left: 2em; padding-top: 1em; } body > div#mancgi { padding-left: 0em; padding-top: 0em; } body > div.results { font-size: smaller; } #mancgi fieldset { text-align: center; + border: thin solid silver; + border-radius: 1em; font-size: small; } #mancgi input[name=expr] { width: 25%; } #mancgi td.title { padding-right: 1em; |