/* Adjust body and hr to make the page slightly wider if possible. */
body {
    max-width: 70ch;
}

hr {
    max-width: 80ch;
}

article h1 {
    margin-top: 0;
    font-size: xx-large;
}

figure {
    margin: 0.5em;
}

code {
    color: var(--code-color);
}

pre {
    padding: 0.25em !important;
}