version 1.15, 2010/12/17 11:42:14 |
version 1.16, 2010/12/17 13:03:32 |
Line 10 body { font-family: monospace; |
|
Line 10 body { font-family: monospace; |
|
|
|
table.foot { width: 100%; |
table.foot { width: 100%; |
font-size: 0.8em; |
font-size: 0.8em; |
border-bottom: 1px dotted #dddddd; |
border-top: 1px dotted #dddddd; |
color: #999999; } /* Document footer. */ |
color: #999999; } /* Document footer. */ |
td.foot-date { width: 50%; } /* Document footer: date. */ |
td.foot-date { width: 50%; } /* Document footer: date. */ |
td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */ |
td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */ |
Line 24 td.head-rtitle { width: 10%; text-align: right; } /* D |
|
Line 24 td.head-rtitle { width: 10%; text-align: right; } /* D |
|
|
|
/* Sections. */ |
/* Sections. */ |
|
|
h1 { color: #000000; font-size: 0.93em; margin-left: -4ex; } /* Section header (Sh, SH). */ |
h1 { margin-bottom: 0px; color: #000000; font-size: 0.93em; margin-left: -4ex; } /* Section header (Sh, SH). */ |
h2 { color: #000000; font-size: 0.93em; margin-left: -2ex; } /* Sub-section header (Ss, SS). */ |
h2 { margin-bottom: 0px; color: #000000; font-size: 0.93em; margin-left: -2ex; } /* Sub-section header (Ss, SS). */ |
div.section { margin-bottom: 3ex; margin-left: 4ex; } /* Sections (Sh, SH). */ |
div.section { margin-bottom: 2ex; margin-left: 4ex; } /* Sections (Sh, SH). */ |
div.subsection { } /* Sub-sections (Ss, SS). */ |
div.subsection { } /* Sub-sections (Ss, SS). */ |
table.synopsis { } /* SYNOPSIS section table. */ |
table.synopsis { } /* SYNOPSIS section table. */ |
table.synopsis td { vertical-align: top; } /* SYNOPSIS section table. */ |
table.synopsis td { vertical-align: top; } /* SYNOPSIS section table. */ |