body {
    background: hsl(0 0% 93%);
    margin: 0px 0px 0px 0px;
    line-height: 1.5;
    font-family: sans-serif;
    color: hsl(188 0% 14%);
}

a {
    color: hsl(188 80% 28%);
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}

span.date {
    font-family: monospace;
}

main {
    float: left;
    min-width: 320px;
    margin: 0px 0px 0px 0px;
    font-size: 16px; /* was 14px */
}

main section {
    margin-bottom: 8px;
}

main h1 {
    font-size: 20px; /* was 16px */
    margin-top: 16px;
    margin-bottom: 8px;
}

main h2 {
    font-size: 16px; /* was 14px */
    margin-top: 16px;
    margin-bottom: 8px;
}

main > h1, main > h2, main > section, main > pre {
    margin-left: 24px;
    margin-right: 24px;
}

main table {
    margin-top: 8px;
    margin-bottom: 8px;
}

main pre {
    font-size: 14px;
}

main p, main pre.inline {
    margin-top: 0px;
    margin-bottom: 0px;
}

main pre.file, main pre.directory {
    margin-top: 24px;
    margin-bottom: 24px;
}

main table {
    width: 90%;
}

td {
    vertical-align: top;
}

td:last-child {
    width: 100%;
}

nav {
    float: left;
}

nav > header {
    margin-top: 40px;
    margin-bottom: 16px;
    margin-left: 64px;
    margin-right: 40px;
}

nav .logo {
    display: block;
    width: 152px;
    height: 16px;
    margin-left: auto;
    margin-right: auto;
}

/*
@media (max-width: 640px) {}
@media not (max-width: 640px) {}
*/