BODY { background: #e7edf3; color: black; font-family: utopia, "serif"; }

A:link    { color: #4040c0 }
A:visited { color: #406080 }
A:active  { color: #00FFFF }

SPAN.manpage {}
SPAN.program {}
SPAN.email { font-family: monospace; }
SPAN.hostname { font-family: monospace; }
SPAN.dirname { font-family: monospace; }
SPAN.filename { font-family: monospace; }
SPAN.course { font-weight: bold; }
SPAN.revdate { font-weight: bold; }
SPAN.blue    { color: #8080f0; }

.micr { font-family: gnumicr, MICR, fixed, courier new, courier, lucida sans, monospace; }

CODE.class { font-weight: bold }
CODE.function {}

IMG.right { float: right; border: 1px solid black; }
IMG.left { float: left; }
IMG.bug {  float: right; border: none; }

H2, H3, H4, H5, H6
{
  font-family: arial, helvetica, sans-serif;
  font-size: 150%;
  font-style: normal;
  font-weight: normal;
}

H1
{
  color: white;
  background: #2f6f8f;
  border: hidden;
  border-top: 1px solid black;
  border-bottom: 1px solid black;
  font-family: "viner hand itc", "arial narrow", arial, helvetica, sans-serif;
  font-size: 180%;
  font-style: normal;
  font-weight: bold;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
}

DIV.topmatter
{
  background: white;
  border-left: 1px solid black;
  border-right:  1px solid black;
}

DIV.aftertop
{
}

.lastmod
{
  color: #808000;
}

P.nav
{
  clear: left;
  margin-bottom: 0em;
}

A.nav, SPAN.nav
{
}

.trademark { font-size: 40%; font-style: normal; }

LI.screenshot { clear: right; }

DIV.codeblock
{
  padding: 1em;
  border: hidden;
  font-family: "courier new", courier, "lucida sans", monospace;
  font-weight: bold;
}

th
{
  font-family: arial, helvetica, sans-serif;
  font-weight: bold;
  padding-left: 5px;
  padding-right: 5px;
}

TR.odd
{
  background: #d8d8ff;
}

TR.head
{
 background: #b0b0f1;
}

TH.bookrow
{
  font-weight: normal;
}

.quote
{
  margin-bottom: 0em;
  margin-left: 0em;
  font-style: italic;
}

.attrib
{
  margin-top: 0em;
  padding-left: 10em;
}

ul.urls
{
  padding-left: 1em;
  margin-left: 0em;
}

ul.urls li
{
  padding-left: 1em;
  margin-left: 0em;
}