/* Public corrections site. No client-side JavaScript; styles, fonts and exhibit images are served locally.
   Layout: one reading column, set as a ruled list of entries. Each entry carries its permanent id in the left
   margin like a catalogue number; the printed and the corrected passage sit side by side as a collation on wide
   screens and stack on narrow ones. One accent (an ink blue) for links and ids; yellow marks the term at issue. */
:root {
  color-scheme: light;
  --paper: #fff;
  --ink: #1b1d22;
  --soft: #555c69;
  --rule: #d6d9e0;
  --wash: #f0f2f6;
  --accent: #2f3e96;
  --mark: #ffe58a;
  --mark-ink: #1b1d22;
  --text: Helvetica, Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, "Liberation Mono", monospace;
  --measure: 36rem;
}
*, *::before, *::after { box-sizing: border-box; }
html { font-size: 106.25%; -webkit-text-size-adjust: 100%; scroll-padding-top: 1rem; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 1rem/1.65 var(--text); font-kerning: normal; }
a { color: var(--accent); text-decoration-thickness: .06em; text-underline-offset: .16em; }
a:hover { text-decoration-thickness: .12em; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; border-radius: 2px; }
.skip { position: absolute; left: -999rem; top: .5rem; background: var(--paper); padding: .4rem .8rem; border: 1px solid var(--rule); }
.skip:focus { left: .5rem; z-index: 10; }
.wrap { max-width: 72rem; margin-inline: auto; padding-inline: clamp(1rem, 4vw, 2.5rem); }
img { max-width: 100%; height: auto; }

/* ------------------------------------------------------------------------------------------ site frame */
.site-head { border-bottom: 1px solid var(--rule); }
.site-head .wrap { display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: .4rem 2rem; padding-block: .9rem; }
.site-name { color: var(--ink); text-decoration: none; font-weight: 600; letter-spacing: .005em; }
.site-name:hover { text-decoration: underline; }
.site-head ul { display: flex; gap: 1.4rem; list-style: none; margin: 0; padding: 0; }
.site-head nav a { font-variant-caps: all-small-caps; letter-spacing: .07em; font-size: 1.05rem; text-decoration: none; }
.site-head nav a:hover, .site-head nav a[aria-current] { text-decoration: underline; }
main { padding-block: 2.2rem 4rem; }
.site-foot { border-top: 1px solid var(--rule); color: var(--soft); font-size: .88rem; }
.site-foot .wrap { padding-block: 1.3rem 2.4rem; }
.site-foot p { margin: 0 0 .4rem; max-width: var(--measure); }

/* --------------------------------------------------------------------------------------------- type */
h1, h2, h3, h4, h5 { font-family: var(--text); font-weight: 600; line-height: 1.25; text-wrap: balance; margin: 0; }
h1 { font-size: 1.95rem; letter-spacing: -.01em; max-width: 46rem; }
h1 + .prose { margin-top: 1.3rem; }
h2 { font-size: 1.32rem; margin-top: 3rem; padding-top: .9rem; border-top: 1px solid var(--ink); }
h2 + * { margin-top: 1rem; }
h3 { font-size: 1.08rem; margin-top: 2rem; }
h3 .n { color: var(--soft); font-weight: 400; }
.label, .part > h4, .part > h5, .kicker, .sev-head, dl.meta dt, .count-table th[scope="col"] {
  font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; color: var(--soft); font-size: 1rem; line-height: 1.3;
}
.kicker { margin: 0 0 .5rem; }
.prose, .part { overflow-wrap: break-word; }
.prose { max-width: var(--measure); }
.prose p, .part p { margin: 0 0 .85em; }
.prose > :last-child, .part > :last-child { margin-bottom: 0; }
.prose ul, .prose ol, .part ul, .part ol { margin: 0 0 .85em; padding-left: 1.3em; }
.prose li, .part li { margin-bottom: .4em; }
code { font: .86em var(--mono); }
.mono { font-family: var(--mono); font-size: .86em; }
mark { background: var(--mark); color: var(--mark-ink); padding: 0 .12em; border-radius: 1px; }
.notice { max-width: var(--measure); margin: 1.4rem 0 0; padding: .7rem 0 .7rem 1rem; border-left: 3px solid var(--accent); font-style: italic; }
.status { color: var(--soft); margin: .8rem 0 0; }
.placeholder { border: 1px dashed var(--soft); padding: .6rem .9rem; max-width: var(--measure); }
.placeholder::before { content: "Placeholder text"; display: block; font-variant-caps: all-small-caps; letter-spacing: .07em; color: var(--soft); }

