+/* $Id: style.css,v 1.20 2010/12/24 22:51:13 kristaps Exp $ */
+
+html { max-width: 800px; }
+body { color: #333333;
+ font-size: 0.93em;
+ font-family: Times, serif; }
+
+/* Preamble structure. */
+
+table.foot { width: 100%;
+ font-size: 0.8em;
+ margin-top: 1em;
+ border-top: 1px dotted #dddddd;
+ color: #999999; } /* Document footer. */
+td.foot-date { width: 50%; } /* Document footer: date. */
+td.foot-os { width: 50%; text-align: right; } /* Document footer: OS/source. */
+table.head { width: 100%;
+ font-size: 0.8em;
+ margin-bottom: 1em;
+ border-bottom: 1px dotted #dddddd;
+ color: #999999; } /* Document header. */
+td.head-ltitle { width: 10%; } /* Document header: left-title. */
+td.head-vol { width: 80%; text-align: center; } /* Document header: volume. */
+td.head-rtitle { width: 10%; text-align: right; } /* Document header: right-title. */
+
+/* Sections. */
+
+h1 { margin-bottom: 0px; color: #000000; font-size: 0.93em; margin-left: -4ex; } /* Section header (Sh, SH). */
+h2 { margin-bottom: 0px; color: #000000; font-size: 0.93em; margin-left: -2ex; } /* Sub-section header (Ss, SS). */
+div.section { margin-bottom: 2ex; margin-left: 4ex; } /* Sections (Sh, SH). */
+div.subsection { } /* Sub-sections (Ss, SS). */
+table.synopsis { } /* SYNOPSIS section table. */
+table.synopsis td { vertical-align: top; } /* SYNOPSIS section table. */
+
+/* Vertical spacing. */
+
+p { } /* Paragraph: Pp, Lp. */
+blockquote { margin-top: 0px; margin-bottom: 0px; }
+table { margin-top: 0px; margin-bottom: 0px; }
+
+/* General font modes. */
+
+.lit { font-family: monospace; font-style: normal; font-weight: normal; } /* Literal: Dl, Li, Bf -literal, Bl -literal, Bl -unfilled. */
+.italic { font-style: italic; font-weight: normal; } /* Italic: BI, IB, I, (implicit). */
+.emph { font-style: italic; font-weight: normal; } /* Emphasis: Em, Bl -emphasis. */
+.bold { font-style: normal; font-weight: bold; } /* Bold: SB, BI, IB, BR, RB, B, (implicit). */
+.symb { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */
+.roman { font-style: normal; font-weight: normal; } /* Roman: (implicit). */
+.small { font-style: normal; font-weight: normal; font-size: smaller; } /* Small: SB, SM. */
+
+/* Block modes. */
+
+.display { background-color: #EEEEEE;
+ margin: 3px;
+ padding: 3px;
+ border: 1px solid #339999; } /* Top of all Bd, D1, Dl. */
+.list { } /* Top of all Bl. */
+
+/* Context-specific modes. */
+
+i.addr { font-weight: normal; } /* Address (Ad). */
+i.arg { font-weight: normal; } /* Command argument (Ar). */