html {
        background-color: lightgray;
        margin: 0 auto;
}

body {
        font-family: sans-serif;
        margin: 10px auto;
        max-width: 600px;
}

header {
        display: flex;
        align-items: center;
        justify-content: space-between;
        background-color: #f4f4f4;
        border: 1px solid gray;
        padding: 10px;
        box-shadow: rgba(0, 0, 0, 0.6) 0px 0px 8px 0px;
}

header a {
        text-decoration: none;
}

header a:hover {
        text-decoration: underline;
}

header h1 {
        font-size: 20pt;
        margin: 0;
        color: black;
}

nav {
        margin-left: 10px;
}

nav a {
        color: black;
        font-size: 12pt;
}

nav span.nav-sep {
        color: darkgray;
}

main {
}

article {
        background-color: #f4f4f4;
        border: 1px solid gray;
        padding: 0 20px 0 20px;
        margin-top: 10px;
        box-shadow: rgba(0, 0, 0, 0.6) 0px 0px 8px 0px;
}

article h1 {
        font-size: 20pt;
        margin-top: 15px;
        margin-bottom: 5px;
}

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

article h2 {
        font-size: 17pt;
}

article h3 {
        font-size: 14pt;
}

article h4 {
        font-size: 12pt;
}

article h5 {
        font-size: 10pt;
}

article h6 {
        font-size: 8pt;
}

article time.pagetime {
        color: darkgray;
        font-size: 10pt;
}

pre {
        max-width: 100%;
        overflow: auto;
}

article ul.section-list a {
        text-decoration: none;
        color: black;
        font-size: 12pt;
}

article ul.section-list a:hover {
        text-decoration: underline;
}

article ul.section-list time {
        color: darkgray;
}

footer {
        text-align: center;
        align-items: center;
}