span.highlighted {
   background: #ffffcc;
}