/* As Stated. A scholarly publication: warm paper, a humanist serif for reading, a quiet sans for apparatus.
   System fonts only; no external requests. */
:root {
  --paper: #fbfaf7; --paper-2: #f4f2ed; --paper-3: #ece9e2;
  --ink: #1c1d21; --ink-2: #3d4047; --muted: #6b6e75; --faint: #a3a5aa;
  --rule: #e2ded5; --rule-2: #ebe8e1;
  --accent: #1f5a78; --accent-2: #154a65; --accent-wash: #e8f0f4;
  --f-none: #2c7651; --f-false: #ae3a2d; --f-proof: #a5620c; --f-assumption: #6c4ea6;
  --f-construction: #93406a; --f-unresolved: #74777e;
  --serif: "Iowan Old Style", "Sitka Text", Charter, "Bitstream Charter", "Palatino Linotype", Palatino, "Book Antiqua", Cambria, serif;
  --display: "Iowan Old Style", "Sitka Heading", "Sitka Text", Charter, "Palatino Linotype", Palatino, Cambria, serif;
  --sans: "Segoe UI Variable Text", "Segoe UI", system-ui, -apple-system, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "Cascadia Mono", Consolas, "SF Mono", Menlo, monospace;
  --wide: 1160px; --gutter: 24px;
}
@media (prefers-color-scheme: dark) {
  :root {
    --paper: #16181b; --paper-2: #1d2024; --paper-3: #262a2f;
    --ink: #ebe8e2; --ink-2: #ccc8c0; --muted: #9b9a95; --faint: #6b6c6e;
    --rule: #30333a; --rule-2: #262a30;
    --accent: #8cc0dc; --accent-2: #b2d6ea; --accent-wash: #1d2a33;
    --f-none: #79c99c; --f-false: #f08f7f; --f-proof: #e8ac5c; --f-assumption: #b9a1ea;
    --f-construction: #e597bc; --f-unresolved: #a3a6ad;
  }
}
* { box-sizing: border-box; }
html { -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 17px/1.6 var(--serif);
  font-kerning: normal; text-rendering: optimizeLegibility; }
[hidden] { display: none !important; }
a { color: var(--accent); text-decoration: underline; text-decoration-color: color-mix(in srgb, var(--accent) 35%, transparent);
  text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: var(--accent-2); text-decoration-color: currentColor; }
:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; border-radius: 2px; }
.wrap { width: min(var(--wide), 100% - 2 * var(--gutter)); margin-inline: auto; }
.skip, .sr { position: absolute; left: -9999px; }
.skip:focus { left: 12px; top: 12px; z-index: 9; background: var(--paper); padding: 6px 10px; }
h1, h2, h3 { font-family: var(--display); font-weight: 600; color: var(--ink); }
h1 { font-size: clamp(1.75rem, 1.2rem + 1.8vw, 2.35rem); line-height: 1.15; letter-spacing: -0.01em; margin: 0 0 .5rem; }
h2 { font-size: 1.32rem; line-height: 1.25; margin: 2.2rem 0 .7rem; }
h3 { font-size: 1rem; margin: 1.2rem 0 .4rem; }
p { margin: 0 0 .9rem; }
ul, ol { padding-left: 1.2em; }
li { margin: .25em 0; }
.small { font-size: .875rem; } .muted { color: var(--muted); }
.mono { font-family: var(--mono); font-size: .82em; overflow-wrap: anywhere; }
.num { text-align: right; font-variant-numeric: tabular-nums; }
.eyebrow { font: 600 .75rem/1.4 var(--sans); letter-spacing: .09em; text-transform: uppercase; color: var(--muted); margin: 0 0 .6rem; }
.lede { font-size: 1.1rem; line-height: 1.55; color: var(--ink-2); max-width: 46em; }
.note { font: .84rem/1.55 var(--sans); color: var(--muted); max-width: 60em; margin-top: 1rem; }
.notice { font: .86rem/1.4 var(--sans); background: var(--paper-3); color: var(--ink-2); padding: 7px 12px; border-radius: 3px; margin: 1rem 0 0; display: inline-block; }
.callout { background: var(--accent-wash); border-left: 3px solid var(--accent); padding: 12px 16px; border-radius: 0 3px 3px 0; color: var(--ink-2); }
.table-wrap { overflow-x: auto; }

