-/* $Id: style.css,v 1.17 2010/12/20 13:39:24 kristaps Exp $ */
+/* $Id: style.css,v 1.20 2010/12/24 22:51:13 kristaps Exp $ */
html { max-width: 800px; }
-body { font-family: monospace;
- color: #333333;
+body { color: #333333;
font-size: 0.93em;
font-family: Times, serif; }
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. */
span.ref-page { } /* Reference page (%P). */
span.ref-corp { } /* Reference corporate/foreign author (%Q). */
span.ref-rep { } /* Reference report (%R). */
-u.ref-title { } /* Reference title (%T). */
+span.ref-title { text-decoration: underline; } /* Reference title (%T). */
span.ref-vol { } /* Reference volume (%V). */
span.type { font-style: italic; font-weight: normal; } /* Variable types (Vt). */
span.unix { } /* Unices (Ux, Ox, Nx, Fx, Bx, Bsx, Dx). */