a.dark_blue {
  color: #000099; }

table.font_size {
  font-size: 14.3px;
}