body {
    --background: #fff;
    --border-color: #666;
    --foreground: #000;
    --gradient-in: #fe8;
    --gradient-out: #fc8;
    --link-color: #008;
    --shadow-color: #888;
    --target-bg: #fe8;
    --code-bg: #fff;
    --code-border: #777;
    --overview-bg: #efece7;
    background-color: var(--background);
    display: flex;
    flex-direction: column;
    margin: 0;
    min-height: 100vh;
    min-width: 15rem;
    padding: 0;
}
@media (prefers-color-scheme: dark) {
    body {
        --background: #222;
        --border-color: #999;
        --foreground: #fff;
        --gradient-in: #440;
        --gradient-out: #430;
        --link-color: #9bf;
        --shadow-color: #000;
        --target-bg: #551;
        --code-bg: #000;
        --code-border: #888;
        --overview-bg: #373533;
    }
}
nav {
    background-image: linear-gradient(var(--gradient-out), var(--gradient-in));
}
footer {
    background-image: linear-gradient(var(--gradient-in), var(--gradient-out));
}
footer>div {
    color: var(--foreground);
    font-style: italic;
    margin: 0.5em 0 0;
}
nav, footer {
    box-shadow: 0 0.1rem 0.7rem var(--shadow-color);
    font-family: serif;
    text-align: center;
}
nav div {
    display: inline-block;
}
nav ul, footer ul {
    max-width: 70rem;
    margin: 0 auto;
    padding: 3px 0;
}
main {
    flex-grow: 1;
}
main>div {
    margin: 2rem auto;
    max-width: 70rem;
    padding: 0 0.5rem;
}
nav ul + ul {
    border-top: 2px solid var(--foreground);
}
nav li, footer li {
    cursor: default;
    display: inline-block;
    list-style-type: none;
    margin: 3px 6px;
}
nav li[aria-current="page"], footer li[aria-current="page"] {
    background-color: var(--foreground);
    color: var(--background);
    padding: 5px;
}
nav li[aria-expanded="true"], footer li[aria-expanded="true"] {
    border: 1px solid var(--foreground);
    color: var(--foreground);
    padding: 4px;
}
nav a, footer a {
    color: var(--foreground);
    display: inline-block;
    padding: 5px;
    text-decoration: none;
}
nav a:hover, footer a:hover {
    background-color: var(--foreground);
    color: var(--background);
}
.language, .language a {
    color: var(--foreground);
}
.language span[aria-current="page"] {
    font-weight: bold;
}
.language div {
    margin: 0.5em auto 0;
    max-width: 70rem;
    padding: 0 0.5rem;
    text-align: right;
}
main {
    color: var(--foreground);
}
h1, h2, h3, p {
    font-family: sans-serif;
}
h1, h2, h3 {
    margin: 1em 0 0 0;
}
h1:target, h2:target, h3:target {
    background-color: var(--target-bg);
}
p, table, ul {
    margin: 0 0 1em 0;
}
a {
    color: var(--link-color);
}
li, table {
    font-family: sans-serif;
}
table {
    border-collapse: collapse;
}
th, td {
    border: 1px solid var(--border-color);
    padding: 0.5em;
}
code {
    background-color: var(--code-bg);
    border: 1px solid var(--code-border);
    padding: 0.1rem;
}
.overview a {
    background-color: var(--overview-bg);
    color: var(--foreground);
    display: block;
    margin: 1em 0;
    min-height: 10em;
    padding: 0.5em;
    text-decoration: none;
}
.overview a img {
    float: left;
    height: 10em;
    margin-right: 2em;
    width: 10em;
}
ul.content {
    padding: 0 0 0 1em;
}
ul.content ul {
    margin: 0;
    padding: 0 0 0 2em;
}
ul.content li {
    list-style-type: none;
}