div.renderer {
   margin-top: 1em;
   margin-bottom: 1em;
}