/* 2020-11-11 */

.hilite, .hilitelink, .error {
  font-weight: bold;
  color: red;
}

.blueButton {
  border: 3px solid Blue;
  padding: 7px;
  font-weight: bold;
  background-color: white;
  color: blue;
  cursor: pointer
}