body {
  margin: 0em 0em 0em 0em;
  font-family: Sans-serif;
  color: black;
  background: #FFFFF0;
  background-image: url("background.gif");
  background-repeat: repeat-y;
  background-position: top left;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
:active { color: #C00; background: transparent }

th, td { /* ns 4 */
  padding: 3px 1em 3px 10px;
  vertical-align: top;
  font-family: Sans-serif;
}

h1, h2, h3, h4, h5, h6 { text-align: left }
/* background should be transparent, but WebTV has a bug */
h1, h2, h3 { color: #005A9C; font-family: Verdana, Arial, Helvetica }
h4, h5, h6 { font-family: Verdana, Arial, Helvetica }
h1 { font-size: 16pt }
h2 { font-size: 12pt; font-weight: bold }
h3 { font-size: 10pt }
h4 { font: bold }
h5 { font: italic 100% }
h6 { font: small-caps 100% }

address { font: 100% }

.hide { display: none }

h2.thead { margin-top: 0; margin-bottom: 0; }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
div.head img { color: white; border: none } /* remove border from top image */

div.tight { font-size: small }
div.tight ol { margin-top: 0pt }
div.tight ul { margin-top: 0pt }
div.tight li { margin-top: 0pt }

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media screen {  /* hide from IE3 */
a[href]:hover { background: #ffa }
}

li { margin-top: 12pt }

pre { margin-left: 2em }
/*
p {
  margin-top: 0.6em;
  margin-bottom: 0.6em;
}
*/
dt, dd { margin-top: 0; margin-bottom: 0 } /* opera 3.50 */
dt { font-weight: bold }

pre, code { font-family: monospace } /* navigator 4 requires this */

ul.toc {
  list-style: disc;		/* Mac NS has problem with 'none' */
  list-style: none;
}