body {
    font: 12pt "Times New Roman", Times, serif;
    color: black;
    background: white;
}

a {
    color: black;
    text-decoration: none;
}

/* Hide parts which are not needed in printed document. */
#pagelist, #otherinfo {
    display: none;
}


/* Formatting for content. */
#main {
    margin: 0;
    width: 100%;
}