.highlight {
  color: #DD0000;
}