div.document ul ul {
    margin-top: 0.5em;
    margin-bottom: 0.5em;
}

.footer .rellinks {
    text-transform: uppercase;
}

.footer .copyright {
    text-align: center;
}

.download .pre {
    font-family: Verdana;
    font-weight: bold;
    font-size: 1.3em;
}