table.verbatim { 
    padding:1em;
    padding-bottom:0;
    background-color:cornsilk;
    border-width:2cm;
    border-color:black; 
    border-style:solid;
    margin:0;
}

pre.synopsis {
    whitespace:normal;
    border-style:solid;
    font-weight:bold;
    color:darkred;
}

body {
    background-color:#e8e8e8;
    color:black;
}

span.token {
    color:green;
    font-weight:bold;
}

div.example p {
    margin-bottom:0;
}