/* masthead, footer */
.mast { border-bottom: 1px solid var(--rule); background: var(--paper); }
.mast-in { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 10px 32px; min-height: 66px; padding: 10px 0; }
.brand { display: inline-flex; align-items: baseline; gap: .45em; text-decoration: none; color: var(--ink); }
.brand-mark { color: var(--accent); font: 400 1.25rem/1 var(--sans); }
.brand-name { font: 600 1.42rem/1 var(--display); letter-spacing: .005em; }
.nav { display: flex; flex-wrap: wrap; gap: 4px 26px; font: 500 .9rem/1.4 var(--sans); }
.nav a { color: var(--ink-2); text-decoration: none; padding: 6px 0; border-bottom: 2px solid transparent; }
.nav a:hover { color: var(--ink); }
.nav a[aria-current="page"] { color: var(--ink); border-bottom-color: var(--accent); }
.foot { margin-top: 5rem; border-top: 1px solid var(--rule); background: var(--paper-2); font: .85rem/1.6 var(--sans); color: var(--ink-2); }
.foot-in { display: grid; grid-template-columns: 1.1fr 1.6fr 1fr; gap: 32px; padding: 32px 0 40px; }
.foot p { margin: 0 0 .5rem; }
.foot-name { font: 600 1.05rem var(--display); color: var(--ink); }
.foot-tag { font-style: italic; font-family: var(--serif); }
@media (max-width: 820px) { .foot-in { grid-template-columns: 1fr; gap: 12px; } }
@media (max-width: 640px) { .nav { gap: 2px 18px; font-size: .88rem; } .mast-in { min-height: 0; } }

/* page heads and sections */
.page-head { padding: 3rem 0 1.4rem; }
.page-head .lede { margin-bottom: .8rem; }
.block { margin-top: 3.5rem; }
.sec-head { display: flex; flex-wrap: wrap; align-items: baseline; justify-content: space-between; gap: 6px 20px; border-bottom: 1px solid var(--rule); padding-bottom: .5rem; margin-bottom: 1rem; }
.sec-head h2 { margin: 0; }
.sec-lede { color: var(--ink-2); max-width: 46em; }
.more { font: 500 .9rem var(--sans); }
.more::after { content: " →"; }
.two { display: grid; grid-template-columns: 1fr 1fr; gap: 56px; }
.two h2 { margin-top: 0; border-bottom: 1px solid var(--rule); padding-bottom: .5rem; }
@media (max-width: 860px) { .two { grid-template-columns: 1fr; gap: 24px; } }

/* home */
.hero { border-bottom: 1px solid var(--rule); background: linear-gradient(var(--paper-2), var(--paper)); }
.hero-in { display: grid; grid-template-columns: minmax(0, 1.65fr) minmax(0, 1fr); gap: 64px; padding: 3.6rem 0 3.2rem; align-items: start; }
.hero h1 { font-size: clamp(1.9rem, 1.3rem + 2vw, 2.7rem); max-width: 17em; margin-bottom: .9rem; }
.tagline { font: italic 1.22rem/1.45 var(--serif); color: var(--accent); margin: 0 0 1.3rem; }
.hero-p { color: var(--ink-2); max-width: 36em; }
.hero-aside { border-top: 2px solid var(--ink); padding-top: 14px; font-family: var(--sans); }
.aside-k { font: 600 .74rem var(--sans); letter-spacing: .09em; text-transform: uppercase; color: var(--muted); margin: 0 0 .3rem; }
.aside-v { font: 1.05rem/1.4 var(--serif); margin: 0 0 .8rem; }
.aside-v strong { font-weight: 600; }
.tally { list-style: none; padding: 0; margin: 0 0 .9rem; font-size: .92rem; }
.tally li { display: flex; justify-content: space-between; padding: 6px 0; border-bottom: 1px solid var(--rule-2); margin: 0; }
.tally .n { font-variant-numeric: tabular-nums; color: var(--ink-2); }
.aside-note { font-size: .8rem; line-height: 1.5; color: var(--muted); }
@media (max-width: 900px) { .hero-in { grid-template-columns: 1fr; gap: 28px; padding: 2.4rem 0 2rem; } }

