/* AFTD -- Auto-Formalizing Theoretical Domains. Tokens follow scripts/board.py. */
:root{
  --ground:#f4f3f9; --panel:#ffffff; --panel-2:#f9f8fe; --tint:#ecebf8;
  --ink:#17152e; --ink-2:#4f4c69; --ink-3:#77738f;
  --rule:#dcdae8; --rule-2:#eae9f2;
  --accent:#4437a6; --accent-2:#6a5cd6; --accent-soft:#e7e4fb; --on-accent:#ffffff;
  --proved:#26734c; --grant:#8a5a10; --bad:#ab5219;
  --comm:#1b6a86; --stuck:#a4461a; --wait:#6b6788;
  --code-k:#4437a6; --code-t:#1b6a86; --code-x:#8a5a10; --code-c:#8a87a3; --code-s:#a63d6b;
  --ui:'Archivo',system-ui,-apple-system,'Segoe UI',sans-serif;
  --mono:'JetBrains Mono',ui-monospace,'SF Mono',Menlo,monospace;
  --prose:'Source Serif 4',Georgia,'Times New Roman',serif;
  --radius:12px;
  --shadow:0 1px 2px rgba(23,21,46,.05),0 8px 24px -12px rgba(23,21,46,.12);
}
@media (prefers-color-scheme:dark){:root{
  --ground:#100f1d; --panel:#18172a; --panel-2:#1d1c31; --tint:#1f1d36;
  --ink:#ecebf6; --ink-2:#aeabc6; --ink-3:#8b88a6;
  --rule:#2d2b45; --rule-2:#24223a;
  --accent:#a497ff; --accent-2:#8b7cf6; --accent-soft:#29254d; --on-accent:#14122a;
  --proved:#5cbd85; --grant:#e0b055; --bad:#e28b50;
  --comm:#5bb8d6; --stuck:#ec8a5a; --wait:#aeabc6;
  --code-k:#b3a8ff; --code-t:#6fcde0; --code-x:#e8b766; --code-c:#8b88a6; --code-s:#ef8fb4;
  --shadow:0 1px 2px rgba(0,0,0,.3),0 10px 30px -12px rgba(0,0,0,.5);
}}
*{box-sizing:border-box}
html{-webkit-text-size-adjust:100%;scroll-behavior:smooth}
body{margin:0;background:var(--ground);color:var(--ink);font-family:var(--ui);
     font-size:15px;line-height:1.55;-webkit-font-smoothing:antialiased}
a{color:var(--accent);text-underline-offset:2px}
code{font-family:var(--mono);font-size:.86em}
h1,h2,h3{text-wrap:balance}
p{text-wrap:pretty}
.wrap{max-width:1160px;margin:0 auto;padding-inline:24px}
main.wrap{padding-block:34px 64px;display:flex;flex-direction:column;gap:26px}
.vh{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0)}
.hidden,[hidden]{display:none!important}

/* ------------------------------------------------------------ header */
header.site{position:sticky;top:0;z-index:20;
  background:color-mix(in srgb,var(--panel) 86%,transparent);
  backdrop-filter:saturate(1.4) blur(10px);-webkit-backdrop-filter:saturate(1.4) blur(10px);
  border-bottom:1px solid var(--rule)}
.bar-in{max-width:1160px;margin:0 auto;padding:11px 24px;display:flex;align-items:center;
        gap:18px;flex-wrap:wrap}
.brand{display:flex;align-items:center;gap:10px;text-decoration:none;color:var(--ink);min-width:0}
.brand img{flex:none;border-radius:7px}
.brand-name{font-weight:700;font-size:17px;letter-spacing:.05em}
.brand-full{font-size:13px;color:var(--ink-3);font-weight:500;padding-left:10px;
            border-left:1px solid var(--rule);white-space:nowrap}
header.site nav{display:flex;gap:4px 18px;flex-wrap:wrap;margin-left:auto}
header.site nav a{color:var(--ink-2);text-decoration:none;font-weight:500;font-size:14px;padding-block:4px}
header.site nav a:hover{color:var(--accent)}
header.site nav a[aria-current]{color:var(--accent);font-weight:600;
  box-shadow:inset 0 -2px 0 var(--accent)}
header.site nav a.ext::after{content:" \2197";font-size:11px}

