.bluehighlight {
  color:#000080;
}
.bluebutton {
  background-color:#00319A;
  padding:2px;
  border:0px;
  color:#FFFFFF;
  font-size:12px;
}