.proof-lead[data-astro-cid-vjna5mbx]{color:var(--ink);margin:0 0 var(--sp-24);font-size:1.15rem;font-weight:700}.viz-grid[data-astro-cid-vjna5mbx]{gap:var(--sp-20);grid-template-columns:repeat(3,minmax(0,1fr));display:grid}.viz[data-astro-cid-vjna5mbx]{border-radius:var(--radius);padding:var(--sp-24);gap:var(--sp-12);background:#f4f3fe;flex-direction:column;display:flex}.viz[data-astro-cid-vjna5mbx].wide{grid-column:span 2;justify-content:center}.viz[data-astro-cid-vjna5mbx].full{grid-column:1/-1}.viz[data-astro-cid-vjna5mbx] header[data-astro-cid-vjna5mbx] small[data-astro-cid-vjna5mbx]{color:var(--muted);font-size:.85rem;font-weight:700;display:block}.viz[data-astro-cid-vjna5mbx] header[data-astro-cid-vjna5mbx] h3[data-astro-cid-vjna5mbx]{margin:4px 0 0;font-size:1.12rem;font-weight:800}.viz[data-astro-cid-vjna5mbx] svg[data-astro-cid-vjna5mbx]{width:100%;height:auto;max-height:76px;display:block;overflow:visible}.vals[data-astro-cid-vjna5mbx]{justify-content:space-between;align-items:baseline;gap:var(--sp-16);color:var(--muted);flex-wrap:wrap;font-size:.95rem;display:flex}.vals[data-astro-cid-vjna5mbx] b[data-astro-cid-vjna5mbx]{letter-spacing:-.02em;margin-left:4px;font-size:1.25rem;font-weight:800}.vals[data-astro-cid-vjna5mbx] .b[data-astro-cid-vjna5mbx] b[data-astro-cid-vjna5mbx]{color:var(--c500)}.vals[data-astro-cid-vjna5mbx] .a[data-astro-cid-vjna5mbx] b[data-astro-cid-vjna5mbx]{color:var(--ink)}.gain[data-astro-cid-vjna5mbx]{padding-top:var(--sp-12);border-top:1px solid var(--line);color:var(--ink-2);margin:auto 0 0;font-size:1rem;font-weight:700}.scale[data-astro-cid-vjna5mbx]{margin-top:calc(var(--sp-8) * -1);color:var(--muted);justify-content:space-between;padding:0 1%;font-size:.82rem;font-weight:600;display:flex}sup[data-astro-cid-vjna5mbx]{color:var(--muted);vertical-align:super;margin-left:.15em;font-size:.6em;font-weight:700}.axis[data-astro-cid-vjna5mbx]{stroke:var(--c400);stroke-width:1px}.tick[data-astro-cid-vjna5mbx]{stroke:var(--c300);stroke-width:1px}.track[data-astro-cid-vjna5mbx]{fill:#fff}.bar[data-astro-cid-vjna5mbx].before{fill:var(--c200)}.bar[data-astro-cid-vjna5mbx].after{fill:#3b1f9e}.band[data-astro-cid-vjna5mbx]{fill:var(--c400);opacity:.55}.band-hi[data-astro-cid-vjna5mbx]{fill:#3b1f9e}.ping[data-astro-cid-vjna5mbx]{fill:none;stroke:#3b1f9e;stroke-width:1.5px;opacity:0;transform-box:fill-box;transform-origin:50%}.link[data-astro-cid-vjna5mbx]{stroke:var(--c300);stroke-width:1px}.person[data-astro-cid-vjna5mbx]{fill:var(--c400)}.dot[data-astro-cid-vjna5mbx]{fill:#3b1f9e;opacity:.85}.node[data-astro-cid-vjna5mbx]{fill:#3b1f9e}.node-ring[data-astro-cid-vjna5mbx]{fill:none;stroke:#3b1f9e;stroke-width:1px;opacity:.25}.node-t[data-astro-cid-vjna5mbx]{fill:#fff;font-size:15px;font-weight:800;font-family:var(--sans)}.idx-rows[data-astro-cid-vjna5mbx]{gap:var(--sp-12);display:grid}.idx-row[data-astro-cid-vjna5mbx]{align-items:center;gap:var(--sp-16);grid-template-columns:3.5em 1fr 6em;display:grid}.idx-row[data-astro-cid-vjna5mbx] svg[data-astro-cid-vjna5mbx]{height:24px}.idx-k[data-astro-cid-vjna5mbx]{color:var(--ink-2);font-weight:700}.idx-v[data-astro-cid-vjna5mbx]{text-align:right;color:var(--muted);font-size:.95rem}.idx-v[data-astro-cid-vjna5mbx] b[data-astro-cid-vjna5mbx]{color:var(--ink);font-size:1.25rem;font-weight:800}.bar[data-astro-cid-vjna5mbx],.band[data-astro-cid-vjna5mbx],.band-hi[data-astro-cid-vjna5mbx]{transform-box:fill-box;transform-origin:0}.bar[data-astro-cid-vjna5mbx].from-right{transform-origin:100%}.band-hi[data-astro-cid-vjna5mbx]{transform-origin:50%}.dot[data-astro-cid-vjna5mbx]{transform-box:fill-box;transform-origin:50%}.armed[data-astro-cid-vjna5mbx] .bar[data-astro-cid-vjna5mbx],.armed[data-astro-cid-vjna5mbx] .band[data-astro-cid-vjna5mbx],.armed[data-astro-cid-vjna5mbx] .band-hi[data-astro-cid-vjna5mbx]{transform:scaleX(0)}.armed[data-astro-cid-vjna5mbx] .node[data-astro-cid-vjna5mbx],.armed[data-astro-cid-vjna5mbx] .node-ring[data-astro-cid-vjna5mbx],.armed[data-astro-cid-vjna5mbx] .node-t[data-astro-cid-vjna5mbx]{opacity:0}.armed[data-astro-cid-vjna5mbx] .link[data-astro-cid-vjna5mbx]{stroke-dasharray:1;stroke-dashoffset:1px}.armed[data-astro-cid-vjna5mbx] .person[data-astro-cid-vjna5mbx]{opacity:.25}.armed[data-astro-cid-vjna5mbx] .dot[data-astro-cid-vjna5mbx]{opacity:0;transform:scale(.3)}.play[data-astro-cid-vjna5mbx] .bar[data-astro-cid-vjna5mbx],.play[data-astro-cid-vjna5mbx] .band[data-astro-cid-vjna5mbx],.play[data-astro-cid-vjna5mbx] .band-hi[data-astro-cid-vjna5mbx]{transition:transform 1s cubic-bezier(.16,1,.3,1);transform:scaleX(1)}.play[data-astro-cid-vjna5mbx] .bar[data-astro-cid-vjna5mbx].before{transition-delay:.1s}.play[data-astro-cid-vjna5mbx] .band[data-astro-cid-vjna5mbx]{transition-delay:.5s}.play[data-astro-cid-vjna5mbx] .band-hi[data-astro-cid-vjna5mbx]{transition-delay:.3s}.play[data-astro-cid-vjna5mbx] .bar[data-astro-cid-vjna5mbx].after{transition-delay:.7s}.play[data-astro-cid-vjna5mbx] .link[data-astro-cid-vjna5mbx]{stroke-dashoffset:0;transition:stroke-dashoffset .9s cubic-bezier(.65, 0, .35, 1) calc(var(--i) * 30ms + .2s)}.play[data-astro-cid-vjna5mbx] .person[data-astro-cid-vjna5mbx]{opacity:1;transition:opacity .4s ease calc(var(--i) * 30ms)}.play[data-astro-cid-vjna5mbx] .node[data-astro-cid-vjna5mbx],.play[data-astro-cid-vjna5mbx] .node-t[data-astro-cid-vjna5mbx]{opacity:1;transition:opacity .4s 1.2s}.play[data-astro-cid-vjna5mbx] .node-ring[data-astro-cid-vjna5mbx]{opacity:.25;transition:opacity .4s 1.3s}.play[data-astro-cid-vjna5mbx] .dot[data-astro-cid-vjna5mbx]{opacity:.85;transition:opacity .35s ease calc(var(--i) * 18ms), transform .35s ease calc(var(--i) * 18ms);transform:none}.play[data-astro-cid-vjna5mbx] .ping[data-astro-cid-vjna5mbx]{animation:1.8s ease-out 1.6s 2 ping}@keyframes ping{0%{opacity:.6;transform:scale(.6)}to{opacity:0;transform:scale(2.2)}}.proof-notes[data-astro-cid-vjna5mbx]{margin:var(--sp-24) 0 0;color:var(--muted);padding-left:1.2rem;font-size:.86rem}.proof-notes[data-astro-cid-vjna5mbx] li[data-astro-cid-vjna5mbx]{margin-bottom:4px}.proof-notes[data-astro-cid-vjna5mbx] a[data-astro-cid-vjna5mbx]{color:var(--muted)}@media (width<=1100px){.viz-grid[data-astro-cid-vjna5mbx]{grid-template-columns:repeat(2,minmax(0,1fr))}.viz[data-astro-cid-vjna5mbx].wide,.viz[data-astro-cid-vjna5mbx].full{grid-column:1/-1}}@media (width<=820px){.viz-grid[data-astro-cid-vjna5mbx]{grid-template-columns:1fr}.viz[data-astro-cid-vjna5mbx].wide,.viz[data-astro-cid-vjna5mbx].full{grid-column:auto}}