BODY { 
  font-family: Times;
  font-style:  normal;
  font-size:   13pt;
  background:  #CCCCFF;
  color:       black;
  }
TABLE { 
  font-family: Times, Times-Roman;
  font-style:  normal;
  font-size:   13pt;
  }
TR {
  font-family: Times, Times-Roman;
  font-size:   13pt;
}
TD {
  font-family: Times, Times-Roman;
  font-size:   13pt;
}
H4 {
  font-family: Times, Times-Roman;
  font-size:   14pt;
  font-weight: bold;
}

H3 {
  font-family: Times, Times-Roman;
  font-size:   15pt;
  font-weight: bold;
}

H2 {
  font-family: Times, Times-Roman;
  font-size:   17pt;
  font-weight: bold;
}

H1 {
  font-family: Times, Times-Roman;
  font-size:   19pt;
  font-weight: bold;
}

A:link { color: darkblue }
A:visited { color: darkblue }
A:active { color: darkblue }
A.sub:link { color: darkblue }
A.sub:visited { color: darkblue }
A.sub:active { color: darkblue }
A.alt:link { color: darkblue }
A.alt:visited { color: darkblue }
A.alt:active { color: darkblue }