jimzah/openafs
1
0
Fork 0
mirror of https://git.openafs.org/openafs.git synced 2025-01-18 15:00:12 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Styling tweak for generated HTML man pages

Browse Source 
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>
This commit is contained in:
Jeff Blaine 2011-06-17 17:24:54 -04:00 committed by Jeffrey Altman
parent 70c5cb7b5d
commit 73aadede03
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
doc/man-pages/style.css
View File

@ -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;
}