.red {
  color: #AA0000;
}