html {
    font-family: Times, serif;
    font-size: 12pt;
}

body {
    margin: 1.5cm;
}

a, a:visited, a.nonexistent {
    color: black;
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

pre {
    font-size: 10pt;
}

.footnotes div {
    width: 5em;
    border-top: 1pt solid gray;
}

#header, #sidebar, #footer, #timings, #credits, #pagelocation, .menu, .ctxad, .lx {
    display: none;
}

#pagelocation {
    clear: right;
    display: block;
    margin: 0;
    padding: 0;
    font-size: 0.4em;
    display: none;
}

#pagelocation li {
    display: inline;
    padding: 0 0.3em;
    margin: 0;
}