.widget.svelte-r37yk7{display:flex;flex-direction:column;gap:.8rem;background:var(--demo-card);border:1px solid var(--demo-card-border);border-radius:20px;padding:clamp(.9rem,2vw,1.25rem);box-shadow:0 1px #0000000a,0 24px 48px -28px color-mix(in srgb,var(--ink-red) 50%,transparent)}.toolbar.svelte-r37yk7{display:flex;flex-wrap:wrap;gap:.4rem}.preset-btn.svelte-r37yk7{font-family:var(--font-mono);font-size:.72rem;padding:.3rem .65rem;border-radius:var(--radius-pill);border:1.5px solid var(--site-border);background:transparent;color:var(--site-fg-muted);cursor:pointer;transition:background .15s,color .15s,border-color .15s;line-height:1.3}.preset-btn.svelte-r37yk7:hover{border-color:var(--ink-sea);color:var(--site-fg)}.preset-btn.active.svelte-r37yk7{background:var(--ink-sea);border-color:var(--ink-sea);color:var(--on-color-fg);font-weight:600}.stage.svelte-r37yk7{width:100%;background:var(--demo-stage);border-radius:var(--radius-lg);overflow-x:auto;overflow-y:hidden;display:flex;align-items:center;justify-content:center;min-height:100px;padding:.5rem 0}.tree-svg.svelte-r37yk7{display:block;max-width:100%;overflow:visible}.tree-node.svelte-r37yk7{cursor:default;outline:none}.tree-node.clickable.svelte-r37yk7{cursor:pointer}.tree-node.clickable.svelte-r37yk7 circle:where(.svelte-r37yk7):last-of-type{transition:r .15s ease}.tree-node.clickable.svelte-r37yk7:hover circle:where(.svelte-r37yk7):last-of-type,.tree-node.clickable.svelte-r37yk7:focus circle:where(.svelte-r37yk7):last-of-type{r:25}.pulse-ring.svelte-r37yk7{animation:svelte-r37yk7-pulse-dash 2s linear infinite}@keyframes svelte-r37yk7-pulse-dash{to{stroke-dashoffset:-14}}.readout.svelte-r37yk7{display:flex;flex-direction:column;gap:.45rem;border-top:1px solid color-mix(in srgb,var(--site-fg) 14%,transparent);padding-top:.6rem}.invariant.svelte-r37yk7{display:flex;align-items:center;gap:.5rem;flex-wrap:wrap;background:color-mix(in srgb,var(--ink-teal) 12%,transparent);border:1.5px solid color-mix(in srgb,var(--ink-teal) 40%,transparent);border-radius:var(--radius-md);padding:.4rem .75rem}.invariant-label.svelte-r37yk7{font-family:var(--font-body);font-size:.68rem;font-weight:700;text-transform:uppercase;letter-spacing:.06em;color:var(--ink-teal);background:color-mix(in srgb,var(--ink-teal) 18%,transparent);border-radius:var(--radius-pill);padding:.1rem .45rem}.invariant-eq.svelte-r37yk7{font-family:var(--font-mono);font-size:.8rem;color:var(--site-fg-muted);flex:1}.invariant-val.svelte-r37yk7{font-family:var(--font-mono);font-size:1.3rem;font-weight:700;color:var(--ink-teal);line-height:1}.invariant-warn.svelte-r37yk7{font-family:var(--font-body);font-size:.75rem;color:var(--site-error);font-weight:600}.linear-expr.svelte-r37yk7{display:flex;align-items:baseline;gap:.5rem;flex-wrap:wrap}.expr-label.svelte-r37yk7{font-family:var(--font-body);font-size:.75rem;color:var(--site-fg-muted);white-space:nowrap}.expr-text.svelte-r37yk7{font-family:var(--font-mono);font-size:.92rem;color:var(--site-fg);font-weight:500}.simplified-badge.svelte-r37yk7{display:inline-flex;align-items:center;gap:.3rem;font-family:var(--font-body);font-size:.78rem;font-weight:700;color:var(--ink-teal);background:color-mix(in srgb,var(--ink-teal) 12%,transparent);border:1.5px solid color-mix(in srgb,var(--ink-teal) 35%,transparent);border-radius:var(--radius-pill);padding:.25rem .75rem;align-self:flex-start}.rule-panel.svelte-r37yk7{display:flex;flex-direction:column;gap:.5rem}.hint.svelte-r37yk7{margin:0;font-family:var(--font-body);font-size:.78rem;color:var(--site-fg-muted);line-height:1.5}.rules-list.svelte-r37yk7{display:flex;flex-direction:column;gap:.35rem}.rule-btn.svelte-r37yk7{display:flex;flex-direction:column;align-items:flex-start;gap:.1rem;padding:.5rem .85rem;background:color-mix(in srgb,var(--ink-red) 8%,transparent);border:1.5px solid color-mix(in srgb,var(--ink-red) 25%,transparent);border-radius:var(--radius-md);cursor:pointer;text-align:left;transition:background .15s,border-color .15s}.rule-btn.svelte-r37yk7:hover{background:color-mix(in srgb,var(--ink-red) 16%,transparent);border-color:var(--ink-red)}.rule-name.svelte-r37yk7{font-family:var(--font-body);font-size:.85rem;font-weight:600;color:var(--ink-red)}.rule-desc.svelte-r37yk7{font-family:var(--font-mono);font-size:.72rem;color:var(--site-fg-muted)}.action-row.svelte-r37yk7{display:flex;gap:.4rem}.action-btn.svelte-r37yk7{font-family:var(--font-body);font-size:.78rem;font-weight:600;padding:.3rem .8rem;border-radius:var(--radius-pill);border:1.5px solid var(--site-border);background:transparent;color:var(--site-fg-muted);cursor:pointer;transition:background .15s,color .15s,border-color .15s}.action-btn.svelte-r37yk7:hover:not(:disabled){border-color:var(--site-fg);color:var(--site-fg)}.action-btn.svelte-r37yk7:disabled{opacity:.35;cursor:not-allowed}@media(max-width:520px){.preset-btn.svelte-r37yk7{font-size:.66rem;padding:.25rem .5rem}.invariant-val.svelte-r37yk7{font-size:1.05rem}.expr-text.svelte-r37yk7{font-size:.82rem}.rule-btn.svelte-r37yk7{padding:.4rem .65rem}.rule-desc.svelte-r37yk7{font-size:.66rem}}