html {
    overflow-y: scroll;
}

body {
    font-family: sans-serif;
    /* It's hard to read too long lines on huge monitors. */
    max-width: 120ch;
}

img {
    max-width: 100%;
    height: auto;
}

/* mobile phones */
@media (max-width: 1000px) {
    body {
        width: 96%;
    }
}

div#navigation {
    font-family: monospace;

    margin-top: 0;
    margin-bottom: 0;

    font-size: 1.5em;
}

div.info {
    color: #555;
    font-size: 14px;
    font-style: italic;
}

table, th, td {
    border: 1px solid;
}

table {
    border-collapse: collapse;
}
