<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">BODY {
  font-family: arial,helvetica,sans-serif ; 
  text-decoration: none ;
  color: black ;
  background-color: #00FFFF; 
  background-color: #33FF99;
   background-color: #7C9BFF;
  background-position: top center ;
  background-repeat: repeat-x ;
}
H1 { font-weight: bold ; color:  #0000CC  ; font-size: x-large ; 
     text-decoration: none }
H2 { font-weight: bold ; color:  #0000CC  ; font-size: medium ; 
     text-decoration: none }
DT { font-weight: bold ; color:  #0000CC  ; font-style: italic ; 
     line-height: 175% }
# EM { font-weight: medium ; color: #FF33FF; font-style: normal }  /* magenta*/
# EM { font-weight: bold ; color:  #0000CC ; font-style: normal } /* link color*/
EM { font-weight: bold ; color:  #0000CC ; font-style: normal } /* header color*/
# EM { font-weight: bold ; color:  #0000CC ; font-style: normal } /* date color*/
FONT.date { font-weight: normal ; color:  #0000CC ; font-size: small; }
.update { font-style: italic ; color: magenta; font-size: small; }
.duedate { color: #000066  ; }

# Link colors: 
# #6699FF is a nice pale blue (and web-safe)
# #66CCFF is brighter but on the cyan side (also web-safe)
# #7C9BFF matches padlock.gif and has less green, very pretty
# #0000CC is dark blue, better for white background

### A { color:  #0000CC  ; text-decoration: none ; }
# A { color: #7C9BFF ; text-decoration: underline ; } /* link color */
A { color:   #0000CC   ; text-decoration: none ; } /* link color */
# A:visited { color: #3366FF }
A:hover { color: magenta }

BODY.header {
  font-size: x-large ;
  font-weight: bold ;
}
A.header { 
  font-size: x-large ;
  font-weight: bold ;
  font-family: arial,helvetica,sans-serif ; 
  text-decoration: none ;
  color:  #0000CC  ;
  
}
# A.header:visited { color: #003399 ; }
A.header:active { color: white ; }
A.header:hover { color: magenta ; }
TABLE.header {
  margin-top: 40px ;
}
TD.header {
  vertical-align: middle;
  text-align: center;
}
A.headercurrent { 
  font-size: x-large ;
  font-weight: bold ;
  font-family: arial,helvetica,sans-serif ; 
  text-decoration: none ;
  color: CC00FF ;
}
TD.headercurrent {
  vertical-align: middle;
  text-align: center; 
  background-image: url(blur.gif) ;
  background-position: center ;
  background-repeat: no-repeat ;
  padding-top: 20px ;
  padding-bottom: 20px ;
}

TR.solutions { color:  #0000CC  ; }
# A.solutions { color:  #0000CC  ; }
# A.solutions { color:  #0000CC  ; }
A.solutions { color:  #0000CC  ; }
A.solutions:hover { color: magenta ; }
.solutionheader { 
  background-color: #000066 ; 
  font-weight: bold; 
  font-size: large; 
  color: white ; 
  text-align: center 
}

</pre></body></html>