openafs/doc/man-pages/style.css
Jeff Blaine 73aadede03 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>
2011-06-28 12:52:17 -07:00

89 lines
2.5 KiB
CSS

/* Style sheet for OpenAFS Reference documentation. */
/* For accessibility reasons, never specify text sizes in px/pt/pc/in/cm/mm */
@media all { .hide { display: none; } }
@media print {
.noprint, div.indexgroup, .backlinktop, .backlinkbottom { display: none }
* {
border-color: black !important;
color: black !important;
background-color: transparent !important;
background-image: none !important;
}
}
@media screen, tty, tv, projection {
.noscreen { display: none; }
a:link { text-decoration: none; }
a:visited { text-decoration: none; }
a:active { text-decoration: none; }
a:hover { background: #fec; text-decoration: none; }
body.contentspage a { text-decoration: none; }
a.u { color: #000 !important; text-decoration: none; }
body.pod {
font-family: Georgia, "Times New Roman", serif;
margin: 10px 30px;
color: #000;
background-color: #fff;
}
p.indexlink { text-align: right }
body.pod h1 { font-size: large }
body.pod h2 { font-size: large }
body.pod dt {
font-size: 105%; /* just a wee bit more than normal */
}
/* Indent the body text and lower headings. */
body.pod p { margin-left: 2em }
body.pod dl { margin-left: 2em }
body.pod ol { margin-left: 2em }
body.pod ul { margin-left: 2em }
body.pod dl p { margin-left: 0 }
body.pod ol p { margin-left: 0 }
body.pod ul p { margin-left: 0 }
body.pod pre { margin-left: 2em }
body.pod dl pre { margin-left: 0 }
body.pod ol pre { margin-left: 0 }
body.pod ul pre { margin-left: 0 }
body.pod h2 { margin-left: 0.5em }
body.pod h3 { margin-left: 1em }
body.pod h4 { margin-left: 1em }
/* Special handling for the synopsis section to outdent the first line. */
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;
}
body.contentspage h1 {
color: #000;
margin-left: 1em;
margin-right: 1em;
text-indent: -.9em;
font-family: Tahoma, Verdana, Helvetica, Arial, sans-serif;
font-weight: normal;
border-top: medium solid #000;
border-bottom: medium solid #000;
text-align: center;
}
body.contentspage th {
font-weight: bold;
font-size: large;
text-align: left;
}
body.contentspage td { padding: 0 0.5em; }
}