:root {
  --bg: #fafaf7; --fg: #1d2129; --muted: #5d6675; --line: #dcdfe4; --panel: #ffffff; --panel2: #f2f3f0;
  --accent: #1f5fbf; --accent-bg: #e6eefb;
  --ok: #1a7f4b; --ok-bg: #e2f4ea; --warn: #a15c00; --warn-bg: #fdf0d9; --bad: #b3261e; --bad-bg: #fbe4e2;
  --info: #5b4bb0; --info-bg: #ece9f8; --gray-bg: #eceef1;
  --code-bg: #f3f4f1; --k: #8a2be2; --c: #6a737d; --s: #0a7a5a; --n: #b45f06; --a: #8a6d00;
  --font: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, "DejaVu Sans Mono", monospace;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #14171c; --fg: #e3e6ea; --muted: #99a3b1; --line: #2d333d; --panel: #1b1f26; --panel2: #20252d;
    --accent: #79a8f5; --accent-bg: #1d2a42;
    --ok: #55c98a; --ok-bg: #163425; --warn: #e2a84b; --warn-bg: #3a2c12; --bad: #f2867f; --bad-bg: #3d1c1a;
    --info: #b0a3f0; --info-bg: #2a2545; --gray-bg: #262b33;
    --code-bg: #10131a; --k: #c79bff; --c: #7d8794; --s: #6ad1a8; --n: #e6a05a; --a: #d8c060;
  }
}
:root[data-theme="dark"] {
  --bg: #14171c; --fg: #e3e6ea; --muted: #99a3b1; --line: #2d333d; --panel: #1b1f26; --panel2: #20252d;
  --accent: #79a8f5; --accent-bg: #1d2a42;
  --ok: #55c98a; --ok-bg: #163425; --warn: #e2a84b; --warn-bg: #3a2c12; --bad: #f2867f; --bad-bg: #3d1c1a;
  --info: #b0a3f0; --info-bg: #2a2545; --gray-bg: #262b33;
  --code-bg: #10131a; --k: #c79bff; --c: #7d8794; --s: #6ad1a8; --n: #e6a05a; --a: #d8c060;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 4.5rem; }
body { margin: 0; background: var(--bg); color: var(--fg); font: 16px/1.6 var(--font); }
a { color: var(--accent); text-decoration-thickness: 1px; text-underline-offset: 2px; }
code, pre { font-family: var(--mono); font-size: .88em; }
code { background: var(--code-bg); padding: .1em .35em; border-radius: 4px; overflow-wrap: anywhere; }
pre { margin: 0; }
h1, h2, h3, h4 { line-height: 1.25; }
h1 { font-size: 1.9rem; margin: .2em 0 .4em; }
h2 { font-size: 1.4rem; margin: 2.2rem 0 .8rem; padding-bottom: .3rem; border-bottom: 1px solid var(--line); }
h3 { font-size: 1.1rem; margin: 1.2rem 0 .5rem; }
.count { font-size: .7em; background: var(--gray-bg); color: var(--muted); border-radius: 999px; padding: .05em .6em; vertical-align: middle; }
.muted { color: var(--muted); font-size: .92rem; }

.topbar { position: sticky; top: 0; z-index: 20; display: flex; align-items: center; gap: 1rem; padding: .55rem 1rem;
  background: color-mix(in srgb, var(--bg) 92%, transparent); backdrop-filter: blur(6px); border-bottom: 1px solid var(--line); }
.brand { font-weight: 700; color: var(--fg); text-decoration: none; white-space: nowrap; }
.brand span { font-weight: 400; color: var(--muted); }
.sitenav { display: flex; gap: .3rem; flex-wrap: wrap; flex: 1; }
.sitenav a { padding: .2rem .65rem; border-radius: 999px; color: var(--fg); text-decoration: none; font-size: .93rem; }
.sitenav a:hover { background: var(--panel2); }
.sitenav a.on { background: var(--accent-bg); color: var(--accent); font-weight: 600; }

.layout { max-width: 1240px; margin: 0 auto; padding: 1rem; }
.layout.has-aside { display: grid; grid-template-columns: 200px minmax(0, 1fr); gap: 2rem; }
.side { position: sticky; top: 4rem; align-self: start; max-height: calc(100vh - 5rem); overflow: auto; font-size: .92rem; padding-top: 1rem; }
.side nav { display: flex; flex-direction: column; border-left: 2px solid var(--line); }
.side nav a { padding: .25rem .8rem; color: var(--muted); text-decoration: none; margin-left: -2px; border-left: 2px solid transparent; }
.side nav a:hover { color: var(--fg); }
.side nav a.active { color: var(--accent); border-left-color: var(--accent); font-weight: 600; }
.sidecards { display: flex; flex-wrap: wrap; gap: .3rem; margin-top: 1rem; }
.mini { font-size: .78rem; padding: .05rem .45rem; border-radius: 6px; text-decoration: none; background: var(--gray-bg); color: var(--fg); }
.mini.false { background: var(--bad-bg); color: var(--bad); }
.mini.gap { background: var(--warn-bg); color: var(--warn); }
.mini.overclaim { background: var(--info-bg); color: var(--info); }
main { min-width: 0; }
.pagehead { padding: 1.2rem 0 .4rem; }
.kicker { text-transform: uppercase; letter-spacing: .08em; font-size: .78rem; color: var(--muted); margin: 0; }
.lede { font-size: 1.1rem; color: var(--muted); max-width: 62ch; }
.foot { text-align: center; color: var(--muted); font-size: .85rem; padding: 2rem 1rem; }
.prose { max-width: 78ch; }
.prose h2 { font-size: 1.25rem; }
.crumb { font-size: .9rem; }

.btn { font: inherit; font-size: .9rem; padding: .3rem .8rem; border: 1px solid var(--line); border-radius: 8px; background: var(--panel);
  color: var(--fg); cursor: pointer; text-decoration: none; display: inline-block; }
.btn:hover { background: var(--panel2); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
.btn.ghost { border-color: transparent; background: transparent; font-size: 1.1rem; }

.cards { display: grid; gap: 1rem; }
.cards.three { grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: 12px; padding: 1rem 1.2rem; }
.card.proj h3 { margin-top: .2rem; font-size: 1.25rem; }
.card.proj h3 a { text-decoration: none; }
.paper { font-style: italic; color: var(--muted); font-size: .92rem; }
.links { display: flex; gap: .4rem; flex-wrap: wrap; }

.statgrid { display: grid; grid-template-columns: repeat(auto-fit, minmax(130px, 1fr)); gap: .6rem; margin: .8rem 0; }
.statgrid.small { grid-template-columns: repeat(auto-fit, minmax(84px, 1fr)); }
.stat { background: var(--panel2); border-radius: 10px; padding: .6rem .8rem; }
.stat b { display: block; font-size: 1.6rem; line-height: 1.1; }
.stat span { font-size: .8rem; color: var(--muted); }
.stat.ok b { color: var(--ok); } .stat.warn b { color: var(--warn); } .stat.cex b { color: var(--bad); }
.statuslist { list-style: none; padding: 0; display: flex; gap: .8rem; flex-wrap: wrap; }

.badge { display: inline-block; padding: .05rem .55rem; border-radius: 999px; font-size: .78rem; font-weight: 600; white-space: nowrap; background: var(--gray-bg); color: var(--muted); }
.badge.proven { background: var(--ok-bg); color: var(--ok); }
.badge.corrected { background: var(--warn-bg); color: var(--warn); }
.badge.cex { background: var(--bad-bg); color: var(--bad); }
.badge.confirmed { background: var(--accent-bg); color: var(--accent); }
.badge.formalized, .badge.partial { background: var(--info-bg); color: var(--info); }

.filterbar { display: flex; flex-wrap: wrap; gap: .4rem; align-items: center; margin: .8rem 0; }
.chip { font: inherit; font-size: .85rem; padding: .15rem .7rem; border-radius: 999px; border: 1px solid var(--line); background: var(--panel); color: var(--fg); cursor: pointer; }
.chip.on { background: var(--accent); border-color: var(--accent); color: #fff; }
#rowsearch { font: inherit; padding: .3rem .7rem; border: 1px solid var(--line); border-radius: 8px; background: var(--panel); color: var(--fg); min-width: 16rem; flex: 1; }

.card.err { margin: 1rem 0; border-left: 5px solid var(--gray-bg); }
.card.err.false { border-left-color: var(--bad); } .card.err.gap { border-left-color: var(--warn); }
.card.err.overclaim { border-left-color: var(--info); } .card.err.typo { border-left-color: var(--muted); }
.card.err.note { border-left-color: var(--ok); }
.card.err header { display: flex; flex-wrap: wrap; align-items: baseline; gap: .5rem; }
.card.err h3 { margin: 0; font-size: 1rem; font-weight: 600; flex-basis: 100%; }
.eid { font-family: var(--mono); font-weight: 700; font-size: 1.05rem; }
.sev { font-size: .75rem; text-transform: uppercase; letter-spacing: .05em; padding: .05rem .5rem; border-radius: 6px; background: var(--gray-bg); }
.sev.false { background: var(--bad-bg); color: var(--bad); } .sev.gap { background: var(--warn-bg); color: var(--warn); }
.sev.overclaim { background: var(--info-bg); color: var(--info); } .sev.note { background: var(--ok-bg); color: var(--ok); }
.locline { font-size: .9rem; color: var(--muted); margin: .4rem 0; }
.pdflink { font-size: .8rem; border: 1px solid var(--line); border-radius: 6px; padding: 0 .35rem; text-decoration: none; white-space: nowrap; }
blockquote.src { margin: .5rem 0; padding: .4rem .9rem; border-left: 3px solid var(--line); background: var(--panel2); font-style: italic; border-radius: 0 6px 6px 0; }
.lbl { display: block; font-style: normal; font-size: .7rem; text-transform: uppercase; letter-spacing: .08em; color: var(--muted); margin-bottom: .1rem; }
.ebody ul { margin: .3rem 0; padding-left: 1.3rem; }
.ebody p { margin: .5rem 0; }
.evidence { margin-top: .6rem; }
.note { background: var(--panel2); border-radius: 10px; padding: .4rem 1rem; margin: .8rem 0; }
.note h4 { margin: .4rem 0; }

.tablewrap { overflow-x: auto; margin: .8rem 0; }
table { border-collapse: collapse; width: 100%; font-size: .9rem; }
th, td { border-bottom: 1px solid var(--line); padding: .45rem .6rem; text-align: left; vertical-align: top; }
thead th { position: sticky; top: 0; background: var(--panel2); font-size: .8rem; text-transform: uppercase; letter-spacing: .04em; color: var(--muted); }
table.results { min-width: 900px; }
table.results tr.grp th { background: var(--panel2); font-size: .82rem; text-transform: none; letter-spacing: 0; color: var(--fg); position: static; }
tr.res:hover td { background: color-mix(in srgb, var(--panel2) 60%, transparent); }
tr.res.hidden, tr.det.hidden { display: none; }
tr.det { display: none; }
tr.det.open { display: table-row; }
tr.det > td { background: var(--panel2); padding: .6rem 1rem; }
.c-res { min-width: 10rem; } .c-loc { min-width: 7rem; } .c-inf { min-width: 14rem; } .c-lean { min-width: 14rem; font-size: .85rem; }
.rid { font-family: var(--mono); font-size: .75rem; color: var(--muted); }
.tog { display: block; margin-top: .3rem; font: inherit; font-size: .75rem; border: 1px solid var(--line); background: var(--panel); color: var(--accent); border-radius: 6px; cursor: pointer; padding: 0 .4rem; }
.stnote { font-size: .78rem; color: var(--muted); margin-top: .3rem; max-width: 16rem; }
.refs { font-size: .88rem; margin-bottom: .4rem; }

details.snip { margin: .4rem 0; }
details.snip > summary { cursor: pointer; font-size: .85rem; color: var(--muted); }
pre.code { background: var(--code-bg); border: 1px solid var(--line); border-radius: 8px; padding: .6rem .8rem; overflow-x: auto; line-height: 1.45; margin: .4rem 0; }
pre.code code { background: none; padding: 0; overflow-wrap: normal; white-space: pre; }
.k { color: var(--k); font-weight: 600; } .c { color: var(--c); font-style: italic; } .s { color: var(--s); } .n { color: var(--n); } .a { color: var(--a); }
details.legend { margin: .6rem 0; }
details.legend summary { cursor: pointer; color: var(--accent); }
.cols3 { display: grid; grid-template-columns: repeat(auto-fit, minmax(230px, 1fr)); gap: 1rem; }
.cols3 ul { padding-left: 1.1rem; margin: 0; font-size: .9rem; }
.inprogress { background: var(--warn-bg); border-radius: 12px; padding: .2rem 1.2rem 1rem; }
table.md td, table.md th { font-size: .85rem; }

@media (max-width: 860px) {
  .layout.has-aside { grid-template-columns: 1fr; gap: 0; }
  .side { position: static; max-height: none; padding: 0; }
  .side nav { flex-direction: row; flex-wrap: wrap; border-left: 0; gap: .3rem; }
  .side nav a { border: 1px solid var(--line); border-radius: 999px; margin: 0; padding: .1rem .7rem; }

  .topbar { flex-wrap: wrap; }
}
@media print {
  .topbar, .side, .filterbar, .tog, #themebtn, .foot { display: none !important; }
  body { background: #fff; color: #000; font-size: 11pt; }
  tr.det { display: table-row !important; }
  .layout { max-width: none; padding: 0; display: block; }
  .card, tr { break-inside: avoid; }
  a { color: inherit; text-decoration: none; }
  pre.code { white-space: pre-wrap; }
  .tablewrap { overflow: visible; } table.results { min-width: 0; }
}

.badge.v-confirmed, .chip.v-confirmed { background: var(--ok-bg); color: var(--ok); }
.badge.v-corrected, .chip.v-corrected { background: var(--yel-bg); color: var(--yel); }
.badge.v-modified, .chip.v-modified { background: var(--warn-bg); color: var(--warn); }
.badge.v-disconfirmed, .chip.v-disconfirmed { background: var(--bad-bg); color: var(--bad); }
.badge.v-na { background: var(--gray-bg); color: var(--muted); }
.chip.on { background: var(--accent); color: #fff; }

.triad { display: grid; grid-template-columns: repeat(3, 1fr); gap: .8rem; margin: .7rem 0; }
.triad .col { background: var(--panel2); border-radius: 8px; padding: .5rem .7rem; font-size: .93rem; }
.triad .col.said { border-top: 3px solid var(--bad); } .triad .col.sugg { border-top: 3px solid var(--ok); } .triad .col.cons { border-top: 3px solid var(--info); }
@media (max-width: 800px) { .triad { grid-template-columns: 1fr; } }

:root { --yel: #8a7200; --yel-bg: #fbf3c4; --warn: #c4520a; --warn-bg: #fde3cf; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --yel: #e6cf55; --yel-bg: #3a3410; --warn: #f0965a; --warn-bg: #43250f; } }
:root[data-theme="dark"] { --yel: #e6cf55; --yel-bg: #3a3410; --warn: #f0965a; --warn-bg: #43250f; }
.stat.yel b { color: var(--yel); }

.stat { min-width: 0; overflow-wrap: anywhere; }
.stat span { display: block; line-height: 1.25; }
.stat.nf b { color: var(--muted); }

.duo { display: grid; grid-template-columns: 1fr 1fr; gap: .8rem; margin: .6rem 0; }
.duo .col { background: var(--panel2); border-radius: 8px; padding: .5rem .8rem; font-size: .95rem; position: relative; min-width: 0; }
.duo .col.said { border-top: 3px solid var(--bad); } .duo .col.sugg { border-top: 3px solid var(--ok); }
pre.txt { white-space: pre-wrap; overflow-wrap: anywhere; font: inherit; font-family: ui-serif, Georgia, serif; margin: .2rem 0; }
.duo .col p { margin: .2rem 0; }
.copybtn { position: absolute; top: .4rem; right: .5rem; font: inherit; font-size: .75rem; padding: .05rem .5rem; border: 1px solid var(--line); border-radius: 6px; background: var(--panel); color: var(--fg); cursor: pointer; }
p.down { font-size: .9rem; margin: .4rem 0; }
@media (max-width: 800px) { .duo { grid-template-columns: 1fr; } }
.stat.add b { color: var(--info); }
.sev.add { background: var(--info-bg); color: var(--info); }
.card.add { margin: 1rem 0; border-left: 5px solid var(--info); }
.card.add header { display: flex; flex-wrap: wrap; gap: .5rem; align-items: baseline; } .card.add h3 { margin: 0; font-size: 1rem; flex-basis: 100%; }
.jc { font-size: .88rem; background: var(--warn-bg); color: var(--fg); padding: .3rem .6rem; border-radius: 6px; }
.small { font-size: .85rem; }

details.fold > summary { cursor: pointer; list-style: none; }
details.fold > summary::-webkit-details-marker { display: none; }
details.fold > summary h2 { display: inline-block; margin: .6rem 0; }
details.fold > summary h2::before { content: "\25BE\00a0"; color: var(--muted); }
details.fold:not([open]) > summary h2::before { content: "\25B8\00a0"; }
.chip.v-notformalized, .chip.v-additions { }
.chip.v-additions { background: var(--info-bg); color: var(--info); }
.chip.v-notformalized { background: var(--gray-bg); color: var(--muted); }
.chip.on { outline: 2px solid var(--accent); }

.card.res { margin: .8rem 0; border-left: 5px solid var(--line); }
.card.res header { display: flex; flex-wrap: wrap; align-items: baseline; gap: .5rem; }
.card.res h3 { margin: 0; font-size: 1rem; font-weight: 600; flex: 1 1 60%; }
.card.res p { margin: .3rem 0; }
.card.res .small, .card.res .leanst { font-size: .82rem; color: var(--muted); }
.card.res .inf { font-size: .95rem; }
.card.res .leanst code, .card.res .small code { font-size: .78rem; }
.card.res .minor { background: var(--yel-bg); border-radius: 6px; padding: .2rem .5rem; color: var(--fg); }
.attached { margin-top: .6rem; padding: .5rem .7rem; border-radius: 8px; background: var(--panel2); }
.attached h4 { margin: 0 0 .3rem; font-size: .95rem; }
#auditsearch { font: inherit; font-size: .85rem; padding: .15rem .6rem; border: 1px solid var(--line); border-radius: 999px; background: var(--panel); color: var(--fg); margin-left: auto; }

:root { --ltok-bg: #eaf6df; --ltok: #3d7a1e; --aux-bg: #e3e8ee; --aux: #4b5d73; --def-bg: #ffffff; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) { --ltok-bg: #1f2e17; --ltok: #a4d47f; --aux-bg: #252c35; --aux: #a9b8c9; --def-bg: #14171a; } }
:root[data-theme="dark"] { --ltok-bg: #1f2e17; --ltok: #a4d47f; --aux-bg: #252c35; --aux: #a9b8c9; --def-bg: #14171a; }
.badge.v-confirmedtypo, .chip.v-confirmedtypo { background: var(--ltok-bg); color: var(--ltok); }
.badge.v-notformalized, .chip.v-notformalized { background: var(--gray-bg); color: var(--muted); }
.badge.v-definitions, .chip.v-definitions { background: var(--def-bg); color: var(--fg); border: 1px solid var(--line); }
.badge.v-auxiliary, .chip.v-auxiliary { background: var(--aux-bg); color: var(--aux); }
.badge.v-additions, .chip.v-additions { background: var(--info-bg); color: var(--info); }
.chip.on { outline: 2px solid var(--accent); }
ul.catlegend { list-style: none; padding: 0; } ul.catlegend li { margin: .35rem 0; }

pre.txt del { background: var(--bad-bg); color: var(--bad); text-decoration: line-through; padding: 0 .1em; border-radius: 3px; }
pre.txt ins { background: var(--ok-bg); color: var(--ok); text-decoration: none; font-weight: 600; padding: 0 .1em; border-radius: 3px; }
.duo .col.sugg .lbl { padding-right: 4.5rem; }