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 { margin-left: 2em }
P.navibar { margin-left: 0 }
DL.history P { margin-left: 0 }  /* for IE bug */
DL.history DT { font-weight: bold; color: #000088 }
PRE { border: none; background: white; white-space: pre }
/* I 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 LI { list-style: url(../pin-blue.gif) }
LI P { margin-top: 0.5em; margin-bottom: 0.5em }