div.highlight h3 {
  background: #E6E6FA; 
  padding-left: 6px;
  padding-bottom: 2px;
  margin-bottom: 0em;
}

div.highlight p {
  border-left: 4px solid #E6E6FA; 
  border-right: 4px solid #E6E6FA; 
  border-bottom: 4px solid #E6E6FA; 
  padding: 3px;
}

div.highlight p + h3 {
  margin-top: 1em;
}