:root {
    --bg: #fff;
    --fg: #111;
    --link: #00e;
    --dim: #aaa;
}
@media (prefers-color-scheme: dark) {
    :root:not([data-theme="light"]) {
        --bg: #262626;
        --fg: #f0f0f0;
        --link: #7a7aff;
        --dim: #666;
    }
}
:root[data-theme="dark"] {
    --bg: #262626;
    --fg: #f0f0f0;
    --link: #7a7aff;
    --dim: 666;
}
body {
    background: var(--bg);
    color: var(--fg);
    font-family: Georgia, "Times New Roman", serif;
    padding: 1em;
}
a {
    color: var(--link);
}
details > summary {
    font-size: 1.3rem;
    font-weight: bold;
    margin-top: 1.5rem;
    margin-bottom: 0rem;
}
details::details-content {
    line-height: 125%;
}
footer {
    margin-top: 2.8rem;
    color: var(--dim);
    font-size: 0.8rem;
}
