body {
    background: url("/language.gif") repeat-y top left;
    color: black;
    font-family: verdana, bitstream vera sans, sans-serif;
    font-size: 14px;
    margin: 10px 0px 10px 150px;
    width: 750px;
}
.title {
    font-size: 30px;
    font-weight: bold;
    height: 100px;
    margin: 150px 0px 0px 0px;
    padding: 120px 0px 10px 50px;
    width: 700px;
    background: url("/logo.gif") no-repeat top left;
}
.header {
    text-align: right;
    padding: 20px 35px 10px 0px;
    font-size: 18px;
    height: 75px;
    width: 715px;
    font-weight: bold;
    background: url("/small-logo.gif") no-repeat top right;
}
.section {
    font-size: 40px;
    padding: 20px 0px 20px 20px;
    width: 730px;
    color: #ae853c;
}
.text .section {
    font-size: 20px;
    padding: 20px 0px 10px 10px;
    width: 740px;
    color: #ae853c;
}
.code {
    font-family: courier, monospace;
    white-space: pre;
}
div.code {
    background: #dddddd;
    font-size: 15px;
    margin: 20px 20px 20px 20px;
    padding: 10px 15px 10px 15px;
    width: 670px;
}
.quote {
    padding-right: 80px;
    height: 150px;
    color: #ae853c;
    text-align: right;
    width: 670px;
}
.menu {
    padding-left: 60px;
    width: 675px;
}
.menu li {
    background: url("/link.gif") no-repeat top left; 
    display: inline;
    padding: 5px 60px 5px 15px;
}
.sponsor {
    padding-top: 20px;
    text-align: right;
}
.sponsor img {
    border-style: none;
}
.pdf {
    display: block;
    padding-left: 20px;
    min-height: 20px;
    margin: 20px 0px 20px 20px;
    background: url("/pdficon_small.gif") no-repeat top left;
}
a {
    color: #5a5a5a;
    font-weight: bold;
    text-decoration: none;
}
a:hover {
    text-decoration: underline;
}