/* finding labels: shape encodes defect or not, colour encodes the kind */
.fd { display: inline-flex; align-items: center; gap: .45em; font: 600 .86rem/1.3 var(--sans); white-space: nowrap; }
.fd .mk { width: .62em; height: .62em; border-radius: 50%; flex: none; border: 2px solid currentColor; background: currentColor; }
.fd-none { color: var(--f-none); } .fd-none .mk { background: transparent; }
.fd-false { color: var(--f-false); } .fd-proof { color: var(--f-proof); } .fd-assumption { color: var(--f-assumption); }
.fd-construction { color: var(--f-construction); }
.fd-unresolved { color: var(--f-unresolved); } .fd-unresolved .mk { background: transparent; border-style: dashed; }
.fd-q { font: .8rem/1.3 var(--sans); color: var(--muted); }
.legend { list-style: none; padding: 0; margin: 0; }
.legend li { display: grid; grid-template-columns: 11.5em minmax(0, 1fr); gap: 4px 16px; padding: 9px 0; border-bottom: 1px solid var(--rule-2); margin: 0; }
.lg-d { font-size: .93rem; color: var(--ink-2); line-height: 1.5; }
@media (max-width: 560px) { .legend li { grid-template-columns: 1fr; } }
.steps { list-style: none; padding: 0; margin: 0 0 1rem; }
.steps li { display: grid; grid-template-columns: 2em minmax(0, 1fr); gap: 10px; padding: 9px 0; border-bottom: 1px solid var(--rule-2); margin: 0; }
.steps strong { font: 600 .95rem var(--sans); }
.steps p { margin: 2px 0 0; font-size: .93rem; color: var(--ink-2); }
.st-n { font: 600 .8rem/1.9 var(--sans); color: var(--accent); }

/* claim index: one row per claim, grouped under its paper */
.filters { display: flex; flex-wrap: wrap; align-items: end; gap: 12px 16px; padding: 14px 16px; background: var(--paper-2);
  border: 1px solid var(--rule); border-radius: 4px; margin-bottom: 1.6rem; font: .88rem var(--sans); }
.filters label { display: flex; flex-direction: column; gap: 3px; min-width: 0; }
.f-l { font-size: .74rem; font-weight: 600; letter-spacing: .06em; text-transform: uppercase; color: var(--muted); }
.filters input, .filters select { font: inherit; color: var(--ink); background: var(--paper); border: 1px solid var(--rule);
  border-radius: 3px; padding: 7px 9px; min-width: 0; max-width: 100%; }
.f-search { flex: 1 1 260px; }
.count { margin-left: auto; color: var(--muted); padding-bottom: 7px; }
.ix-wrap { width: 100%; }
.ix { width: 100%; border-collapse: collapse; font-family: var(--sans); }
.ix thead th { font: 600 .72rem/1.3 var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--muted);
  text-align: left; padding: 0 14px 8px 0; border-bottom: 1px solid var(--ink); }
