.normal_text {
  font-family : tahoma, verdana, helvetica, sans-serif;
  font-size : 12px;
}

.highlight_text {
  color : #002E69;
  font-weight : bolder;
}
