.rs.svelte-1o5m7ik{padding:.5rem .5rem 0}.pin.svelte-1o5m7ik{cursor:grab;outline:none}.pin.svelte-1o5m7ik:focus-visible circle:where(.svelte-1o5m7ik):nth-child(3){stroke:var(--gold-bright);stroke-width:2.5}.panel.svelte-1o5m7ik{padding:.75rem 1rem .9rem;border-top:1px solid var(--line-faint);background:#05081073;font-size:.83rem;color:var(--ink-dim)}.cols.svelte-1o5m7ik{display:grid;grid-template-columns:repeat(auto-fit,minmax(14rem,1fr));gap:.4rem 1.4rem}h4.svelte-1o5m7ik{margin:0 0 .3rem!important;font-size:.68rem!important}ul.svelte-1o5m7ik{margin:0!important;padding:0!important;list-style:none}li.svelte-1o5m7ik{margin:.15rem 0!important}li.svelte-1o5m7ik:before{display:none!important}li.svelte-1o5m7ik b:where(.svelte-1o5m7ik){color:var(--gold-bright)}li.ok.svelte-1o5m7ik{color:var(--green)}li.bad.svelte-1o5m7ik{color:var(--rose)}.warn.svelte-1o5m7ik{color:var(--amber);margin:.5rem 0 0}.btns.svelte-1o5m7ik{display:flex;flex-wrap:wrap;gap:.4rem;margin-top:.7rem}.wig.svelte-15l5589{padding:.5rem .5rem 0}.handle.svelte-15l5589{cursor:grab;outline:none}.handle.svelte-15l5589:focus-visible circle:where(.svelte-15l5589):last-child{stroke:var(--gold-bright);stroke-width:3}.panel.svelte-15l5589{display:flex;flex-direction:column;gap:.6rem;padding:.8rem .9rem .9rem;border-top:1px solid var(--line-faint);background:#05081073;font-size:.84rem}.row.svelte-15l5589{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem .8rem}.lab.svelte-15l5589{color:var(--ink-faint);font-size:.74rem;letter-spacing:.05em}.read.svelte-15l5589 p:where(.svelte-15l5589){margin:.15rem 0;color:var(--ink-dim);line-height:1.5}.teal.svelte-15l5589{color:var(--teal)}.rose.svelte-15l5589{color:var(--rose)}.dim.svelte-15l5589{color:var(--ink-faint)}.verdict.svelte-15l5589{color:var(--ink)}.yes.svelte-15l5589{color:var(--green)}.no.svelte-15l5589{color:var(--rose)}.why.svelte-15l5589{color:var(--ink-faint)}.tb.svelte-6n6wtb{padding:.6rem .6rem 0}.node.svelte-6n6wtb{cursor:pointer;outline:none}.node.svelte-6n6wtb rect:where(.svelte-6n6wtb){fill:#ffffff08;stroke:#c8c0aa59;stroke-width:1.4;transition:all .18s var(--ease)}.node.svelte-6n6wtb:hover rect:where(.svelte-6n6wtb){stroke:var(--gold);fill:#d8b26e14}.node.svelte-6n6wtb:focus-visible rect:where(.svelte-6n6wtb){stroke:var(--gold-bright);stroke-width:2.6}.node.on.svelte-6n6wtb rect:where(.svelte-6n6wtb){fill:url(#vertex-fill);stroke:var(--gold-bright);filter:drop-shadow(0 0 6px rgba(242,208,143,.55))}.node.bad.svelte-6n6wtb rect:where(.svelte-6n6wtb){stroke:var(--rose);stroke-dasharray:5 4;stroke-width:2}.node.culprit.svelte-6n6wtb rect:where(.svelte-6n6wtb){stroke:var(--rose);stroke-width:2.6}.panel.svelte-6n6wtb{padding:.7rem 1rem .9rem;border-top:1px solid var(--line-faint);background:#05081073;font-size:.85rem;color:var(--ink-dim)}.axioms.svelte-6n6wtb{list-style:none;margin:0 0 .4rem;padding:0;display:grid;gap:.2rem}.axioms.svelte-6n6wtb li:where(.svelte-6n6wtb):before{display:none}.mark.svelte-6n6wtb{display:inline-block;width:1.2rem;font-weight:700}.pass.svelte-6n6wtb .mark:where(.svelte-6n6wtb){color:var(--green)}.fail.svelte-6n6wtb{color:var(--ink)}.fail.svelte-6n6wtb .mark:where(.svelte-6n6wtb){color:var(--rose)}.why.svelte-6n6wtb{color:var(--rose)}.verdict.svelte-6n6wtb{margin:.3rem 0 .5rem;color:var(--ink)}.ok.svelte-6n6wtb{color:var(--green)}.no.svelte-6n6wtb{color:var(--rose)}.foot.svelte-6n6wtb{display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:.5rem}.count.svelte-6n6wtb b:where(.svelte-6n6wtb){color:var(--gold-bright)}.btns.svelte-6n6wtb{display:inline-flex;flex-wrap:wrap;gap:.3rem}.ed.svelte-c5576f{padding:.6rem .6rem 0}.bar.svelte-c5576f{padding:.85rem 1.2rem 1rem;border-top:1px solid var(--line-faint);background:#05081073;font-size:.85rem}.row.svelte-c5576f{display:flex;flex-wrap:wrap;align-items:center;gap:.6rem 1rem;margin-bottom:.6rem}.vals.svelte-c5576f{display:flex;gap:1.1rem;margin-left:auto;color:var(--ink-dim);white-space:nowrap}.vals.svelte-c5576f i:where(.svelte-c5576f){font-family:var(--font-body);font-size:1.08em}.vals.svelte-c5576f .a:where(.svelte-c5576f){color:var(--gold-bright)}.vals.svelte-c5576f .e:where(.svelte-c5576f){color:var(--teal)}.vals.svelte-c5576f .d:where(.svelte-c5576f){color:var(--violet)}.verdict.svelte-c5576f{margin:.2rem 0 0;color:var(--ink-dim);line-height:1.55}.ok.svelte-c5576f{color:var(--green)}.no.svelte-c5576f{color:var(--rose)}.hint.svelte-c5576f{display:block;margin-top:.25rem;color:var(--ink-faint)}.hint.bad.svelte-c5576f{color:var(--rose)}@container figure (max-width: 34rem){.ed.svelte-c5576f text.t-ui:where(.svelte-c5576f){font-size:13px}}@container figure (max-width: 34rem){.wt.svelte-i5otwj text.t-ui:where(.svelte-i5otwj){font-size:12.5px}}.cup.svelte-1chyno{position:relative}.stage.svelte-1chyno{position:absolute;left:50%;bottom:.7rem;transform:translate(-50%);font-size:.78rem;color:var(--ink-dim);background:#060a14a8;border:1px solid var(--line-faint);border-radius:.9rem;padding:.25rem .8rem;pointer-events:none;width:max-content;max-width:calc(100% - 7rem);text-align:center;text-wrap:pretty}@container figure (max-width: 520px){.stage.svelte-1chyno{position:static;transform:none;max-width:calc(100% - 1.6rem);margin:.2rem auto .7rem}}.bar.svelte-1chyno{display:flex;flex-wrap:wrap;align-items:center;gap:.8rem 1.2rem;padding:.85rem 1.2rem 1rem;border-top:1px solid var(--line-faint);background:#05081073}.lab.svelte-147liue{padding:.6rem .9rem .9rem}.strip.svelte-147liue{display:flex;flex-wrap:wrap;justify-content:center;gap:.25rem;margin-bottom:.6rem}.glyph.svelte-147liue,.mini.svelte-147liue{width:2.1rem;height:2.5rem;padding:.18rem;border-radius:7px;border:1px solid var(--line-faint);background:#ffffff05;cursor:pointer;transition:all .15s var(--ease)}.glyph.svelte-147liue:hover,.mini.svelte-147liue:hover{border-color:var(--line-strong);background:#d8b26e14}.glyph.on.svelte-147liue,.mini.on.svelte-147liue{border-color:var(--gold);background:#d8b26e29;box-shadow:0 0 10px -2px var(--gold-glow)}.glyph.svelte-147liue svg:where(.svelte-147liue),.mini.svelte-147liue svg:where(.svelte-147liue){width:100%;height:100%;display:block}.glyph.svelte-147liue path:where(.svelte-147liue),.mini.svelte-147liue path:where(.svelte-147liue){fill:none;stroke:var(--ink);stroke-width:11;stroke-linecap:round;stroke-linejoin:round}.glyph.on.svelte-147liue path:where(.svelte-147liue){stroke:var(--gold-bright)}.main.svelte-147liue{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1fr);gap:1rem;align-items:center}.big.svelte-147liue svg:where(.svelte-147liue){display:block;width:100%;max-height:330px;touch-action:none;cursor:crosshair;outline:none}.big.svelte-147liue svg:where(.svelte-147liue):focus-visible{outline:2px solid var(--gold-bright);border-radius:8px}.stroke.svelte-147liue{fill:none;stroke-width:6;stroke-linecap:round;stroke-linejoin:round}.glow.svelte-147liue{fill:none;stroke-width:16;stroke-linecap:round;stroke-linejoin:round;opacity:.12}.end.svelte-147liue{fill:#0b1020;stroke:var(--teal);stroke-width:2.2}.branch.svelte-147liue{fill:var(--gold-bright);stroke:#0b1020;stroke-width:1.6;filter:drop-shadow(0 0 4px rgba(242,208,143,.8))}.deg.svelte-147liue{font-family:var(--font-ui);font-size:11px;fill:var(--gold-bright);font-weight:600}.hover.svelte-147liue{fill:none;stroke:#ffffff8c;stroke-width:1.5;stroke-dasharray:3 2}.hole.svelte-147liue{fill:#0b1020;stroke:var(--rose);stroke-width:2.4;filter:drop-shadow(0 0 5px rgba(242,141,182,.9))}.read.svelte-147liue{font-size:.86rem;color:var(--ink-dim)}.big-ch.svelte-147liue{font-family:var(--font-display);font-size:2rem;color:var(--gold-bright);line-height:1;margin-bottom:.4rem}.verdict.svelte-147liue{color:var(--ink);font-size:.95rem;margin:0 0 .3rem}.sub.svelte-147liue{margin:0 0 .5rem}.fp.svelte-147liue{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.25rem .8rem;margin:.7rem 0 .4rem;padding:.6rem .7rem;border:1px solid var(--line-faint);border-radius:9px;background:#ffffff05}.fp.svelte-147liue div:where(.svelte-147liue){display:flex;justify-content:space-between;gap:.4rem}.fp.svelte-147liue dt:where(.svelte-147liue){color:var(--ink-faint);font-size:.72rem;letter-spacing:.05em}.fp.svelte-147liue dd:where(.svelte-147liue){margin:0;color:var(--gold-bright);font-weight:600}.toggles.svelte-147liue{display:flex;flex-wrap:wrap;gap:.6rem 1.4rem;margin-top:.7rem}.classes.svelte-147liue{display:grid;grid-template-columns:repeat(auto-fill,minmax(9.5rem,1fr));gap:.5rem;margin-top:.8rem}.cls.svelte-147liue{border:1px solid var(--line-faint);border-radius:10px;padding:.4rem .45rem .35rem;background:#ffffff04}.cls.mine.svelte-147liue{border-color:var(--gold);background:#d8b26e12}.cls-letters.svelte-147liue{display:flex;flex-wrap:wrap;gap:.15rem}.mini.svelte-147liue{width:1.5rem;height:1.85rem;padding:.1rem}.cls-name.svelte-147liue{font-size:.68rem;color:var(--ink-faint);margin-top:.25rem;letter-spacing:.03em}@media(max-width:560px){.main.svelte-147liue{grid-template-columns:1fr}.big.svelte-147liue svg:where(.svelte-147liue){max-height:260px}}.oc.svelte-1klsqjt{display:grid}.status.svelte-1klsqjt{margin:.4rem 1.1rem 0;min-height:2.6em;font-size:.86rem;color:var(--ink-dim);text-align:center;text-wrap:balance}.status.pass.svelte-1klsqjt{color:var(--rose)}.tl.svelte-1klsqjt{padding:0 1rem .4rem}.ctl.svelte-1klsqjt{display:flex;justify-content:center;margin:.3rem 0 .2rem}