.threemain {
/*    width:*; */
    width: 75%;
}

.threeside {
/*    width:230px; */
    width: 25%;
}

body, html {
    font-size: 105%;
}

pre {
    font-size: 105%;
}

span.code {
    font-family: Courier,monospace;
    font-size: 105%;
}