pre.programlisting {
  background-color: #eeffee ;
  border: 1px solid #00ff00 ;
}
div.sidebar {
  background-color: #eeeeff ;
  border: 1px solid #0000FF ;
}
pre.synopsis {
  background-color: #f8fff8 ;
  border: 1px solid #0000FF ;
}