/* ------------------------------------------------------------ footer */
footer.site{border-top:1px solid var(--rule);background:var(--panel);color:var(--ink-2);font-size:13.5px}
.foot-grid{display:grid;grid-template-columns:minmax(0,2fr) repeat(2,minmax(0,1fr));gap:32px;
           padding-block:34px 22px}
.foot-id p{margin:0 0 10px;max-width:60ch}
.foot-name{display:flex;align-items:center;gap:9px;color:var(--ink);font-size:15px}
.foot-name img{border-radius:6px}
.foot-motto{font-family:var(--prose);font-style:italic;font-size:16px;color:var(--ink)}
.foot-col{display:flex;flex-direction:column;gap:7px}
.foot-col h2{margin:0 0 4px;font-size:11px;text-transform:uppercase;letter-spacing:.1em;color:var(--ink-3)}
.foot-col a{color:var(--ink-2);text-decoration:none}
.foot-col a:hover{color:var(--accent)}
.foot-base{position:relative;padding-block:14px 22px;color:var(--ink-3);font-size:12.5px}
.foot-base::before{content:"";position:absolute;top:0;left:24px;right:24px;border-top:1px solid var(--rule-2)}

/* ------------------------------------------------------------ type */
.eyebrow{margin:0;display:flex;align-items:center;gap:10px;font-size:12px;font-weight:600;
         text-transform:uppercase;letter-spacing:.12em;color:var(--accent)}
.acr{display:inline-block;padding:3px 8px;border-radius:6px;background:var(--accent);color:var(--on-accent);
     letter-spacing:.08em}
.phead{display:flex;flex-direction:column;gap:10px}
.phead h1{margin:0;font-family:var(--prose);font-size:38px;font-weight:600;letter-spacing:-.015em;line-height:1.15}
h1.mono{font-family:var(--mono);font-size:26px;font-weight:600;letter-spacing:-.01em;word-break:break-word}
.lead{margin:0;font-family:var(--prose);font-size:18.5px;line-height:1.6;color:var(--ink-2);max-width:64ch}
main h2{margin:12px 0 0;font-size:19px;font-weight:700;letter-spacing:-.01em}
main h3{margin:0;font-size:15px;font-weight:600}
.prose{margin:0;font-family:var(--prose);font-size:16px;line-height:1.6;max-width:70ch}
.prose.big{font-size:19px}
.pre-wrap{white-space:pre-wrap}
.small{margin:0;font-size:12.5px;color:var(--ink-3)}
.empty{color:var(--ink-2);font-style:italic}
.note{margin:0;padding:11px 15px;background:var(--panel);border:1px solid var(--rule);
      border-left:3px solid var(--wait);border-radius:9px;max-width:80ch}
.note.comm{border-left-color:var(--comm)}

/* ------------------------------------------------------------ controls */
.cta,.actions{display:flex;flex-wrap:wrap;gap:10px}
.actions{margin-top:8px}
.btn{display:inline-flex;align-items:center;gap:6px;padding:10px 18px;border-radius:10px;
     border:1px solid var(--rule);background:var(--panel);color:var(--ink);text-decoration:none;
     font-weight:600;font-size:14.5px;transition:border-color .15s,color .15s,transform .15s,box-shadow .15s}
.btn:hover{border-color:var(--accent);color:var(--accent);transform:translateY(-1px)}
.btn.primary{background:var(--accent);border-color:var(--accent);color:var(--on-accent);
             box-shadow:0 6px 18px -8px var(--accent)}