.ix .c1 { width: 31%; } .ix .c2 { width: 31%; } .ix .c3 { width: 21%; } .ix .c4 { width: 17%; }
.ix-group + .ix-group .ix-head th { padding-top: 2.1rem; }
.ix-head th { text-align: left; font-weight: 400; padding: 1.3rem 0 .55rem; border-bottom: 1px solid var(--rule); }
.ix-head-in { display: flex; flex-wrap: wrap; justify-content: space-between; align-items: baseline; gap: 4px 24px; }
.ix-paper { display: flex; flex-direction: column; gap: 2px; min-width: 0; max-width: 52em; }
.ix-title { font: 600 1.12rem/1.3 var(--display); color: var(--ink); text-decoration: none; }
.ix-title:hover { color: var(--accent); text-decoration: underline; }
.ix-by { font: .86rem/1.45 var(--serif); color: var(--muted); }
.ix-upd { font: .8rem var(--sans); color: var(--muted); white-space: nowrap; }
.ix-row td { vertical-align: top; padding: 12px 14px 13px 0; border-bottom: 1px solid var(--rule-2); font-size: .9rem; line-height: 1.45; }
.ix-row:last-child td { border-bottom: 0; }
.ix-label { font-weight: 600; color: var(--ink); text-decoration: none; }
.ix-label:hover { color: var(--accent); text-decoration: underline; }
.ix-kind { display: block; font-size: .76rem; color: var(--muted); margin-top: 1px; }
.ix-gist { display: block; font: .9rem/1.45 var(--serif); color: var(--ink-2); margin-top: 5px; }
.ix-sum { display: block; color: var(--ink-2); margin-top: 5px; font-size: .86rem; }
.ix-dev span { display: block; color: var(--ink-2); }
.ix-dev .muted { color: var(--faint); }
/* verification: one AI slot set apart, three human slots */
.vline { display: flex; align-items: center; gap: 8px; }
.vs { display: inline-flex; align-items: center; gap: 3px; flex: none; }
.vb { width: 10px; height: 10px; border: 1.5px solid var(--faint); border-radius: 2px; display: inline-block; }
.vb.on { background: var(--ink-2); border-color: var(--ink-2); }
.vb-ai { font: 600 .62rem/1 var(--sans); font-style: normal; letter-spacing: .04em; color: var(--faint); border: 1px dashed var(--faint);
  border-radius: 3px; padding: 2px 3px; margin-right: 5px; }
.vb-ai.on { color: var(--ink-2); border-color: var(--muted); }
.vt { color: var(--ink); font-weight: 500; }
.vs-sub { display: block; font-size: .78rem; color: var(--muted); margin-top: 3px; }
@media (max-width: 760px) {
  .ix thead { display: none; }
  .ix, .ix tbody, .ix tr, .ix td, .ix th { display: block; width: auto; }
  .ix-head th { padding: 1.4rem 0 .5rem; }
  .ix-group + .ix-group .ix-head th { padding-top: 1.8rem; }
  .ix-row { padding: 12px 0 12px 12px; border-left: 2px solid var(--rule); margin: 10px 0 0; }
  .ix-row td { border: 0; padding: 0 0 7px; }
  .ix-row td.ix-ver::before, .ix-row td.ix-dev::before { content: attr(data-label); display: block; font: 600 .68rem var(--sans);
    letter-spacing: .07em; text-transform: uppercase; color: var(--muted); margin-bottom: 2px; }
  .ix-upd { white-space: normal; }
}

