@layer lab-base{math{vertical-align:middle;font-family:STIX Two Math,Cambria Math,math}math msqrt mn{transform:translateY(.14em)}.numsets{place-items:center;padding:8px;display:grid}.ring{border:1px solid var(--line-strong);background:#fff;border-radius:18px;width:100%;padding:34px 18px 18px;transition:border-color .2s,background .2s,box-shadow .2s;position:relative}.ring+.ring{margin-top:0}.ring>.ring{margin-top:14px}.ring>.rlabel{font-family:var(--mono);color:var(--muted);letter-spacing:.3px;font-size:12.5px;font-weight:600;position:absolute;top:8px;left:14px}.ring.r-real{border-color:#d9c9b0}.ring.r-irr{border-style:dashed;border-color:var(--accent-line);min-height:54px;margin:14px 0 0;padding:30px 14px 12px}.ring.lit{border-color:var(--accent);background:var(--accent-soft);box-shadow:0 0 0 3px var(--accent-pale)}.ring.lit>.rlabel{color:var(--accent-deep)}.slot{flex-wrap:wrap;align-items:center;gap:8px;min-height:30px;display:flex}.token{font-family:var(--mono);color:#fff;background:var(--accent);border:1px solid var(--accent-press);border-radius:8px;padding:3px 12px;font-size:16px;font-weight:600;animation:.35s both vega-pop}.numchips{flex-wrap:wrap;gap:8px;display:flex}.numchip{font-family:var(--mono);border:1px solid var(--line-strong);color:var(--ink);border-radius:var(--radius-sm);cursor:pointer;background:#fff;padding:6px 13px;font-size:15px;font-weight:600;transition:transform .12s,box-shadow .12s,color .12s,border-color .12s}.numchip:hover{color:var(--accent);border-color:var(--accent)}.numchip.on{background:var(--accent);border-color:var(--accent-press);color:#fff}.ldwrap{flex-wrap:wrap;align-items:flex-start;gap:26px;display:flex}.ldquot{font-family:var(--mono);color:var(--ink);letter-spacing:1px;word-break:break-all;font-size:30px;font-weight:600;line-height:1.4}.ldquot .int{color:var(--muted)}.ldquot .dot{color:var(--accent)}.ldquot .d{border-radius:4px;padding:0 1px;transition:color .15s,background .15s}.ldquot .d.new{background:var(--hi);color:var(--ink)}.ldquot .cyc{border-top:3px solid var(--accent);color:var(--accent-deep);padding:0 2px}.ldsteps{border-collapse:collapse;font-family:var(--mono);min-width:240px;font-size:13px}.ldsteps th{text-transform:uppercase;letter-spacing:.5px;color:var(--muted);text-align:right;border-bottom:1px solid var(--line-strong);padding:4px 10px;font-size:10.5px;font-weight:600}.ldsteps td{text-align:right;color:var(--ink-soft);border-bottom:1px solid var(--line);padding:4px 10px}.ldsteps tr.cur td{background:var(--accent-soft);color:var(--ink);font-weight:600}.ldsteps tr.repeat td{color:var(--accent-deep)}.ldsteps td .rem{color:var(--accent);font-weight:600}.proof{counter-reset:pf;gap:10px;display:grid}.pstep{border:1px solid var(--line);border-left:5px solid var(--line-strong);border-radius:var(--radius-sm);background:var(--card);opacity:.32;grid-template-columns:30px 1fr;align-items:start;gap:12px;padding:11px 14px;transition:opacity .25s,border-color .25s,background .25s;display:grid}.pstep:before{counter-increment:pf;content:counter(pf);font-family:var(--display);color:#fff;background:var(--line-strong);border-radius:8px;place-items:center;width:28px;height:28px;font-size:14px;font-weight:600;display:grid}.pstep .ptext{color:var(--ink-soft);font-size:14px;line-height:1.65}.pstep .ptext .m{font-family:var(--mono);color:var(--accent-deep);font-weight:600}.pstep.shown{opacity:1;border-left-color:var(--accent)}.pstep.shown:before{background:var(--accent)}.pstep.contra{border-left-color:var(--bad);background:var(--bad-soft)}.pstep.contra:before{background:var(--bad)}.approxrow{font-family:var(--mono);border-radius:var(--radius-sm);color:var(--muted);align-items:baseline;gap:14px;padding:7px 14px;font-size:15px;display:flex}.approxrow.cur{background:var(--accent-soft);color:var(--ink)}.approxrow .q{color:var(--accent-deep);min-width:130px;font-size:18px;font-weight:600}.approxrow .sq{color:var(--ink-soft)}.approxrow .sq b{color:var(--accent)}}@layer lab{.proof-wrap{padding:16px}.proof-wrap .vega-btnrow{margin-top:14px}}