version 1.23, 2011/08/18 09:02:22 |
version 1.29, 2014/09/27 09:20:03 |
Line 16 h2 { margin-bottom: 1ex; font-size: 105%; margin-left |
|
Line 16 h2 { margin-bottom: 1ex; font-size: 105%; margin-left |
|
table { width: 100%; margin-top: 0ex; margin-bottom: 0ex; } /* All tables. */ |
table { width: 100%; margin-top: 0ex; margin-bottom: 0ex; } /* All tables. */ |
td { vertical-align: top; } /* All table cells. */ |
td { vertical-align: top; } /* All table cells. */ |
p { } /* Paragraph: Pp, Lp. */ |
p { } /* Paragraph: Pp, Lp. */ |
blockquote { margin-top: 0ex; margin-bottom: 0ex; } /* D1. */ |
blockquote { margin-left: 5ex; margin-top: 0ex; margin-bottom: 0ex; } /* D1. */ |
div.section { margin-bottom: 2ex; margin-left: 5ex; } /* Sections (Sh, SH). */ |
div.section { margin-bottom: 2ex; margin-left: 5ex; } /* 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. */ |
Line 25 table.synopsis { } /* SYNOPSIS section table. */ |
|
Line 25 table.synopsis { } /* SYNOPSIS section table. */ |
|
|
|
table.foot { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* Document footer. */ |
table.foot { font-size: smaller; margin-top: 1em; border-top: 1px dotted #dddddd; } /* 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%; } /* Document footer: OS/source. */ |
table.head { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */ |
table.head { font-size: smaller; margin-bottom: 1em; border-bottom: 1px dotted #dddddd; } /* Document header. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |
td.head-ltitle { width: 10%; } /* Document header: left-title. */ |
td.head-vol { width: 80%; text-align: center; } /* Document header: volume. */ |
td.head-vol { width: 80%; } /* Document header: volume. */ |
td.head-rtitle { width: 10%; text-align: right; } /* Document header: right-title. */ |
td.head-rtitle { width: 10%; } /* Document header: right-title. */ |
|
|
/* General font modes. */ |
/* General font modes. */ |
|
|
Line 38 i { } /* Italic: BI, IB, I, (implicit). */ |
|
Line 38 i { } /* Italic: BI, IB, I, (implicit). */ |
|
b { } /* Bold: SB, BI, IB, BR, RB, B, (implicit). */ |
b { } /* Bold: SB, BI, IB, BR, RB, B, (implicit). */ |
.symb { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */ |
.symb { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */ |
small { } /* Small: SB, SM. */ |
small { } /* Small: SB, SM. */ |
.lit { font-style: normal; font-weight: normal; font-family: monospace; } /* Literal: Dl, Li, Bf -literal, Bl -literal, Bl -unfilled. */ |
.lit { font-style: normal; font-weight: normal; font-family: monospace; } /* Literal: Dl, Li, Ql, Bf -literal, Bl -literal, Bl -unfilled. */ |
|
|
/* Block modes. */ |
/* Block modes. */ |
|
|