/* case record */
.crumbs { font: .84rem var(--sans); color: var(--muted); padding-top: 1.6rem; display: flex; gap: 8px; }
.case-head { padding: 1.6rem 0 1.8rem; border-bottom: 1px solid var(--rule); }
.case-head h1 { max-width: 24em; }
.byline { font-size: .98rem; color: var(--ink-2); margin-bottom: 1.1rem; }
.case-head .lede { margin-bottom: 1.2rem; }
.case-facts { list-style: none; display: flex; flex-wrap: wrap; gap: 8px 32px; padding: 0; margin: 0; font: .86rem var(--sans); }
.case-facts li { display: flex; align-items: center; gap: 8px; margin: 0; }
.cf-k { font-size: .72rem; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); }
.cf-v { color: var(--ink-2); }
.mk-dot { width: 9px; height: 9px; border-radius: 50%; display: inline-block; background: currentColor; border: 2px solid currentColor; }
.mk-dot.fd-none, .mk-dot.fd-unresolved { background: transparent; }
.mk-dot.fd-unresolved { border-style: dashed; }
.case-grid { display: grid; grid-template-columns: minmax(0, 1fr) 280px; gap: 64px; align-items: start; }
.case-main { min-width: 0; max-width: 760px; }
@media (max-width: 1000px) { .case-grid { grid-template-columns: 1fr; gap: 0; } }
.overview { margin-top: 2rem; padding: 16px 20px 6px; background: var(--paper-2); border: 1px solid var(--rule); border-radius: 4px; }
.ov-h { font: 600 .74rem var(--sans); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin: 0 0 .4rem; }
.ov { width: 100%; border-collapse: collapse; font: .88rem/1.4 var(--sans); }
.ov td { padding: 9px 12px 9px 0; border-top: 1px solid var(--rule); vertical-align: top; }
.ov tr:first-child td { border-top: 0; }
.ov-n { color: var(--muted); width: 1.6em; }
.ov a { font-weight: 600; }
.ov-kind { display: block; font-size: .76rem; color: var(--muted); }
@media (max-width: 640px) { .ov td.ov-ver { display: none; } .ov td { padding-right: 8px; } }
.claim { margin-top: 3rem; padding-top: 2rem; border-top: 3px solid var(--rule); }
.claim.fam-none { border-top-color: color-mix(in srgb, var(--f-none) 55%, var(--rule)); }
.claim.fam-false { border-top-color: color-mix(in srgb, var(--f-false) 55%, var(--rule)); }
.claim.fam-proof { border-top-color: color-mix(in srgb, var(--f-proof) 55%, var(--rule)); }
.claim.fam-assumption { border-top-color: color-mix(in srgb, var(--f-assumption) 55%, var(--rule)); }
.claim.fam-construction { border-top-color: color-mix(in srgb, var(--f-construction) 55%, var(--rule)); }
.claim.fam-unresolved { border-top-style: dashed; }
.claim-meta { font: .78rem var(--sans); color: var(--muted); margin: 0 0 .25rem; letter-spacing: .02em; }
.claim h2 { margin: 0 0 .5rem; font-size: 1.5rem; }
.verdict { margin: 0 0 .25rem; display: flex; flex-wrap: wrap; align-items: baseline; gap: 10px; }
.verdict .fd { font-size: 1rem; }
.verdict-sum { color: var(--ink-2); margin-bottom: 1.2rem; }
.stmt { margin: 0 0 1.4rem; padding: 16px 20px; background: var(--paper-2); border-left: 2px solid var(--ink-2); }
.stmt blockquote { margin: 0; }
.stmt p { margin: 0; }
.stmt-l { font-weight: 600; font-style: normal; }
.stmt-t { font-style: italic; }
.stmt-meta { margin: .8rem 0 0; display: grid; grid-template-columns: 9.5em minmax(0, 1fr); gap: 3px 14px; font: .82rem/1.5 var(--sans); color: var(--ink-2); }
.stmt-meta dt { color: var(--muted); }
.stmt-meta dd { margin: 0; }
.caveat { font-size: .98rem; padding: 10px 14px; border: 1px solid color-mix(in srgb, var(--f-none) 45%, var(--rule)); border-radius: 3px; color: var(--ink-2); }
.caveat-open { border-style: dashed; border-color: var(--faint); }
.blks { margin-top: .4rem; }
.blk { display: grid; grid-template-columns: 10.5em minmax(0, 1fr); gap: 4px 24px; padding: 12px 0; border-top: 1px solid var(--rule-2); }
.blk-l { font: 600 .74rem/1.9 var(--sans); letter-spacing: .07em; text-transform: uppercase; color: var(--muted); margin: 0; }
.blk-c p:last-child, .blk-c ul:last-child { margin-bottom: 0; }
.blk-c ul { margin-top: 0; }
@media (max-width: 640px) { .blk { grid-template-columns: 1fr; } .stmt-meta { grid-template-columns: 1fr; } .stmt-meta dd { margin-bottom: 4px; } }
.ladder { list-style: none; padding: 0; margin: 0; font: .88rem/1.5 var(--sans); }
.ladder li { position: relative; padding: 0 0 10px 22px; margin: 0; }
.ladder li::before { content: ""; position: absolute; left: 0; top: .35em; width: 10px; height: 10px; border-radius: 2px; border: 1.5px solid var(--faint); }
.ladder li.on::before { background: var(--ink-2); border-color: var(--ink-2); }
.ladder li.ai::before { content: "AI"; width: auto; height: auto; top: .3em; font: 600 .56rem/1 var(--sans); padding: 2px 2px;
  background: transparent; border: 1px dashed var(--muted); border-radius: 3px; color: var(--ink-2); left: -4px; }