/* mathematics (pre-rendered by KaTeX) */
.katex { font-size: 1.1em; }
/* Keep wide mathematics inside its display, text block or list. Scrolling the list rather than
   an individual list item preserves outside markers. Shaded edges indicate more content. */
.math-display,
:is(p, h1, h2, h3, h4, h5, h6, figcaption):has(.katex),
:is(ul, ol):has(> li .katex) {
  overflow-x: auto;
  background:
    linear-gradient(to right, var(--here, var(--paper)) 40%, transparent) left center / 1.6rem 100% no-repeat local,
    linear-gradient(to left, var(--here, var(--paper)) 40%, transparent) right center / 1.6rem 100% no-repeat local,
    linear-gradient(to right, color-mix(in srgb, var(--ink) 22%, transparent), transparent) left center / .5rem 100% no-repeat scroll,
    linear-gradient(to left, color-mix(in srgb, var(--ink) 22%, transparent), transparent) right center / .5rem 100% no-repeat scroll; }
.math-display { overflow-y: hidden; padding-block: .25rem; margin-block: .7em; }
.math-display > .katex-display { margin: 0; }
/* Match mathematical highlights to the site's highlight color. */
.katex .colorbox { background-color: var(--mark) !important; }

/* tables written in the prose */
.table-wrap { overflow-x: auto; margin: 1em 0; }
table { border-collapse: collapse; font-size: .92rem; font-variant-numeric: tabular-nums; }
caption { caption-side: top; text-align: left; font-style: italic; color: var(--soft); padding-bottom: .4rem; }
th, td { padding: .32rem 1.1rem .32rem 0; vertical-align: top; text-align: left; border-bottom: 1px solid var(--rule); }
thead th { border-bottom-color: var(--ink); font-weight: 600; }

/* ------------------------------------------------------------------------------------------ work page */
.corrections-notice { max-width: 44rem; margin: 1.5rem 0 0; padding: .9rem 1rem; border: 1px solid var(--rule); border-left: 3px solid var(--accent); background: var(--wash); font-size: .94rem; overflow-wrap: break-word; }
.corrections-notice p { margin: 0; }
.section-definition, .count-explanation { max-width: var(--measure); margin: .7rem 0 1rem; }
.work-head .cite { max-width: 44rem; margin: .9rem 0 0; }
dl.meta { display: grid; grid-template-columns: minmax(8rem, 12rem) minmax(0, 1fr); gap: .3rem 1.5rem; margin: 1.2rem 0 0; max-width: 46rem; }
dl.meta dd { margin: 0; min-width: 0; overflow-wrap: anywhere; }
@media (max-width: 34rem) { dl.meta { grid-template-columns: minmax(0, 1fr); gap: 0; } dl.meta dd { margin-bottom: .5rem; } }
.toc { margin: 1.6rem 0 0; }
.toc ul { list-style: none; display: flex; flex-wrap: wrap; gap: .2rem 1.4rem; margin: .3rem 0 0; padding: 0; }
.sev-head { margin-top: 2.2rem; font-size: 1.12rem; color: var(--ink); }
.sev-head .n { color: var(--soft); font-weight: 400; }
.none { color: var(--soft); max-width: var(--measure); }

