Styling tweak for generated HTML man pages

Prefer "Georgia" as a typeface over the less readable
Times New Roman, but with Times New Roman then "serif"
as fallbacks.  Georgia is available everywhere.

Provide 10px top/bottom and 30px left/right margin on
the main body for readability.  Margins are good.

For review:

Old:
http://docs.openafs.org/Reference/8/kas_apropos.html
New:
http://kickflop.net/openafs-man-20110617/kas_apropos.html

Change-Id: I687b2007ef56019c5b683a43ac3811426ec825b0
Reviewed-on: http://gerrit.openafs.org/4850
Tested-by: BuildBot <buildbot@rampaginggeek.com>
Reviewed-by: Simon Wilkinson <sxw@inf.ed.ac.uk>
Reviewed-by: Derrick Brashear <shadow@dementia.org>
Tested-by: Jeffrey Altman <jaltman@openafs.org>
Reviewed-by: Jeffrey Altman <jaltman@openafs.org>

diff --git a/doc/man-pages/style.css b/doc/man-pages/style.css
index 91d8d7a..2a3d09a 100644 (file)
--- a/doc/man-pages/style.css
+++ b/doc/man-pages/style.css
@@ -25,7 +25,8 @@
   a.u { color: #000 !important; text-decoration: none; }
 
   body.pod {
-    margin:           0 5px;
+    font-family:      Georgia, "Times New Roman", serif;
+    margin:           10px 30px;
     color:            #000;
     background-color: #fff;
   }
@@ -59,6 +60,8 @@
   body.pod .synopsis { padding-left: 2em; text-indent: -2em; }
 
   body.contentspage {
+    font-family:      Georgia, "Times New Roman", serif;
+    margin:           10px 30px;
     color:            #000;
     background-color: #fff;
   }