-div.body { color: #333333;
- max-width: 800px;
- padding-left: 10px;
- font-size: smaller;
- font-family: Verdana, Tahoma, Arial, sans-serif; }
-
-div.sec-head { color: #000000;
- font-weight: bold; }
-div.sec-body { }
-div.sec-block { padding-bottom: 1em; }
-div.ssec-head { color: #000000;
- font-weight: bold; }
-div.ssec-body { }
-div.ssec-block { }
-
-span.addr { } /* Address (Ad). */
-span.arg { font-style: italic; } /* Command argument (Ar). */
+/* $Id: style.css,v 1.21 2011/02/09 09:52:47 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. */
+
+/* Vertical spacing. */
+
+p { } /* Paragraph: Pp, Lp. */
+blockquote { margin-top: 0px; margin-bottom: 0px; }
+table { margin-top: 0px; margin-bottom: 0px; }
+td { vertical-align: top; } /* SYNOPSIS section table. */
+
+/* General font modes. */
+
+.emph { font-style: italic; font-weight: normal; } /* Emphasis: Em, Bl -emphasis. */
+.symb { font-style: normal; font-weight: bold; } /* Symbolic: Sy, Ms, Bf -symbolic. */
+
+/* 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). */