.entry { border-top: 1px solid var(--rule); padding-block: 1.6rem 1.9rem; margin-top: 1.1rem; display: grid; grid-template-columns: minmax(0, 1fr); gap: .9rem 2.2rem; }
.entry:target { border-top: 2px solid var(--accent); }
.entry-tag { margin: 0; display: flex; flex-wrap: wrap; align-items: baseline; gap: .2rem .9rem; }
.entry-id { font: 600 .9rem var(--mono); text-decoration: none; }
.entry-id:hover { text-decoration: underline; }
.entry-sev { font-variant-caps: all-small-caps; letter-spacing: .07em; color: var(--soft); }
.entry-main { min-width: 0; display: grid; grid-template-columns: minmax(0, 1fr); gap: 1.3rem; }
.entry-head { overflow-wrap: anywhere; }
.entry-headline { margin: 0; font-size: 1.14rem; line-height: 1.45; font-weight: 600; max-width: 42rem; text-wrap: pretty; }
.entry-loc { margin: .45rem 0 0; font-style: italic; color: var(--soft); max-width: 42rem; }
.entry-before { margin: .45rem 0 0; font-size: .92rem; color: var(--soft); max-width: 42rem; }
.entry-body { display: grid; grid-template-columns: minmax(0, 1fr); gap: 1.3rem 2rem; }
.part { min-width: 0; max-width: var(--measure); }
.part > h4, .part > h5 { margin: 0 0 .35rem; }
.part .etype { font-variant-caps: normal; letter-spacing: 0; font-weight: 400; font-style: italic; font-size: .92rem; }
.part-printed, .part-corrected { --here: var(--wash); background: var(--wash); padding: .85rem 1rem 1rem; border-top: 2px solid var(--rule); max-width: 40rem; }
.part-printed .katex, .part-corrected .katex { font-size: 1.02em; }
.part-corrected { border-top-color: var(--accent); }
.part-corrected > h4, .part-corrected > h5 { color: var(--accent); }
@media (min-width: 60rem) {
  .entry { grid-template-columns: 7.5rem minmax(0, 1fr); }
  .entry-tag { flex-direction: column; gap: .15rem; }
  /* the pair is lifted to the top and set side by side; in the source the corrected passage stays last */
  .entry-body.pair { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .entry-body.pair > .part { grid-column: 1 / -1; }
  .entry-body.pair > .part-printed { grid-column: 1; grid-row: 1; max-width: none; }
  .entry-body.pair > .part-corrected { grid-column: 2; grid-row: 1; max-width: none; }
}
.related { max-width: 44rem; font-size: .94rem; }
.related > h4, .related > h5 { font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; color: var(--soft); font-size: 1rem; line-height: 1.3; margin: 0 0 .35rem; }
.related ul { list-style: none; margin: 0; padding: 0; display: grid; gap: .5rem; }
.related li { padding-left: .9rem; border-left: 2px solid var(--rule); }
.related .where { color: var(--soft); }
.related .why { margin: .25rem 0 0; color: var(--soft); }
.exhibits { display: grid; grid-template-columns: minmax(0, 1fr); gap: 1.5rem; }
figure { margin: 0; max-width: 46rem; }
figure img { display: block; background: #fff; border: 1px solid var(--rule); }
figcaption { margin-top: .5rem; font-size: .92rem; color: var(--soft); max-width: var(--measure); overflow-wrap: anywhere; }

.claims { padding-left: 1.3em; max-width: 44rem; }
.claims > li { margin-bottom: 1.1rem; }
.claims p { margin: 0 0 .3rem; }
.claims .tied { color: var(--soft); font-style: italic; }
.claims ul { list-style: none; padding: 0; margin: .4rem 0 0; display: grid; gap: .35rem; }
.claims ul li { font-size: .94rem; }
.result { font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; margin-right: .5rem; }
.plain-list { max-width: var(--measure); padding-left: 1.3em; overflow-wrap: anywhere; }
.declarations { list-style: none; padding: 0; margin: 0; display: grid; gap: .45rem; max-width: 44rem; }
.declarations li { overflow-wrap: anywhere; }
.declarations p { margin: .2rem 0 0; max-width: var(--measure); }
.declarations .name, .declarations .axioms { color: var(--soft); }
.declarations a.name { color: var(--accent); }
.lean-repo { color: var(--soft); }
.declarations .axioms { display: block; font-size: .92rem; }

/* ------------------------------------------------------------------------------------------ index page */
.count-table { margin-top: 1rem; max-width: 44rem; width: 100%; }
.count-context { display: block; max-width: var(--measure); color: var(--soft); font-size: .92rem; }
.count-table td.n { text-align: right; padding-right: 0; font-family: var(--mono); font-size: .9em; }
.count-table tr.sub th { padding-left: 1.2rem; font-weight: 400; color: var(--soft); }
.count-table th[scope="row"] { font-weight: 400; padding-right: 2.5rem; }
@media (max-width: 34rem) { .count-table th[scope="row"] { padding-right: .8rem; } .corrections-notice { padding: .7rem .8rem; } }
.works { list-style: none; padding: 0; margin: .8rem 0 0; }
.works li { display: grid; grid-template-columns: minmax(0, 1fr) minmax(9rem, 15rem); gap: .2rem 2rem; padding-block: .75rem; border-bottom: 1px solid var(--rule); }
.works .t { font-weight: 600; text-decoration-color: color-mix(in srgb, var(--accent) 40%, transparent); }
.works .m { display: block; color: var(--soft); font-size: .92rem; }
.works .c { font-size: .92rem; text-align: right; color: var(--soft); align-self: start; }
.works .c b { color: var(--ink); font-weight: 600; }
@media (max-width: 40rem) { .works li { grid-template-columns: minmax(0, 1fr); } .works .c { text-align: left; } }

/* ------------------------------------------------------------------------------- the author's comments */
.entry-dispute, .entry-commented, .entry-revised, .entry-formal { margin: .45rem 0 0; font-size: .92rem; color: var(--soft); max-width: 42rem; }
.entry-dispute { color: var(--ink); }
.author-comment, .entry-history { max-width: 44rem; font-size: .96rem; border-left: 2px solid var(--rule); padding-left: 1rem; }
.author-comment > h4, .author-comment > h5, .author-comment > h6, .entry-history > h4, .entry-history > h5, .entry-history > h6 { font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; color: var(--soft); font-size: 1rem; line-height: 1.3; margin: 0 0 .5rem; }
.comment-text { --here: var(--wash); margin: 0; padding: .7rem .9rem; background: var(--wash); border-radius: 2px; overflow-wrap: anywhere; }
.comment-text > :first-child { margin-top: 0; }
.comment-text > :last-child { margin-bottom: 0; }
.comment-text p, .comment-text ul, .comment-text ol { margin: 0 0 .6rem; }
.comment-text .math-display { overflow-x: auto; margin: .4rem 0 .6rem; background: none; }
.comment-text code.tex { font-size: .88em; }
.comment-meta { margin: .45rem 0 .6rem; color: var(--soft); font-size: .9rem; }
.disagreement { border: 1px solid var(--rule); padding: .55rem .8rem; margin: 0 0 .7rem; }
.disagreement p { margin: 0 0 .4rem; }
.disagreement p:last-child { margin-bottom: 0; }
.dis-label, .history .outcome { font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; margin-right: .4rem; }
.history { list-style: none; margin: 0; padding: 0; display: grid; gap: .35rem; }
.history .when { display: inline-block; min-width: 8.5rem; color: var(--soft); font-size: .92rem; }
.comment-entry { border-top: 1px solid var(--rule); padding-block: 1rem 1.3rem; }
.comment-entry > h4 { margin: 0 0 .6rem; font-size: 1rem; font-weight: 600; max-width: 44rem; }
.comment-entry > .comment-text, .comment-entry > .comment-meta, .comment-entry > .disagreement, .comment-entry > .history { max-width: 44rem; }
.dis-table { border-collapse: collapse; margin: .6rem 0 1rem; font-size: .94rem; }
.dis-table caption { text-align: left; color: var(--soft); padding-bottom: .4rem; }
.dis-table th, .dis-table td { text-align: left; vertical-align: top; padding: .35rem 1.2rem .35rem 0; border-bottom: 1px solid var(--rule); }
.dis-table thead th { font-variant-caps: all-small-caps; letter-spacing: .07em; font-weight: 600; color: var(--soft); }
@media (max-width: 40rem) { .history .when { display: block; min-width: 0; } .dis-table { display: block; overflow-x: auto; } }

/* ----------------------------------------------------------------------------------------------- print */
@media print {
  :root { --paper: #fff; --ink: #000; --soft: #333; --rule: #999; --wash: #f3f3f3; --accent: #000; --mark: #ffe58a; --mark-ink: #000; }
  html { font-size: 10.5pt; }
  * { -webkit-print-color-adjust: exact; print-color-adjust: exact; }
  .skip, .site-head nav, .toc { display: none; }
  main { padding-block: 0; }
  .wrap { max-width: none; padding-inline: 0; }
  a { color: inherit; text-decoration: none; }
  main a[href^="http"]::after { content: " <" attr(href) ">"; font-size: .85em; overflow-wrap: anywhere; }
  .entry { grid-template-columns: minmax(0, 1fr); break-inside: auto; }
  .entry-tag { flex-direction: row; }
  .entry-body.pair { grid-template-columns: minmax(0, 1fr); }
  .entry-body.pair > .part-printed, .entry-body.pair > .part-corrected { grid-column: 1; grid-row: auto; }
  .corrections-notice { break-inside: avoid; background: none; }
  .section-definition { break-after: avoid; }
  .entry-head, .part-printed, .part-corrected, figure, tr { break-inside: avoid; }
  h2, h3, h4, h5 { break-after: avoid; }
  .math-display { overflow: visible; background: none; }
  :is(p, h1, h2, h3, h4, h5, h6, figcaption):has(.katex),
  :is(ul, ol):has(> li .katex) { overflow: visible; background: none; }
}

/* Generated package status and historical credit disclosures. */
.formal-result, .formal-summary {
  border-left: 3px solid currentColor;
  margin-block: 1rem;
  padding-inline: 1rem;
}
.formal-result {
  grid-column: 1 / -1;
  min-width: 0;
  overflow-wrap: anywhere;
}
.formal-statement { max-width: 100%; overflow-x: auto; }
.declarations .credit { display: block; font-size: .9em; }