div.highlight {
  background-color: #e7e7e7;
  padding-left: 5px;
}