/* Search result highlight. */
span.searchMatch {
  background-color: #fefb00;
}

span.searchMatch.odd {
  background-color: #fefb00;
}

span.searchMatch.searchMatchSelected,
span.searchMatch.searchMatchSelected.odd {
  background-color: #f7c670;
}