.highlighted {
  font-weight: bolder;
}