body, h1, h2, h3, h4, p, hl, ol, dl, li, dt, dd, th, td,
i, b, em, strong
  { font-family: sans-serif; color: #FFFFFF; background-color: #000066 }
a:link { color: #CCFFFF; font-weight: bold;}        
a:visited { color: #CCFFFF; font-weight: bold; }     
a:hover { color: #FFFFFF; font-weight: bold; }      
a:active { color: #FFFFFF; font-weight: bold;}      
P.bottom { font-size: small; }                 /* navigation bar, bottom */
B.here { font-weight: bold; color: #FF0000; }  /* current node, bold red */

.plaid {  background-image: url(plaids.gif)}
.smallfont {  font-size: xx-small}
.descriptionfont {  font-size: smaller}
a {  color: #CCFFFF}
.smallness {  background-image: url(small1.jpg)}
.header {  background-color: #000066; background-image: url(bannerleft.jpg); background-repeat: no-repeat}
.shiftbody {  clip:     rect(   ); margin-top: 0px; margin-left: 0px}
.divstyle {  position: relative; clip:   rect(   )}