version 1.24, 2011/08/18 09:16:01 |
version 1.29, 2014/09/27 09:20:03 |
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. */ |
|
|