.highlight {
    color: rgb(0, 0, 0);
    font-weight: bold;
    font-size: larger;
  }