PRE.synopsis { 
  background-color: #e0ffff;
  border: thin solid blue;
  padding: 1em
}