.ladder li.off { color: var(--muted); }
.lk { display: block; font-weight: 600; color: var(--ink); }
.ladder li.off .lk { font-weight: 500; color: var(--muted); }
.ld { display: block; color: var(--ink-2); }
.ladder-note { font: .84rem var(--sans); color: var(--muted); margin: 0; }
.after { margin-top: 3rem; }
.after h2 { font-size: 1.15rem; border-bottom: 1px solid var(--rule); padding-bottom: .45rem; }
.rd { margin: 0; display: grid; grid-template-columns: 9em minmax(0, 1fr); gap: 8px 20px; font-size: .96rem; }
.rd dt { font: 600 .74rem/1.9 var(--sans); letter-spacing: .07em; text-transform: uppercase; color: var(--muted); }
.rd dd { margin: 0; }
.resp { margin: .5rem 0 .2rem; padding-left: 14px; border-left: 2px solid var(--rule); font-style: italic; color: var(--ink-2); }
.resp-src { font: .78rem var(--sans); color: var(--muted); }
@media (max-width: 640px) { .rd { grid-template-columns: 1fr; gap: 2px; } .rd dd { margin-bottom: 10px; } }
.hist { list-style: none; padding: 0; margin: 0; font-size: .93rem; }
.hist li { display: grid; grid-template-columns: 9.5em minmax(0, 1fr); gap: 2px 20px; padding: 6px 0; border-bottom: 1px solid var(--rule-2); margin: 0; }
.hist li > a { grid-column: 1 / -1; font: 600 .9rem var(--sans); }
.h-d { font: .82rem/1.8 var(--sans); color: var(--muted); }
.h-t p { margin: .2rem 0 0; }
@media (max-width: 560px) { .hist li { grid-template-columns: 1fr; } }
.case-aside { position: sticky; top: 20px; margin-top: 2rem; font: .85rem/1.5 var(--sans); color: var(--ink-2); }
.side { margin: 0; }
.side dt { font-size: .72rem; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; color: var(--muted); margin-top: 1.1rem; padding-top: .8rem; border-top: 1px solid var(--rule); }
.side dt:first-child { margin-top: 0; }
.side dd { margin: .3rem 0 0; overflow-wrap: anywhere; }
.files { list-style: none; padding: 0; margin: .4rem 0 0; }
.files li { margin: 1px 0; }
.cite { font: .82rem/1.5 var(--serif); background: var(--paper-2); border: 1px solid var(--rule); padding: 8px 10px; border-radius: 3px; margin: 0 0 .5rem; }
.btn { font: 500 .8rem var(--sans); color: var(--ink); background: var(--paper); border: 1px solid var(--rule); border-radius: 3px; padding: 4px 10px; cursor: pointer; }
.btn:hover { border-color: var(--accent); color: var(--accent); }
details summary { cursor: pointer; color: var(--accent); margin: .6rem 0 .3rem; }
pre.bibtex { font: .74rem/1.45 var(--mono); background: var(--paper-2); border: 1px solid var(--rule); padding: 8px; overflow-x: auto; }
@media (max-width: 1000px) { .case-aside { position: static; margin-top: 3rem; border-top: 3px solid var(--rule); padding-top: 1rem; } }

