From 73aadede037ade30dd0bf5307b8ec0c974b570ac Mon Sep 17 00:00:00 2001 From: Jeff Blaine Date: Fri, 17 Jun 2011 17:24:54 -0400 Subject: [PATCH] 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 Reviewed-by: Simon Wilkinson Reviewed-by: Derrick Brashear Tested-by: Jeffrey Altman Reviewed-by: Jeffrey Altman --- doc/man-pages/style.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/man-pages/style.css b/doc/man-pages/style.css index 91d8d7a4e0..2a3d09ad60 100644 --- 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; }