body { background: #ddddee }
h1 {
 text-align: center;
 border: solid;
 border-width: 0px thick;
 border-color: #880000;
 color: #880000;
 background: white;
/* width: 100%; */
 margin-right: 0;
/* font-family: serif; */
 font-weight: bold;
 font-size: x-large;
}
h2 {
 border: green solid;
 border-width: 0 0 thin thin;
 margin-right: 0;
}
h2,h3 { font-style: italic; color: #000088 }
body p, body pre, body div, body dl { margin-left: 2em }
p.navibar { margin-left: 0 }
dl p, ul p, ol p { margin-left: 0 }  /* for IE bug */
dd ul { margin-left: 0 }
blockquote p { margin-left: 0.5em }
dl.history dt { font-weight: bold; color: #000088 }
pre { border: none; background: white; white-space: pre }
/* We cannot use 'border' to avoid Netscape 4.x bug! */
a:hover { color: red; border-color: red; background: #EEFFAA }
a:active { color: red }
a img {
 border-top: 1px solid;
 border-right: 1px solid;
 border-bottom: 1px solid;
 border-left: 1px solid
}
a:hover img { border-color: red }
a:active img { border-color: red }
address { text-align: right }
.disabled { color: gray }
ul { list-style: url(pin-blue.gif) }
ol { list-style-image: none; list-style-type: decimal }
li p { margin-top: 0.5em; margin-bottom: 0.5em }
blockquote { border: 2px inset; background: white }