html {
    /*
    This SHOULD only affect navigation to headers on the page.
    And it should only take effect when the browser settings leave
    smooth scrolling enabled. (Which is good, since people who are
    annoyed or disoriented by smooth scrolling should be able to turn
    it off.)
    */
    scroll-behavior: smooth;
}

body {
    -webkit-font-smoothing: antialiased;
    text-rendering: optimizeLegibility;
}

div.article-body {
    /* More narrow than usual. */
    max-width: 600px;
    margin: 0 auto;
}

div#indexes {
    display: flex;
    justify-content: center;
}
div#indexes a {
    margin: 15px;
}

.back-to-top-arrow {
    text-align: right;
    border-bottom: 1px solid var(--faint-hr-color);
}