:root {
    color: #171717;
    background: #fff;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 17px;
    line-height: 1.6;
}

* {
    box-sizing: border-box;
}

html {
    scroll-behavior: smooth;
}

body {
    max-width: 760px;
    margin: 0 auto;
    padding: 64px 24px 40px;
}

a {
    color: inherit;
    text-decoration-thickness: 1px;
    text-underline-offset: 3px;
}

a:hover {
    text-decoration-thickness: 2px;
}

a:focus-visible {
    outline: 2px solid currentColor;
    outline-offset: 3px;
}

.skip-link {
    position: absolute;
    left: -9999px;
}

.skip-link:focus {
    left: 16px;
    top: 16px;
    background: #fff;
    padding: 4px 8px;
    z-index: 1;
}

.site-header {
    margin-bottom: 44px;
}

h1,
h2,
h3,
p {
    margin-top: 0;
}

h1 {
    margin-bottom: 12px;
    font-size: 2rem;
    line-height: 1.15;
    letter-spacing: -0.03em;
}

h2 {
    margin-bottom: 20px;
    font-size: 1rem;
    line-height: 1.4;
    text-transform: uppercase;
    letter-spacing: 0.08em;
}

h3 {
    margin-bottom: 6px;
    font-size: 1rem;
    line-height: 1.45;
}

.intro {
    max-width: 620px;
    margin-bottom: 20px;
    font-size: 1.12rem;
}

section {
    margin-top: 64px;
    scroll-margin-top: 24px;
}

#content > section:first-child {
    margin-top: 44px;
}

section p:last-child,
article p:last-child {
    margin-bottom: 0;
}

article {
    padding: 18px 0;
    border-top: 1px solid #d7d7d7;
}

article:last-child {
    border-bottom: 1px solid #d7d7d7;
}

.meta,
.breadcrumb,
.publication-list span,
.note-list span,
footer {
    color: #5c5c5c;
    font-size: 0.9rem;
}

.section-heading {
    display: flex;
    align-items: baseline;
    justify-content: space-between;
    gap: 20px;
}

.section-heading > a {
    font-size: 0.9rem;
    white-space: nowrap;
}

.publication-list,
.note-list {
    margin: 0;
    padding: 0;
    list-style: none;
}

.publication-list li,
.note-list li {
    margin-bottom: 18px;
}

.publication-list a,
.publication-list span,
.note-list a,
.note-list span {
    display: block;
}

.note-list span {
    margin-top: 2px;
}

.publication-authors {
    margin-top: 4px;
    line-height: 1.45;
}

.publication-authors strong {
    color: #171717;
    font-weight: 600;
}

.publication-meta {
    margin-top: 2px;
}

cite {
    font-style: normal;
}

/* A note is an article, so it has to undo the list-item rules above. */
article.note {
    padding: 0;
    border: 0;
}

.note h2 {
    margin-top: 40px;
    margin-bottom: 12px;
    font-size: 1.2rem;
    text-transform: none;
    letter-spacing: 0;
}

.note h3 {
    margin-top: 28px;
}

.note ul,
.note ol {
    padding-left: 22px;
}

.note blockquote {
    margin: 0 0 20px;
    padding-left: 18px;
    border-left: 2px solid #d7d7d7;
    color: #5c5c5c;
}

.note code {
    font-family: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
    font-size: 0.9em;
}

.note pre {
    overflow-x: auto;
    margin: 0 0 20px;
    padding: 14px 16px;
    border: 1px solid #d7d7d7;
    line-height: 1.5;
}

.note img {
    max-width: 100%;
    height: auto;
}

.note table {
    width: 100%;
    border-collapse: collapse;
}

.note th,
.note td {
    padding: 6px 10px 6px 0;
    border-bottom: 1px solid #d7d7d7;
    text-align: left;
}

.draft-notice {
    color: #8a5a00;
    font-size: 0.9rem;
}

footer {
    margin-top: 64px;
    padding-top: 20px;
    border-top: 1px solid #d7d7d7;
}

@media (max-width: 560px) {
    :root {
        font-size: 16px;
    }

    body {
        padding: 36px 18px 28px;
    }

    .site-header,
    section {
        margin-top: 0;
        margin-bottom: 0;
    }

    .site-header {
        margin-bottom: 36px;
    }

    section + section {
        margin-top: 48px;
    }

    .section-heading {
        display: block;
    }

    .section-heading h2 {
        margin-bottom: 4px;
    }

    .section-heading > a {
        display: inline-block;
        margin-bottom: 20px;
    }
}