html {
    scroll-behavior: smooth;
}

/* Wikipedia-style table of contents */
nav.toc {
    display: table;
    padding: 7px 13px;
    margin: 1em 0 3em;
    border: 1px solid #a2a9b1;
    background: #f8f9fa;
    font-size: 0.875rem;
    line-height: 1.6;
}

nav.toc p {
    margin: 0 0 5px;
    font-weight: bold;
}

nav.toc ul {
    margin: 0;
    padding-left: 2em;
}

nav.toc>ul {
    padding-left: 1.5em;
}

nav.toc li {
    margin: 0;
    padding: 0;
}

nav.toc a {
    color: #0645ad;
    text-decoration: none;
}

nav.toc a:hover {
    text-decoration: underline;
}

.back-to-top,
[id^="heading-"] .back-to-top {
    float: right;
    font-size: 0.8rem;
    cursor: pointer;
    border-radius: 3px;
    padding: 3px 6px;
    margin-top: 5px;
    background: none;
    border: none;
    text-decoration: none;
    color: inherit;
    line-height: 1;
}

.back-to-top:hover,
[id^="heading-"] .back-to-top:hover {
    color: var(--contrast, #0645ad);
    text-decoration: none;
}