:root{
  --paper:#FBFAF8; --surface:#fff; --sunk:#F2F0EC;
  --ink:#14171A; --ink-2:#4A5159; --ink-3:#7A828B;
  --rule:#E4E1DB; --rule-2:#CFCBC3;
  --accent:#12566B; --accent-soft:#E3EEF1;
  --ok:#1C6741; --ok-soft:#E0EFE6;
  --warn:#845410; --warn-soft:#F5EAD7;
  --stop:#94291D; --stop-soft:#F6E2DE;
  color-scheme:light;
}
@media (prefers-color-scheme:dark){:root:not([data-theme="light"]){
  --paper:#101214; --surface:#171A1D; --sunk:#1E2226;
  --ink:#E9E7E2; --ink-2:#AEB5BD; --ink-3:#848C95;
  --rule:#272B30; --rule-2:#383D44;
  --accent:#63B7CC; --accent-soft:#13303A;
  --ok:#68BB8E; --ok-soft:#142A1F;
  --warn:#D9A651; --warn-soft:#2B2213;
  --stop:#E08476; --stop-soft:#2E1A17;
  color-scheme:dark;
}}
:root[data-theme="dark"]{
  --paper:#101214; --surface:#171A1D; --sunk:#1E2226;
  --ink:#E9E7E2; --ink-2:#AEB5BD; --ink-3:#848C95;
  --rule:#272B30; --rule-2:#383D44;
  --accent:#63B7CC; --accent-soft:#13303A;
  --ok:#68BB8E; --ok-soft:#142A1F;
  --warn:#D9A651; --warn-soft:#2B2213;
  --stop:#E08476; --stop-soft:#2E1A17;
  color-scheme:dark;
}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%}
body{margin:0;background:var(--paper);color:var(--ink);
  font-family:"Libre Franklin",system-ui,-apple-system,Segoe UI,sans-serif;font-size:16px;line-height:1.55;
  -webkit-font-smoothing:antialiased}
a{color:var(--accent)}
.wrap{max-width:760px;margin:0 auto;padding-left:20px;padding-right:20px}
.skip{position:absolute;left:-9999px}
.skip:focus{left:8px;top:8px;background:var(--surface);padding:8px 12px;z-index:9;border:1px solid var(--rule)}

.top{border-bottom:1px solid var(--rule);background:var(--surface);position:sticky;top:0;z-index:5}
.top-in{display:flex;align-items:baseline;gap:14px;padding-block:12px;flex-wrap:wrap}
.brand{font-weight:700;letter-spacing:-.02em;text-decoration:none;color:var(--ink);font-size:18px}
.brand span{color:var(--accent);font-weight:600}
.tag{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11px;letter-spacing:.06em;text-transform:uppercase;color:var(--ink-3)}

main{padding-block:26px 64px}
.crumbs{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11.5px;letter-spacing:.04em;color:var(--ink-3);margin-bottom:14px}
.crumbs a{color:var(--ink-3)}
.crumbs span{opacity:.5;margin:0 2px}
h1{font-size:clamp(28px,5vw,40px);line-height:1.12;letter-spacing:-.025em;margin:0 0 16px;text-wrap:balance}

.strip{display:flex;flex-wrap:wrap;gap:8px 14px;align-items:center;padding-bottom:18px;border-bottom:1px solid var(--rule)}
.chip{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11.5px;font-weight:500;letter-spacing:.04em;
  padding:3px 9px;border-radius:2px;text-transform:uppercase}
.chip-ok{background:var(--ok-soft);color:var(--ok)}
.chip-warn{background:var(--warn-soft);color:var(--warn)}
.chip-stop{background:var(--stop-soft);color:var(--stop)}
.strip .s{font-size:13.5px;color:var(--ink-2)}
.strip .checked{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11.5px;color:var(--ink-3);margin-left:auto}

.lead{font-family:"Source Serif 4",Georgia,serif;font-size:19px;line-height:1.55;margin:22px 0 10px;color:var(--ink)}
.promise{font-size:13.5px;color:var(--ink-2);margin:0 0 30px;padding-left:12px;border-left:2px solid var(--accent)}