.btn.primary:hover{background:var(--accent-2);border-color:var(--accent-2);color:var(--on-accent)}
.btn.ghost{background:transparent;border-color:rgba(255,255,255,.35);color:#fff}
.btn.ghost:hover{border-color:#fff;color:#fff}
.badges{display:inline-flex;flex-wrap:wrap;gap:5px;align-items:center}
.badge{font-size:10.5px;text-transform:uppercase;letter-spacing:.07em;font-weight:600;
       padding:2px 8px;border-radius:999px;border:1px solid var(--rule);color:var(--ink-3);white-space:nowrap}
.badge.ok,.badge.st-proved{color:var(--proved);border-color:var(--proved)}
.badge.comm,.badge.st-formalized,.badge.st-open{color:var(--comm);border-color:var(--comm)}
.badge.st-stuck,.badge.chal{color:var(--stuck);border-color:var(--stuck)}
.badge.expl,.badge.st-accepted{color:var(--accent);border-color:var(--accent)}
.badge.dom{text-transform:none;letter-spacing:0;font-weight:500}
.badge.kind.thm{color:var(--ink-2)}
.badge.kind.def{color:var(--comm);border-color:color-mix(in srgb,var(--comm) 45%,var(--rule))}
.badge.orig{color:var(--grant);border-color:var(--grant)}
.btn:focus-visible,.pw-tab:focus-visible,.seg button:focus-visible,.toolbar select:focus-visible,
.switch input:focus-visible,.copy:focus-visible,.linkish:focus-visible,.toc a:focus-visible{outline:2px solid var(--accent);outline-offset:2px}

/* ------------------------------------------------------------ home */
main.home{display:flex;flex-direction:column;padding-bottom:0}
.hero-band{position:relative;overflow:hidden;border-bottom:1px solid var(--rule);
  background:
    radial-gradient(900px 420px at 85% 10%,color-mix(in srgb,var(--accent) 16%,transparent),transparent 70%),
    radial-gradient(700px 380px at 0% 100%,color-mix(in srgb,var(--comm) 10%,transparent),transparent 70%),
    var(--ground)}
.hero-band::before{content:"";position:absolute;inset:0;pointer-events:none;opacity:.5;
  background-image:linear-gradient(var(--rule-2) 1px,transparent 1px),linear-gradient(90deg,var(--rule-2) 1px,transparent 1px);
  background-size:36px 36px;
  mask-image:radial-gradient(ellipse at 30% 40%,#000 20%,transparent 75%);
  -webkit-mask-image:radial-gradient(ellipse at 30% 40%,#000 20%,transparent 75%)}
.hero-grid{position:relative;display:grid;grid-template-columns:minmax(0,1.05fr) minmax(0,1fr);
           gap:48px;align-items:center;padding-block:64px 72px}
.hero-copy{display:flex;flex-direction:column;gap:18px}
.hero-copy h1{margin:0;font-family:var(--prose);font-weight:600;font-size:clamp(34px,5.2vw,58px);
              line-height:1.05;letter-spacing:-.02em}
.motto{margin:0;font-family:var(--prose);font-style:italic;font-size:clamp(19px,2.2vw,23px);
       line-height:1.4;color:var(--accent)}
.hero-copy .cta{margin-top:6px}

/* proof window */
.pw{background:#15132a;color:#e8e6f5;border-radius:16px;border:1px solid #2c2946;
    box-shadow:0 30px 60px -30px rgba(23,21,46,.55),0 0 0 1px rgba(255,255,255,.02) inset;
    overflow:hidden;
    --code-k:#b3a8ff; --code-t:#6fcde0; --code-x:#e8b766; --code-c:#8f8cab; --code-s:#ef8fb4}
.pw-tabs{display:flex;gap:2px;padding:8px 8px 0;background:#100e22;overflow-x:auto;scrollbar-width:none}
.pw-tab{font:inherit;font-size:12px;font-weight:600;color:#9a97b6;background:transparent;border:0;
        padding:8px 12px;border-radius:8px 8px 0 0;cursor:pointer;white-space:nowrap}
.pw-tab:hover{color:#fff}
.pw-tab.on{background:#15132a;color:#fff}
.pw-bar{display:flex;align-items:center;gap:12px;padding:12px 16px;border-bottom:1px solid #2a2744}
.dots{display:flex;gap:6px}
.dots i{width:10px;height:10px;border-radius:50%;background:#3a3659}
.dots i:first-child{background:#e2665f}.dots i:nth-child(2){background:#e1b34f}.dots i:last-child{background:#58b36b}
.pw-file{font-family:var(--mono);font-size:12px;color:#9a97b6;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.pw-says{margin:0;padding:14px 18px 4px;font-family:var(--prose);font-size:16.5px;line-height:1.5;color:#f2f0fb}
.pw-says::before{content:"In words \2014  ";font-family:var(--ui);font-size:10.5px;font-weight:600;
                 letter-spacing:.1em;text-transform:uppercase;color:#8f8cab}
pre.pw-code{margin:0;background:transparent;border:0;border-radius:0;color:#e8e6f5;
            padding:10px 18px 16px;font-size:12px;line-height:1.65;max-height:320px;overflow:auto;
            white-space:pre;word-break:normal}
.pw-status{display:flex;flex-wrap:wrap;align-items:center;gap:6px 16px;padding:11px 18px;
           background:#100e22;border-top:1px solid #2a2744;font-size:12px}
.pw-ok{display:inline-flex;align-items:center;gap:6px;color:#6fd69a;font-weight:600}
.pw-ax{font-family:var(--mono);font-size:11px;color:#8f8cab}
.pw-status a{margin-left:auto;color:#c9c1ff;font-weight:600;text-decoration:none}
.pw-status a:hover{color:#fff}

/* stats */
.stats-band{background:var(--panel);border-bottom:1px solid var(--rule)}
.stats{display:grid;grid-template-columns:repeat(4,minmax(0,1fr))}
.stat{display:flex;flex-direction:column;gap:2px;padding:26px 22px;border-left:1px solid var(--rule-2)}
.stat:first-child{border-left:0;padding-left:0}
.stat-v{font-family:var(--prose);font-size:40px;font-weight:600;line-height:1.1;
        color:var(--accent);font-variant-numeric:tabular-nums;letter-spacing:-.01em}
.stat-k{font-weight:600;font-size:14px}
.stat-s{font-size:12.5px;color:var(--ink-3)}

/* bands */
.band{padding-block:72px 0}
.band-head{display:flex;flex-direction:column;gap:10px;margin-bottom:28px}
.band-head h2{margin:0;font-family:var(--prose);font-size:clamp(26px,3.2vw,34px);font-weight:600;
              letter-spacing:-.015em;line-height:1.15;max-width:26ch}
.band-note{margin:22px 0 0;padding:14px 18px;border-radius:10px;background:var(--tint);color:var(--ink-2);
           font-size:14.5px;max-width:90ch}

.manifesto{display:grid;grid-template-columns:minmax(0,1.1fr) minmax(0,1fr);gap:48px;align-items:start}
.manifesto blockquote{margin:0;font-family:var(--prose);font-size:clamp(24px,3vw,33px);line-height:1.3;
  font-weight:500;letter-spacing:-.01em;padding-left:24px;border-left:4px solid var(--accent)}
.manifesto-text{display:flex;flex-direction:column;gap:14px}
.manifesto-text p{margin:0;font-family:var(--prose);font-size:17px;line-height:1.65;color:var(--ink-2)}
.manifesto-text a{font-weight:600;text-decoration:none}

.flow{list-style:none;margin:0;padding:0;display:grid;grid-template-columns:repeat(4,minmax(0,1fr));
      gap:14px;counter-reset:none;position:relative}
.flow li{position:relative;background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);
         padding:20px 18px 18px;box-shadow:var(--shadow);display:flex;flex-direction:column;gap:8px}
.flow li:not(:last-child)::after{content:"";position:absolute;top:34px;right:-15px;width:16px;height:2px;
                                 background:var(--accent);opacity:.45}
.step-n{width:30px;height:30px;border-radius:50%;display:grid;place-items:center;
        background:var(--accent-soft);color:var(--accent);font-weight:700;font-size:13px}
.flow h3{margin:0;font-size:16px}
.flow p{margin:0;color:var(--ink-2);font-size:14px;line-height:1.55}

.doms{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}
.dom{background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:18px;
     display:flex;flex-direction:column;gap:10px;min-width:0}
.dom.live{box-shadow:var(--shadow);border-color:color-mix(in srgb,var(--proved) 35%,var(--rule))}
.dom-top{display:flex;gap:6px}
.dom h3{margin:0;font-family:var(--prose);font-size:18.5px;font-weight:600;line-height:1.25}
.dom h3 a{color:var(--ink);text-decoration:none}
.dom h3 a:hover{color:var(--accent)}
.dom p{margin:0;color:var(--ink-2);font-size:13.5px;line-height:1.55;flex:1}
.dom-meter{height:6px;border-radius:3px;background:var(--rule-2);overflow:hidden}
.dom-meter span{display:block;height:100%;border-radius:3px;
                background:linear-gradient(90deg,var(--proved),color-mix(in srgb,var(--proved) 60%,var(--comm)))}
.dom p.dom-n{flex:0;font-size:12.5px;color:var(--ink-3)}
.dom-n strong{color:var(--ink);font-variant-numeric:tabular-nums}

.three{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}
.panel{background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:22px;
       display:flex;flex-direction:column;gap:10px;box-shadow:var(--shadow)}
.panel-n{font-family:var(--mono);font-size:12px;font-weight:700;color:var(--accent)}
.panel h3{margin:0;font-family:var(--prose);font-size:21px;font-weight:600}
.panel p{margin:0;color:var(--ink-2);flex:1}
.panel a{font-weight:600;text-decoration:none}

.split{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:32px;align-items:start}
.split>div{display:flex;flex-direction:column;gap:10px;min-width:0}
.shead{display:flex;align-items:baseline;gap:12px;border-bottom:2px solid var(--ink);padding-bottom:7px;margin-bottom:4px}
.shead h2{margin:0;font-size:19px}
.shead a{margin-left:auto;font-size:13px;font-weight:600;text-decoration:none}
.shead .n{font-size:12px;color:var(--ink-3)}
.empty-card{align-items:flex-start;gap:14px;padding:22px}

.rules-grid{display:grid;grid-template-columns:minmax(0,1.3fr) minmax(0,1fr);gap:14px;align-items:stretch}
.rules{background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:24px 26px}
.rules h2{margin:0 0 12px;font-family:var(--prose);font-size:23px;font-weight:600}
.rules p{margin:0 0 10px;color:var(--ink-2);font-family:var(--prose);font-size:16px;line-height:1.6}
.rules.not{background:var(--tint);border-color:transparent}
.checks{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:10px}
.checks li{position:relative;padding-left:30px;line-height:1.55}
.checks li::before{content:"";position:absolute;left:0;top:2px;width:20px;height:20px;border-radius:50%;
  background:var(--proved) url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 16 16'%3E%3Cpath d='M4 8.3l2.6 2.6L12 5.5' fill='none' stroke='white' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'/%3E%3C/svg%3E") center/14px no-repeat}

.support-band{margin-top:72px;background:linear-gradient(120deg,#2e2380,#4437a6 55%,#1b6a86);color:#fff}
.support{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:24px;padding-block:44px}
.support h2{margin:0 0 8px;font-family:var(--prose);font-size:30px;font-weight:600}
.support p{margin:0;max-width:62ch;color:rgba(255,255,255,.85);font-size:15px}
.support .btn.primary{background:#fff;border-color:#fff;color:#2e2380;box-shadow:none}
.support .btn.primary:hover{background:#ecebfb;color:#2e2380}

/* ------------------------------------------------------------ cards */
.card{background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:14px 16px;
      display:flex;flex-direction:column;gap:8px;min-width:0;transition:border-color .15s,box-shadow .15s}
.card:hover{border-color:color-mix(in srgb,var(--accent) 35%,var(--rule));box-shadow:var(--shadow)}
.card-top{display:flex;flex-wrap:wrap;align-items:baseline;gap:6px 12px;justify-content:space-between}
a.decl,code.decl{font-family:var(--mono);font-size:13.5px;font-weight:600;word-break:break-word}
a.decl{color:var(--ink);text-decoration:none}
a.decl:hover{color:var(--accent)}
.ptitle{font-weight:600;color:var(--ink);text-decoration:none;font-size:15.5px}
.ptitle:hover{color:var(--accent)}
.ptitle .num{color:var(--ink-3);font-variant-numeric:tabular-nums}
.answers{margin:0;font-size:13px}
.answers a.decl{font-size:12.5px;color:var(--accent)}
pre{margin:0;font-family:var(--mono);font-size:12px;line-height:1.6;background:var(--panel-2);
    border:1px solid var(--rule-2);border-radius:8px;padding:10px 12px;overflow-x:auto;
    white-space:pre-wrap;word-break:break-word;color:var(--ink)}
pre.sig{border-left:3px solid var(--proved)}
pre.src{max-height:70vh;overflow:auto}
.lean .lk{color:var(--code-k);font-weight:600}
.lean .lt{color:var(--code-t)}
.lean .lx{color:var(--code-x)}
.lean .lc{color:var(--code-c);font-style:italic}
.lean .ls{color:var(--code-s)}

/* facts (inner pages) */
.facts{display:flex;flex-wrap:wrap;gap:9px}
.fact{background:var(--panel);border:1px solid var(--rule);border-radius:10px;
      padding:10px 15px;display:flex;flex-direction:column;min-width:104px}
.fact .k{font-size:10px;text-transform:uppercase;letter-spacing:.09em;color:var(--ink-3);font-weight:600}
.fact .v{font-size:21px;font-weight:600;font-variant-numeric:tabular-nums}
.fact.hl{border-color:var(--accent)} .fact.hl .v{color:var(--accent)}
.fact.comm .v,.fact.st-formalized .v{color:var(--comm)}
.fact.st-proved .v{color:var(--proved)} .fact.st-stuck .v{color:var(--stuck)}

/* ------------------------------------------------------------ knowledgebase */
.rlayout{display:grid;grid-template-columns:232px minmax(0,1fr);gap:36px;align-items:start}
.rmain{display:flex;flex-direction:column;gap:12px;min-width:0}

/* topic sidebar */
.toc{position:sticky;top:74px;max-height:calc(100vh - 92px);overflow:auto;font-size:13.5px;
     scrollbar-width:thin;padding-bottom:12px}
.toc summary{cursor:pointer;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.1em;
             color:var(--ink-3);padding:4px 0 10px;list-style:none}
.toc summary::-webkit-details-marker{display:none}
.toc ul{list-style:none;margin:0;padding:0}
.toc a{display:flex;justify-content:space-between;gap:8px;padding:4px 10px;border-radius:7px;
       color:var(--ink-2);text-decoration:none;line-height:1.35}
.toc a:hover{background:var(--tint);color:var(--ink)}
.toc a .c{color:var(--ink-3);font-size:12px;font-variant-numeric:tabular-nums}
.toc a.none{opacity:.4}
.toc a.here{background:var(--accent-soft);color:var(--accent);font-weight:600}
.toc a.here .c{color:var(--accent)}
.toc-d{margin-bottom:12px}
.toc-d>a{font-weight:600;color:var(--ink)}
.toc-d ul{margin:2px 0 0 10px;padding-left:4px;border-left:1px solid var(--rule)}

/* toolbar */
.toolbar{position:sticky;top:57px;z-index:5;background:var(--ground);padding-block:10px;
         border-bottom:1px solid var(--rule);display:flex;flex-direction:column;gap:9px}
.search{position:relative}
#q{width:100%;font:inherit;font-size:15px;color:var(--ink);background:var(--panel);
   border:1px solid var(--rule);border-radius:10px;padding:10px 40px 10px 14px}
#q:focus{outline:none;border-color:var(--accent);box-shadow:0 0 0 3px var(--accent-soft)}
.search kbd{position:absolute;right:10px;top:50%;transform:translateY(-50%);font-family:var(--mono);
            font-size:11px;color:var(--ink-3);border:1px solid var(--rule);border-radius:5px;padding:1px 6px;
            background:var(--panel-2);pointer-events:none}
#q:focus+kbd{display:none}
.controls{display:flex;flex-wrap:wrap;align-items:center;gap:8px 12px}
.seg{display:inline-flex;background:var(--panel);border:1px solid var(--rule);border-radius:9px;padding:2px}
.seg button{font:inherit;font-size:13px;font-weight:500;color:var(--ink-2);background:transparent;border:0;
            border-radius:7px;padding:5px 11px;cursor:pointer}
.seg button:hover{color:var(--ink)}
.seg button[aria-pressed="true"]{background:var(--accent);color:var(--on-accent)}
.toolbar select{font:inherit;font-size:13px;color:var(--ink);background:var(--panel);
                border:1px solid var(--rule);border-radius:9px;padding:6px 10px;max-width:100%;cursor:pointer}
.switch{display:inline-flex;align-items:center;gap:7px;font-size:13px;color:var(--ink-2);cursor:pointer;
        user-select:none}
.switch input{accent-color:var(--accent);width:15px;height:15px;margin:0;cursor:pointer}
.rcount{margin:0;display:flex;align-items:baseline;gap:12px;font-size:12.5px;color:var(--ink-3);
        font-variant-numeric:tabular-nums}
.linkish{font:inherit;font-size:12.5px;font-weight:600;color:var(--accent);background:none;border:0;
         padding:0;cursor:pointer;text-decoration:underline;text-underline-offset:2px}

/* the list */
#grouped{display:flex;flex-direction:column;gap:40px}
.flat{display:flex;flex-direction:column;gap:9px}
.domain,.topic{scroll-margin-top:170px}
.rlist:not(.show-lean) .sig{display:none}
.rlist.grouped .m-topic{display:none}
.entry{position:relative}
.entry .card-top{align-items:center}
a.stretch::after{content:"";position:absolute;inset:0;border-radius:var(--radius)}
.entry:hover a.decl{color:var(--accent)}
/* the signature sits above the card's link so it can be selected and copied */
.entry .sig{position:relative;z-index:1;cursor:text}
.entry .prose{font-size:16.5px}
.meta{margin:0;display:flex;flex-wrap:wrap;gap:2px 0;font-size:12.5px;color:var(--ink-3)}
.meta>span+span::before{content:"\00B7";padding-inline:7px;opacity:.6}
.rlist.grouped .m-topic+span::before{content:none}
.m-topic{color:var(--ink-2);font-weight:600}
.m-src{max-width:52ch;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.dhead{display:flex;align-items:baseline;gap:10px;border-bottom:2px solid var(--ink);padding-bottom:7px}
.dhead h2{margin:0;font-family:var(--prose);font-size:26px;font-weight:600}
.dhead .n{font-size:12px;color:var(--ink-3)}
.lede{margin:10px 0 0;color:var(--ink-2);font-family:var(--prose);font-size:16px;max-width:70ch}
.topic{margin-top:22px;display:flex;flex-direction:column;gap:9px}
.thead{display:flex;flex-wrap:wrap;align-items:center;gap:10px}
.meter{flex:0 0 80px;height:5px;border-radius:3px;background:var(--rule);overflow:hidden}
.meter span{display:block;height:100%;background:var(--proved)}
.tnum{font-size:11.5px;color:var(--ink-3);font-variant-numeric:tabular-nums}
.ack{border-top:2px solid var(--grant);padding-top:16px;display:flex;flex-direction:column;gap:10px}
.ack h2{margin:0}
.grants{margin:0;padding-left:18px}
.grants .name{font-family:var(--prose);font-weight:600;font-size:17px}

/* ------------------------------------------------------------ detail pages */
.crumbs{font-size:13px;color:var(--ink-3)}
.crumbs a{color:var(--ink-2);text-decoration:none}
.crumbs a:hover{color:var(--accent)}
.reading{background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:15px 17px;
         display:flex;flex-direction:column;gap:8px}
.steps{margin:0;padding-left:22px;display:flex;flex-direction:column;gap:14px}
.steps .claim{margin:0;font-family:var(--prose);font-size:16px;font-weight:600;max-width:70ch}
.steps .why{margin:3px 0 6px;font-family:var(--prose);font-size:15px;color:var(--ink-2);max-width:70ch}
.steps .uses{margin:0 0 6px;font-size:12px;color:var(--ink-3)}
.steps .auto{font-size:10px;text-transform:uppercase;letter-spacing:.07em;color:var(--ink-3);margin-left:6px}
.gloss{margin:0;display:grid;grid-template-columns:max-content minmax(0,1fr);gap:4px 14px;font-size:14px}
.gloss dd{margin:0;font-family:var(--prose)}
.caveats{margin:0;padding-left:18px;color:var(--ink-2);font-size:14px}
.disclaim{margin:0;font-size:12px;font-style:italic;color:var(--ink-3);max-width:76ch}
.kv{margin:0;display:grid;grid-template-columns:max-content minmax(0,1fr);gap:9px 20px;
    background:var(--panel);border:1px solid var(--rule);border-radius:var(--radius);padding:16px 18px;font-size:14px}
.kv dt{color:var(--ink-3);font-weight:600;font-size:11.5px;text-transform:uppercase;letter-spacing:.07em;padding-top:2px}
.kv dd{margin:0;min-width:0;word-break:break-word}
.kv a.decl{font-size:12.5px;color:var(--accent);font-weight:500}
.ax{display:inline-flex;flex-wrap:wrap;gap:5px}
.ax code{font-size:11px;padding:2px 8px;border-radius:999px;border:1px solid var(--rule)}
.ax code.ok{color:var(--proved);border-color:var(--proved)}
.ax code.bad{color:var(--bad);border-color:var(--bad)}
.codebox{position:relative}
.copy{position:absolute;top:7px;right:7px;z-index:1;font:inherit;font-size:11.5px;font-weight:600;
      color:var(--ink-2);background:var(--panel);border:1px solid var(--rule);border-radius:7px;
      padding:3px 9px;cursor:pointer;opacity:.75}
.codebox:hover .copy,.copy:focus-visible{opacity:1}
.copy:hover{color:var(--accent);border-color:var(--accent)}
.codebox pre{padding-right:64px}
.kv dt .c{color:var(--ink-3);font-weight:500;margin-left:2px}
.rel{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:7px}
.rel li{display:flex;flex-direction:column;gap:1px}
.rel-w{font-family:var(--prose);font-size:14.5px;color:var(--ink-2);line-height:1.45}
.reading code{font-size:.82em;padding:0 3px;border-radius:4px;background:var(--panel-2)}
.pager{display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);gap:12px;align-items:center;
       border-top:1px solid var(--rule);padding-top:18px;margin-top:6px}
.pager a{display:flex;flex-direction:column;gap:2px;padding:10px 14px;border:1px solid var(--rule);
         border-radius:10px;background:var(--panel);text-decoration:none;color:var(--ink);min-width:0}
.pager a:hover{border-color:var(--accent);color:var(--accent)}
.pager .mono{font-family:var(--mono);font-size:13px;font-weight:600;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.pager .next{text-align:right}
.pager .pos{text-align:center}
.list{margin:0;padding-left:18px;display:flex;flex-direction:column;gap:6px}
.pgroup{display:flex;flex-direction:column;gap:10px}
details.declined summary{cursor:pointer;font-weight:600;color:var(--ink-2)}
details.declined[open]{display:flex;flex-direction:column;gap:8px}

/* ------------------------------------------------------------ submit */
.doc{max-width:76ch;display:flex;flex-direction:column;gap:12px}
.doc h2{font-family:var(--prose);font-size:24px;font-weight:600;margin-top:18px}
.doc p,.doc li{font-family:var(--prose);font-size:17px;line-height:1.65}
.doc p{margin:0}
.doc ul,.doc ol{margin:0;padding-left:22px;display:flex;flex-direction:column;gap:8px}
.doc li code,.doc p code{font-size:.8em}

/* ------------------------------------------------------------ layout safety */
/* A flex item is as wide as its widest unbreakable content unless told
   otherwise; one long formula or identifier must not widen the page. */
main.wrap>*,.pgroup>*,.split>div>*,.topic>*,.domain>*,.hero-grid>*{min-width:0}
.card .prose,.math{overflow-wrap:anywhere}
.katex-display{overflow-x:auto;overflow-y:hidden}

/* ------------------------------------------------------------ responsive */
@media (max-width:1000px){
  .brand-full{display:none}
  .hero-grid{grid-template-columns:minmax(0,1fr);gap:36px;padding-block:44px 52px}
  .flow{grid-template-columns:repeat(2,minmax(0,1fr))}
  .flow li:not(:last-child)::after{display:none}
  .doms{grid-template-columns:repeat(2,minmax(0,1fr))}
  .manifesto{grid-template-columns:minmax(0,1fr);gap:24px}
}
@media (max-width:900px){
  .rlayout{grid-template-columns:minmax(0,1fr);gap:14px}
  .toc{position:static;max-height:none;background:var(--panel);border:1px solid var(--rule);
       border-radius:var(--radius);padding:4px 14px}
  .toc summary{padding:10px 0;font-size:12px}
  .toc summary::after{content:" \25BE"}
  .toc details[open] summary::after{content:" \25B4"}
  .toc nav{padding-bottom:10px}
}
@media (max-width:860px){
  .three,.split,.rules-grid{grid-template-columns:minmax(0,1fr)}
  .stats{grid-template-columns:repeat(2,minmax(0,1fr))}
  .stat:nth-child(3){border-left:0;padding-left:0}
  .stat{border-top:1px solid var(--rule-2)}
  .stat:nth-child(-n+2){border-top:0}
  .foot-grid{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}
  .foot-id{grid-column:1/-1}
  .band{padding-top:52px}
}
@media (max-width:560px){
  .wrap,.bar-in{padding-inline:16px}
  header.site{position:static}
  .toolbar{top:0}
  .m-src{max-width:100%}
  .pager{grid-template-columns:minmax(0,1fr) minmax(0,1fr)}
  .pager .pos{display:none}
  header.site nav{margin-left:0;width:100%}
  .flow,.doms{grid-template-columns:minmax(0,1fr)}
  .stat{padding:18px 14px}
  .stat-v{font-size:32px}
  .kv,.gloss{grid-template-columns:minmax(0,1fr)}
  .kv dd{margin-bottom:6px}
  .phead h1{font-size:30px}
}
@media (prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}