div.codeheader {
    float: left;
    clear: both;
    background-color: #eeeeee;
    font-style: italic;
    color: #7777aa;
    padding: 0;
    padding-left: 10px;
    font-size: smaller;
    font-weight: normal;
    text-align: left;
}
div.codelines {
    vertical-align: top;
    margin-right: 2px;
    float: left;
    clear: both;
}
div.codebox {
    border: 1px solid #aaaaaa;
    float: left;
    min-width: 20em;
/* Browserswitch */
    overflow-x: auto;
    max-width: 50em/90%; width: 40em
}