.ramsey-proof[data-astro-cid-ohmza5uy]{--rp-blue:#087dcc;--rp-green:#4f9300;--rp-pink:#d9007e;background:radial-gradient(circle at 12% 8%, color-mix(in srgb, var(--rp-blue) 10%, transparent), transparent 25rem), var(--surface-color);border:1px solid var(--border-color);font-family:var(--font-sans);border-radius:12px;width:min(1040px,100vw - 3rem);margin:2.5rem 50%;padding:clamp(1rem,3vw,1.5rem);transform:translate(-50%)}[data-theme=dark] .ramsey-proof[data-astro-cid-ohmza5uy]{--rp-blue:#1493ff;--rp-green:#93ff14;--rp-pink:#ff1493}header[data-astro-cid-ohmza5uy]>p[data-astro-cid-ohmza5uy],.eyebrow[data-astro-cid-ohmza5uy]{color:var(--link-color);letter-spacing:.12em;text-transform:uppercase;margin:0 0 .2rem;font-size:.67rem;font-weight:800}h3[data-astro-cid-ohmza5uy]{font-family:var(--font-serif);margin:0 0 1rem;font-size:clamp(1.25rem,3vw,1.7rem)}.proof-grid[data-astro-cid-ohmza5uy]{grid-template-columns:minmax(0,1.7fr) minmax(230px,.9fr);gap:1rem;display:grid}.diagram-shell[data-astro-cid-ohmza5uy]{background:var(--bg-color);border:1px solid var(--border-color);border-radius:9px;overflow:hidden}svg[data-astro-cid-ohmza5uy]{width:100%;height:auto;display:block}svg[data-astro-cid-ohmza5uy] text[data-astro-cid-ohmza5uy]{fill:var(--text-secondary);font-family:var(--font-sans)}.edge[data-astro-cid-ohmza5uy]{stroke:var(--text-secondary);stroke-width:2px;opacity:.16;transition:opacity .2s,stroke .2s,stroke-width .2s}.person[data-astro-cid-ohmza5uy] circle[data-astro-cid-ohmza5uy]{fill:var(--surface-color);stroke:var(--border-color);stroke-width:2px}.person[data-astro-cid-ohmza5uy] text[data-astro-cid-ohmza5uy]{fill:var(--text-primary);font-size:22px;font-weight:850}.pivot[data-astro-cid-ohmza5uy] circle[data-astro-cid-ohmza5uy]{stroke:var(--rp-green);stroke-width:4px}.legend[data-astro-cid-ohmza5uy]{opacity:0;transition:opacity .2s}.legend[data-astro-cid-ohmza5uy] text[data-astro-cid-ohmza5uy]{font-size:13px}.friend-sample[data-astro-cid-ohmza5uy]{stroke:var(--rp-pink);stroke-width:5px}.stranger-sample[data-astro-cid-ohmza5uy]{stroke:var(--rp-blue);stroke-dasharray:9 7;stroke-width:5px}.unknown-sample[data-astro-cid-ohmza5uy]{stroke:var(--text-secondary);stroke-width:2px;opacity:.4}[data-astro-cid-ohmza5uy][data-current-stage="0"] .spoke[data-astro-cid-ohmza5uy]{opacity:.75;stroke:var(--rp-green);stroke-width:4px}[data-astro-cid-ohmza5uy][data-current-stage="1"] .legend[data-astro-cid-ohmza5uy],[data-astro-cid-ohmza5uy][data-current-stage="2"] .legend[data-astro-cid-ohmza5uy],[data-astro-cid-ohmza5uy][data-current-stage="3"] .legend[data-astro-cid-ohmza5uy]{opacity:1}[data-astro-cid-ohmza5uy][data-current-stage="1"] .chosen-friend[data-astro-cid-ohmza5uy],[data-astro-cid-ohmza5uy][data-current-stage="2"] .chosen-friend[data-astro-cid-ohmza5uy],[data-astro-cid-ohmza5uy][data-current-stage="3"] .chosen-friend[data-astro-cid-ohmza5uy]{opacity:1;stroke:var(--rp-pink);stroke-width:5px}[data-astro-cid-ohmza5uy][data-current-stage="1"] [data-astro-cid-ohmza5uy][data-edge=AE],[data-astro-cid-ohmza5uy][data-current-stage="1"] [data-astro-cid-ohmza5uy][data-edge=AF],[data-astro-cid-ohmza5uy][data-current-stage="2"] [data-astro-cid-ohmza5uy][data-edge=AE],[data-astro-cid-ohmza5uy][data-current-stage="2"] [data-astro-cid-ohmza5uy][data-edge=AF],[data-astro-cid-ohmza5uy][data-current-stage="3"] [data-astro-cid-ohmza5uy][data-edge=AE],[data-astro-cid-ohmza5uy][data-current-stage="3"] [data-astro-cid-ohmza5uy][data-edge=AF]{opacity:.72;stroke:var(--rp-blue);stroke-dasharray:9 7;stroke-width:4px}[data-astro-cid-ohmza5uy][data-current-stage="2"] [data-astro-cid-ohmza5uy][data-edge=AB],[data-astro-cid-ohmza5uy][data-current-stage="2"] [data-astro-cid-ohmza5uy][data-edge=AC],[data-astro-cid-ohmza5uy][data-current-stage="2"] [data-astro-cid-ohmza5uy][data-edge=BC]{filter:url(#ramsey-glow);opacity:1;stroke:var(--rp-pink);stroke-dasharray:none;stroke-width:7px}[data-astro-cid-ohmza5uy][data-current-stage="3"] .chosen-friend[data-astro-cid-ohmza5uy]{opacity:.35}[data-astro-cid-ohmza5uy][data-current-stage="3"] .inner-edge[data-astro-cid-ohmza5uy]{filter:url(#ramsey-glow);opacity:1;stroke:var(--rp-blue);stroke-dasharray:12 8;stroke-width:7px}.argument-panel[data-astro-cid-ohmza5uy]{background:color-mix(in srgb, var(--bg-color) 85%, transparent);border:1px solid var(--border-color);border-radius:9px;padding:1rem}.argument-panel[data-astro-cid-ohmza5uy] ol[data-astro-cid-ohmza5uy]{margin:.7rem 0 0;padding:0;list-style:none}.argument-panel[data-astro-cid-ohmza5uy] li[data-astro-cid-ohmza5uy]{border-left:2px solid var(--border-color);color:var(--text-secondary);opacity:.45;margin:0;padding:.45rem 0 .7rem .8rem}.argument-panel[data-astro-cid-ohmza5uy] li[data-astro-cid-ohmza5uy].active{border-left-color:var(--rp-green);color:var(--text-primary);opacity:1}.argument-panel[data-astro-cid-ohmza5uy] strong[data-astro-cid-ohmza5uy],.argument-panel[data-astro-cid-ohmza5uy] span[data-astro-cid-ohmza5uy]{display:block}.argument-panel[data-astro-cid-ohmza5uy] strong[data-astro-cid-ohmza5uy]{font-size:.88rem}.argument-panel[data-astro-cid-ohmza5uy] span[data-astro-cid-ohmza5uy]{margin-top:.22rem;font-size:.78rem;line-height:1.45}.controls[data-astro-cid-ohmza5uy]{grid-template-columns:repeat(4,1fr);gap:.55rem;margin-top:1rem;display:grid}button[data-astro-cid-ohmza5uy]{background:var(--bg-color);border:1px solid var(--border-color);color:var(--text-primary);cursor:pointer;font:700 .78rem/1.2 var(--font-sans);border-radius:999px;min-height:2.6rem;padding:.55rem .7rem}button[data-astro-cid-ohmza5uy]:hover{border-color:var(--rp-blue)}button[data-astro-cid-ohmza5uy]:focus-visible{outline:3px solid color-mix(in srgb, var(--rp-blue) 45%, transparent);outline-offset:2px}button[data-astro-cid-ohmza5uy].active{background:var(--rp-green);border-color:var(--rp-green);color:#071109}.readout[data-astro-cid-ohmza5uy]{background:var(--bg-color);border-left:3px solid var(--rp-green);color:var(--text-primary);min-height:3.5rem;margin:.85rem 0 0;padding:.7rem .85rem;font-size:.9rem;line-height:1.55}figcaption[data-astro-cid-ohmza5uy]{color:var(--text-secondary);margin-top:.85rem;font-size:.78rem;line-height:1.55}@media (width<=760px){.proof-grid[data-astro-cid-ohmza5uy]{grid-template-columns:1fr}.controls[data-astro-cid-ohmza5uy]{grid-template-columns:1fr 1fr}}@media (width<=460px){.controls[data-astro-cid-ohmza5uy]{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){.edge[data-astro-cid-ohmza5uy],.legend[data-astro-cid-ohmza5uy]{transition:none}}