
html { max-width: 880px; margin-left: 1em; }
body { font-size: smaller; font-family: Helvetica,Arial,sans-serif; }
h1 { margin-bottom: 1ex; font-size: 110%; margin-left: -4ex; }
h2 { margin-bottom: 1ex; font-size: 105%; margin-left: -2ex; }
table { width: 100%; margin-top: 0ex; margin-bottom: 0ex; }
td { vertical-align: top; }
blockquote { margin-left: 5ex; margin-top: 0ex; margin-bottom: 0ex; }
div.section { margin-bottom: 2ex; margin-left: 5ex; }
table.foot { font-size: smaller; margin-top: 1em;
    border-top: 1px dotted #dddddd; }
td.foot-date { width: 50%; }
td.foot-os { width: 50%; text-align: right; }
table.head { font-size: smaller; margin-bottom: 1em;
    border-bottom: 1px dotted #dddddd; }
td.head-ltitle { width: 10%; }
td.head-vol { width: 80%; text-align: center; }
td.head-rtitle { width: 10%; text-align: right; }
.emph { font-style: italic; font-weight: normal; }
.symb { font-style: normal; font-weight: bold; }
.lit { font-style: normal; font-weight: normal; font-family: monospace; }
i.addr { font-weight: normal; }
i.arg { font-weight: normal; }
b.cmd { font-style: normal; }
b.config { font-style: normal; }
b.diag { font-style: normal; }
i.farg { font-weight: normal; }
i.file { font-weight: normal; }
b.flag { font-style: normal; }
b.fname { font-style: normal; }
i.ftype { font-weight: normal; }
b.includes { font-style: normal; }
i.link-sec { font-weight: normal; }
b.macro { font-style: normal; }
b.name { font-style: normal; }
i.ref-book { font-weight: normal; }
i.ref-issue { font-weight: normal; }
i.ref-jrnl { font-weight: normal; }
span.ref-title { text-decoration: underline; }
span.type { font-style: italic; font-weight: normal; }
b.utility { font-style: normal; }
b.var { font-style: normal; }
dd.list-ohang { margin-left: 0ex; }
ul.list-bul { list-style-type: disc; padding-left: 1em; }
ul.list-dash { list-style-type: none; padding-left: 0em; }
li.list-dash:before { content: "\2014  "; }
ul.list-hyph { list-style-type: none; padding-left: 0em; }
li.list-hyph:before { content: "\2013  "; }
ul.list-item { list-style-type: none; padding-left: 0em; }
ol.list-enum { padding-left: 2em; }