/* reading pages: a table of contents beside a measured column */
.reading { display: grid; grid-template-columns: 210px minmax(0, 700px); gap: 56px; align-items: start; }
.toc { position: sticky; top: 20px; display: flex; flex-direction: column; gap: 2px; font: .86rem/1.4 var(--sans); padding-top: .4rem; }
.toc a { color: var(--muted); text-decoration: none; padding: 4px 0 4px 12px; border-left: 2px solid var(--rule); }
.toc a:hover { color: var(--ink); border-left-color: var(--accent); }
.prose section:first-child h2, .prose > .callout + section h2 { margin-top: .2rem; }
.prose h2 { margin-top: 2.6rem; }
.prose .legend li { grid-template-columns: 10.5em minmax(0, 1fr); }
.proc li { margin: .5em 0; }
.defs { margin: 0; }
.def { display: grid; grid-template-columns: 13em minmax(0, 1fr); gap: 4px 20px; padding: 9px 0; border-bottom: 1px solid var(--rule-2); }
.def dt { font: 600 .9rem/1.5 var(--sans); }
.def dd { margin: 0; color: var(--ink-2); }
@media (max-width: 860px) {
  .reading { grid-template-columns: 1fr; gap: 12px; }
  .toc { position: static; flex-direction: row; flex-wrap: wrap; gap: 4px 14px; padding: 0 0 12px; border-bottom: 1px solid var(--rule); }
  .toc a { border: 0; padding: 2px 0; }
  .def { grid-template-columns: 1fr; }
}

/* statistics */
.mgrid { display: grid; grid-template-columns: 1fr 1fr; gap: 8px 56px; }
.mgroup h2 { font-size: 1.12rem; border-bottom: 1px solid var(--ink); padding-bottom: .4rem; margin-top: 2.2rem; }
.mgroup.wide { grid-column: 1 / -1; }
.mt { width: 100%; border-collapse: collapse; font: .9rem/1.45 var(--sans); }
.mt td { padding: 8px 10px 8px 0; border-bottom: 1px solid var(--rule-2); vertical-align: top; }
.mt td.num { font-weight: 600; white-space: nowrap; padding-right: 0; }
.mid { width: 3.2em; }
.mid a { font: .76rem var(--mono); color: var(--muted); text-decoration: none; }
.m-d { display: block; font-size: .8rem; color: var(--muted); }
@media (max-width: 860px) { .mgrid { grid-template-columns: 1fr; } }
table.data { width: 100%; border-collapse: collapse; font: .88rem/1.45 var(--sans); }
table.data th, table.data td { text-align: left; vertical-align: top; padding: 8px 12px 8px 0; border-bottom: 1px solid var(--rule-2); }
table.data thead th { font-size: .72rem; letter-spacing: .07em; text-transform: uppercase; color: var(--muted); border-bottom: 1px solid var(--ink); }
table.data th.num, table.data td.num { text-align: right; }
@media (max-width: 640px) {
  table.rtable thead { display: none; }
  table.rtable tr { display: block; border-bottom: 1px solid var(--rule); padding: 8px 0; }
  table.rtable td, table.rtable th[scope=row] { display: block; border: 0; padding: 1px 0; text-align: left; }
  table.ftable td { display: flex; justify-content: space-between; gap: 12px; }
  table.ftable td[data-label]::before { content: attr(data-label); color: var(--muted); }
  table.metrics td:first-child { font-weight: 600; }
}
.chart { margin: .6rem 0 0; }
.chart svg { width: 100%; max-width: 620px; height: auto; display: block; }
.chart .grid { stroke: var(--rule-2); } .chart .axis { fill: var(--muted); font: 10px var(--sans); }
.a1 { fill: var(--accent); background: var(--accent); } .a2 { fill: color-mix(in srgb, var(--accent) 55%, var(--paper)); background: color-mix(in srgb, var(--accent) 55%, var(--paper)); }
.a3 { fill: #b68a45; background: #b68a45; } .a4 { fill: var(--faint); background: var(--faint); }
.chart-legend { list-style: none; display: flex; flex-wrap: wrap; gap: 4px 18px; padding: 0; margin: .5rem 0; font: .8rem var(--sans); color: var(--ink-2); }
.sw { display: inline-block; width: 10px; height: 10px; margin-right: 6px; border-radius: 2px; vertical-align: -1px; }
.updates .u-type { display: block; font-size: .72rem; letter-spacing: .07em; text-transform: uppercase; }
.u-links { font: .85rem var(--sans); }

@media print { .nav, .filters, .btn, .foot, .toc { display: none !important; } body { background: #fff; } }