.proof[data-astro-cid-pahtsk7f]{max-width:72ch}.proof[data-astro-cid-pahtsk7f] h1[data-astro-cid-pahtsk7f]{font-size:clamp(1.9rem,5vw,2.4rem);margin:.4rem 0 0}.proof[data-astro-cid-pahtsk7f] h2[data-astro-cid-pahtsk7f]{font-family:var(--sans);font-size:1.3rem;letter-spacing:-.005em;margin:2.8rem 0 .8rem;padding-bottom:.4rem;border-bottom:2px solid var(--ink)}.proof[data-astro-cid-pahtsk7f] h3[data-astro-cid-pahtsk7f]{font-family:var(--sans);font-size:1.08rem;margin:0}.proof[data-astro-cid-pahtsk7f] h3[data-astro-cid-pahtsk7f].grp{margin-top:2.2rem}.proof[data-astro-cid-pahtsk7f] h4[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.72rem;font-weight:700;text-transform:uppercase;letter-spacing:.13em;color:var(--ink-soft);margin:1.1rem 0 .1rem}.proof[data-astro-cid-pahtsk7f] p[data-astro-cid-pahtsk7f]{margin:0 0 1rem}.proof[data-astro-cid-pahtsk7f] code[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.86em;background:var(--paper-2);padding:.08em .32em;border-radius:2px}.hero[data-astro-cid-pahtsk7f]{padding-bottom:1.6rem;border-bottom:1px solid var(--rule);margin-bottom:.6rem}.standfirst[data-astro-cid-pahtsk7f]{font-size:1.08rem;margin:.8rem 0 1rem}.note[data-astro-cid-pahtsk7f]{font-size:.94rem;color:var(--ink-soft);border-left:2px solid var(--rule-strong);padding-left:1rem;margin:1rem 0 0}.docline[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.74rem;text-transform:uppercase;letter-spacing:.12em;color:var(--ink-soft);margin:1rem 0 0}.warrants[data-astro-cid-pahtsk7f]{display:grid;gap:.75rem;grid-template-columns:repeat(auto-fit,minmax(15rem,1fr))}.w[data-astro-cid-pahtsk7f]{font-size:.9rem;line-height:1.5;padding:.85rem 1rem;background:var(--card);border-left:3px solid var(--rule-strong);color:var(--ink-soft)}.w[data-astro-cid-pahtsk7f] strong[data-astro-cid-pahtsk7f]{display:block;color:var(--ink);font-size:.7rem;font-family:var(--mono);text-transform:uppercase;letter-spacing:.13em;margin-bottom:.3rem}.w-d[data-astro-cid-pahtsk7f]{border-left-color:var(--ink)}.w-v[data-astro-cid-pahtsk7f]{border-left-color:var(--stamp)}.res[data-astro-cid-pahtsk7f]{background:var(--card);border:1px solid var(--rule);border-top:2px solid var(--ink);padding:1.2rem 1.2rem 1rem;margin:1.4rem 0}.rhead[data-astro-cid-pahtsk7f]{display:flex;align-items:center;gap:.7rem;flex-wrap:wrap;margin-bottom:.5rem}.rnum[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.74rem;font-weight:700;text-transform:uppercase;letter-spacing:.14em}.chip-p[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.62rem;font-weight:700;letter-spacing:.14em;padding:.22rem .5rem;border-radius:2px;line-height:1;border:1.5px solid transparent}.chip-d[data-astro-cid-pahtsk7f]{background:var(--ink);color:var(--paper)}.chip-v[data-astro-cid-pahtsk7f]{background:var(--stamp);color:var(--paper)}.chip-s[data-astro-cid-pahtsk7f]{border-color:var(--rule-strong);color:var(--ink-soft)}.res[data-astro-cid-pahtsk7f] h3[data-astro-cid-pahtsk7f]+p[data-astro-cid-pahtsk7f]{margin-top:.5rem}.stmt[data-astro-cid-pahtsk7f]{font-size:1.02rem;color:var(--ink);padding:.6rem .9rem;background:var(--paper-2);border-left:3px solid var(--ink);margin:.6rem 0}.hyp[data-astro-cid-pahtsk7f]{font-size:.92rem;color:var(--ink-soft)}.qed[data-astro-cid-pahtsk7f]{font-weight:700}.rests[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.7rem;text-transform:uppercase;letter-spacing:.1em;color:var(--ink-soft);border-top:1px solid var(--rule);padding-top:.6rem;margin-top:.4rem}.ver[data-astro-cid-pahtsk7f]{background:var(--paper-2);padding:.7rem .9rem .3rem;margin:.6rem 0}.ver[data-astro-cid-pahtsk7f] h4[data-astro-cid-pahtsk7f]{margin-top:0}.vnote[data-astro-cid-pahtsk7f]{font-size:.92rem;color:var(--ink-soft)}.ver[data-astro-cid-pahtsk7f] .vnote[data-astro-cid-pahtsk7f]{margin-bottom:.7rem}pre[data-astro-cid-pahtsk7f].alg{font-family:var(--mono);font-size:.82rem;line-height:1.7;background:var(--paper-2);border:1px solid var(--rule);padding:.9rem 1rem;overflow-x:auto;margin:.2rem 0 1rem}pre[data-astro-cid-pahtsk7f].alg .gl[data-astro-cid-pahtsk7f]{color:var(--ink-soft)}.tw[data-astro-cid-pahtsk7f]{overflow-x:auto;border:1px solid var(--rule);background:var(--card);margin:.4rem 0 1rem}.proof[data-astro-cid-pahtsk7f] table[data-astro-cid-pahtsk7f]{border-collapse:collapse;width:100%;font-size:.86rem;font-variant-numeric:tabular-nums}.proof[data-astro-cid-pahtsk7f] th[data-astro-cid-pahtsk7f]{font-family:var(--mono);font-size:.66rem;text-transform:uppercase;letter-spacing:.11em;color:var(--ink-soft);text-align:left;padding:.6rem .8rem;background:var(--paper-2);border-bottom:1px solid var(--rule);white-space:nowrap}.proof[data-astro-cid-pahtsk7f] td[data-astro-cid-pahtsk7f]{padding:.55rem .8rem;border-bottom:1px solid var(--rule);color:var(--ink-soft);vertical-align:top}.proof[data-astro-cid-pahtsk7f] td[data-astro-cid-pahtsk7f]:first-child{color:var(--ink)}.proof[data-astro-cid-pahtsk7f] td[data-astro-cid-pahtsk7f]:not(:first-child){font-family:var(--mono);font-size:.8rem;white-space:nowrap}.proof[data-astro-cid-pahtsk7f] tbody[data-astro-cid-pahtsk7f] tr[data-astro-cid-pahtsk7f]:last-child td[data-astro-cid-pahtsk7f]{border-bottom:none}.close[data-astro-cid-pahtsk7f]{font-size:1.02rem;color:var(--ink);border-top:2px solid var(--ink);padding-top:1.2rem;margin-top:1.6rem}