body {
  padding: 2em 1em 2em 70px;
  margin: 0;
  font-family: sans-serif;
  color: black;
  background: #f8f8f0;
  background-position: top left;
  background-attachment: fixed;
  background-repeat: no-repeat;
}
:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
a:active { color: #C00; background: transparent }

a:link img, a:visited img { border-style: none } /* no border on img links */

table {
	background: #f8f8f0;
	margin-left: auto;
	margin-right: auto;
	margin-top: .6em;
	margin-bottom: .6em;
}

th, td { font-family: sans-serif }
td { font-size: 95%; }
p img { float:left; margin: 10px; }

h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3, h4, h5, h6 { color: #009 }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif; clear:both; }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

hr { clear:both; color: #005a9c; }

.hide { display: none; }
.center { text-align: center; }
.order { font-variant: small-caps; font-size: 110%; color: blue; }
.family { font-variant: small-caps; color: blue; }
.subfamily { font-variant: small-caps; color: green; }
.bordered { border-style: solid; border-color: #005A9C; border-width: thin; }
.heading { width: 500; margin-left: auto; margin-right: auto; }

.official { font: italic 85% serif; }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }

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

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

pre { margin-left: 0; margin-right: 0; }
/*
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;
}