font.highlighted {
  background-color:yellow;
  font-weight:bold;  
}