pre.programlisting {
    background-color : #f7f7f7;
    margin-bottom : .5em;
    margin-left : .75em;
    margin-right : .75em;
    margin-top : .5em;
  }

a {
    text-decoration: none
}