.highlight {
  background-color: lightgray;
}
.highlightxxx {
  background-color: lightgray;
}