.grp{margin:0 0 34px}
.grp h2{font-size:12px;font-family:"IBM Plex Mono",ui-monospace,monospace;font-weight:500;letter-spacing:.12em;
  text-transform:uppercase;color:var(--ink-3);margin:0 0 10px;padding-bottom:8px;border-bottom:1px solid var(--rule)}
.note{font-size:13.5px;color:var(--ink-2);margin:0 0 12px}

.facts{display:flex;flex-direction:column}
.fact{border-bottom:1px solid var(--rule)}
.fact summary{display:grid;grid-template-columns:minmax(120px,1fr) minmax(0,1.3fr) auto;gap:12px;align-items:baseline;
  padding:11px 2px;cursor:pointer;list-style:none}
.fact summary::-webkit-details-marker{display:none}
.fact summary:hover{background:var(--sunk)}
.fact summary:focus-visible{outline:2px solid var(--accent);outline-offset:-2px}
.fact-k{font-size:14px;color:var(--ink-2)}
.fact-v{font-size:15.5px;font-weight:600;font-variant-numeric:tabular-nums;color:var(--ink);min-width:0;overflow-wrap:anywhere}
.fact-src{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:10.5px;color:var(--ink-3);white-space:nowrap}
.fact-src .stale{color:var(--warn);font-weight:500}
.fact-src .disp{color:var(--stop);font-weight:500}
.li-n{color:var(--ink);font-weight:600;font-size:15px}
.li-k{font-weight:400;color:var(--ink-2);font-size:14px}
.fact[open] summary{background:var(--sunk)}
.proof{padding:4px 2px 16px;background:var(--sunk)}
.proof blockquote{margin:0 0 8px;padding:10px 14px;background:var(--surface);border-left:2px solid var(--accent);
  font-family:"Source Serif 4",Georgia,serif;font-size:15px;color:var(--ink)}
.proof .meta{margin:0;padding:0 14px;font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11px;color:var(--ink-3);
  display:flex;flex-wrap:wrap;gap:6px}
.proof .meta span{opacity:.85}
.qual{color:var(--warn)}

.conflict{padding:11px 2px}
.conflict .c-in{display:grid;grid-template-columns:minmax(120px,1fr) minmax(0,2fr);gap:12px;align-items:baseline}
.conflict .meta{margin:6px 0 0;font-size:13px;color:var(--ink-2);font-family:inherit}
.missing{margin:0;padding-left:18px;color:var(--ink-2);font-size:14.5px;columns:2;column-gap:28px}
.missing li{margin:3px 0;break-inside:avoid}

.log{margin:0;padding-left:0;list-style:none;font-size:14.5px;color:var(--ink-2)}
.log li{padding:9px 0;border-bottom:1px solid var(--rule)}
.log time{font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11.5px;color:var(--ink-3);margin-right:10px}

.rg{background:var(--surface);border:1px solid var(--rule);padding:18px 20px;margin-top:38px}
.rg h2{font-size:12px;font-family:"IBM Plex Mono",ui-monospace,monospace;font-weight:500;letter-spacing:.12em;
  text-transform:uppercase;color:var(--ink-3);margin:0 0 8px}
.rg p{margin:6px 0;font-size:14.5px;color:var(--ink-2)}
.rg b{color:var(--ink)}

.foot{border-top:1px solid var(--rule);background:var(--surface);margin-top:50px}
.foot .wrap{padding-block:24px 40px}
.foot p{margin:0 0 8px;font-size:13.5px;color:var(--ink-2);max-width:62ch}
.foot .small{font-size:12px;color:var(--ink-3)}

.idx{list-style:none;padding:0;margin:20px 0 0}
.idx li{border-bottom:1px solid var(--rule)}
.idx a{display:flex;flex-wrap:wrap;gap:4px 12px;align-items:baseline;padding:14px 2px;text-decoration:none;color:var(--ink)}
.idx a:hover{background:var(--sunk)}
.idx .n{font-weight:600;font-size:16.5px}
.idx .w{font-size:13.5px;color:var(--ink-3)}
.idx .c{margin-left:auto;font-family:"IBM Plex Mono",ui-monospace,monospace;font-size:11px;color:var(--ink-3)}

@media (max-width:560px){
  .fact summary{grid-template-columns:1fr auto;row-gap:2px}
  .fact-v{grid-column:1/-1}
  .strip .checked{margin-left:0}
  .missing{columns:1}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important;animation:none!important}}