BODY {
  font-family: times, helvetica, sans-serif;
  font-size: 100%;
  background-color: #FFFFFF;
  color: #000000;
}

BODY { 

}


H1 {
  font-size: extralarge;
}

H2 {
  font-size: medium;
}

H3 {
  font-size: normal;
}

TABLE {
  font-size: normal;
}


ADDRESS {
  font-size: xx-small; 
}

A:link {
  color: #0256A2;
  text-decoration: none;
}

A:visited {
  color: #333399;
  text-decoration: none;
}

A:hover {
  text-decoration: underline;
}

.ignore {
  display: none;
}

.highlight {
  font-color:#FF0000;