.highlight {
    padding: 2px;
    background: yellow;
}

div#text {
  font-family: Courier;
}