pre {
    font-family: courier;
    font-size: 100%;
    clear: both;
    overflow-x: auto;
    overflow-y: auto;
    background-color: #efefef;
    padding-bottom: 1.5em;
}