.dfa-embed.svelte-2z1fb2{border:1px solid var(--border);border-radius:8px;padding:1rem;margin:1.25rem 0 1.5rem;background:#ffffff05}.graph-wrap.svelte-2z1fb2{margin-top:.7rem;padding:.35rem;border:1px solid color-mix(in srgb,var(--border) 80%,transparent);border-radius:6px;background:#ffffff04}svg.svelte-2z1fb2{display:block;width:100%;height:auto;overflow:visible}.edge.svelte-2z1fb2{fill:none;stroke:#ffffff47;stroke-width:1.6;transition:stroke .15s ease}.active-edge.svelte-2z1fb2{stroke:color-mix(in srgb,var(--accent) 62%,#fff 38%);stroke-width:2}.edge-label.svelte-2z1fb2{font-size:14px;fill:var(--fg-muted);font-family:var(--font-mono);font-weight:500}.start-arrow.svelte-2z1fb2{stroke:#ffffff4d;stroke-width:1.6}.state.svelte-2z1fb2{fill:transparent;stroke:#ffffff5c;stroke-width:1.7;transition:fill .15s ease,stroke .15s ease}.state.current.svelte-2z1fb2{fill:color-mix(in srgb,var(--accent) 10%,transparent);stroke:color-mix(in srgb,var(--accent) 68%,#fff 32%)}.accept.svelte-2z1fb2{fill:none;stroke:#ffffff59;stroke-width:1.5}.state-label.svelte-2z1fb2{fill:var(--fg);font-size:15px;font-family:var(--font-mono);font-weight:600}.controls.svelte-2z1fb2{margin-top:.75rem;display:grid;gap:.5rem}.input-row.svelte-2z1fb2{display:grid;grid-template-columns:auto 1fr auto;gap:.6rem;align-items:center}.input-row.svelte-2z1fb2 label:where(.svelte-2z1fb2){font-size:.86rem;color:var(--fg-muted);font-family:var(--font-sans)}.input-row.svelte-2z1fb2 input:where(.svelte-2z1fb2){width:100%;border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.42rem .58rem;font-family:var(--font-mono);font-size:.9rem}.button-row.svelte-2z1fb2,.quick-input.svelte-2z1fb2{display:flex;flex-wrap:wrap;gap:.35rem}.quick-input.svelte-2z1fb2{padding-top:.15rem}button.svelte-2z1fb2{border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.34rem .56rem;font-size:.8rem;font-family:var(--font-mono);cursor:pointer;transition:border-color .15s ease,color .15s ease}button.svelte-2z1fb2:hover{border-color:color-mix(in srgb,var(--accent) 40%,var(--border) 60%);color:color-mix(in srgb,var(--accent) 50%,var(--fg) 50%)}button.ghost.svelte-2z1fb2{color:var(--fg-muted)}button.symbol.svelte-2z1fb2{font-weight:700;min-width:2rem}.dfa-editor.svelte-2z1fb2{display:grid;gap:.4rem;margin-top:.35rem}.dfa-editor.svelte-2z1fb2 textarea:where(.svelte-2z1fb2){width:100%;min-height:180px;border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.5rem;font-size:.8rem;line-height:1.35;font-family:var(--font-mono);resize:vertical}.editor-actions.svelte-2z1fb2{display:flex;gap:.45rem;flex-wrap:wrap}.dfa-error.svelte-2z1fb2{margin:0;font-size:.8rem;color:#fca5a5}.extras.svelte-2z1fb2{border-top:1px solid color-mix(in srgb,var(--border) 80%,transparent);padding-top:.35rem}.extras.svelte-2z1fb2 summary:where(.svelte-2z1fb2){cursor:pointer;font-size:.8rem;font-family:var(--font-mono);color:var(--fg-muted);list-style:none}.extras.svelte-2z1fb2 summary:where(.svelte-2z1fb2)::-webkit-details-marker{display:none}.extras.svelte-2z1fb2 summary:where(.svelte-2z1fb2):before{content:"+ "}.extras[open].svelte-2z1fb2 summary:where(.svelte-2z1fb2):before{content:"- "}.trace.svelte-2z1fb2{margin-top:.65rem;border-top:1px solid color-mix(in srgb,var(--border) 72%,transparent);padding-top:.55rem;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.35rem .75rem}.trace.svelte-2z1fb2 p:where(.svelte-2z1fb2){margin:0;font-size:.8rem;color:var(--fg-muted);font-family:var(--font-sans)}.trace.svelte-2z1fb2 strong:where(.svelte-2z1fb2){color:var(--fg)}@media(max-width:900px){.input-row.svelte-2z1fb2,.trace.svelte-2z1fb2{grid-template-columns:1fr}}.nfa-embed.svelte-1tqh2vg{border:1px solid var(--border);border-radius:8px;padding:1rem;margin:1.25rem 0 1.5rem;background:#ffffff05}.graph-wrap.svelte-1tqh2vg{margin-top:.2rem;padding:.35rem;border:1px solid color-mix(in srgb,var(--border) 80%,transparent);border-radius:6px;background:#ffffff04}svg.svelte-1tqh2vg{display:block;width:100%;height:auto;overflow:visible}.edge.svelte-1tqh2vg{fill:none;stroke:#ffffff47;stroke-width:1.6;transition:stroke .15s ease}.active-edge.svelte-1tqh2vg{stroke:color-mix(in srgb,var(--accent) 62%,#fff 38%);stroke-width:2}.edge-label.svelte-1tqh2vg{font-size:14px;fill:var(--fg-muted);font-family:var(--font-mono);font-weight:500}.start-arrow.svelte-1tqh2vg{stroke:#ffffff4d;stroke-width:1.6}.state.svelte-1tqh2vg{fill:transparent;stroke:#ffffff5c;stroke-width:1.7;transition:fill .15s ease,stroke .15s ease}.state.current.svelte-1tqh2vg{fill:color-mix(in srgb,var(--accent) 10%,transparent);stroke:color-mix(in srgb,var(--accent) 68%,#fff 32%)}.accept.svelte-1tqh2vg{fill:none;stroke:#ffffff59;stroke-width:1.5}.state-label.svelte-1tqh2vg{fill:var(--fg);font-size:15px;font-family:var(--font-mono);font-weight:600}.controls.svelte-1tqh2vg{margin-top:.75rem;display:grid;gap:.5rem}.input-row.svelte-1tqh2vg{display:grid;grid-template-columns:auto 1fr;gap:.6rem;align-items:center}.input-row.svelte-1tqh2vg label:where(.svelte-1tqh2vg){font-size:.86rem;color:var(--fg-muted);font-family:var(--font-sans)}.input-row.svelte-1tqh2vg input:where(.svelte-1tqh2vg){width:100%;border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.42rem .58rem;font-family:var(--font-mono);font-size:.9rem}.button-row.svelte-1tqh2vg,.quick-input.svelte-1tqh2vg{display:flex;flex-wrap:wrap;gap:.35rem}.quick-input.svelte-1tqh2vg{padding-top:.15rem}button.svelte-1tqh2vg{border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.34rem .56rem;font-size:.8rem;font-family:var(--font-mono);cursor:pointer;transition:border-color .15s ease,color .15s ease}button.svelte-1tqh2vg:hover{border-color:color-mix(in srgb,var(--accent) 40%,var(--border) 60%);color:color-mix(in srgb,var(--accent) 50%,var(--fg) 50%)}button.ghost.svelte-1tqh2vg{color:var(--fg-muted)}button.symbol.svelte-1tqh2vg{font-weight:700;min-width:2rem}.nfa-editor.svelte-1tqh2vg{display:grid;gap:.4rem;margin-top:.35rem}.nfa-editor.svelte-1tqh2vg textarea:where(.svelte-1tqh2vg){width:100%;min-height:180px;border-radius:6px;border:1px solid var(--border);background:#ffffff05;color:var(--fg);padding:.5rem;font-size:.8rem;line-height:1.35;font-family:var(--font-mono);resize:vertical}.editor-actions.svelte-1tqh2vg{display:flex;gap:.45rem;flex-wrap:wrap}.nfa-error.svelte-1tqh2vg{margin:0;font-size:.8rem;color:#fca5a5}.extras.svelte-1tqh2vg{border-top:1px solid color-mix(in srgb,var(--border) 80%,transparent);padding-top:.35rem}.extras.svelte-1tqh2vg summary:where(.svelte-1tqh2vg){cursor:pointer;font-size:.8rem;font-family:var(--font-mono);color:var(--fg-muted);list-style:none}.extras.svelte-1tqh2vg summary:where(.svelte-1tqh2vg)::-webkit-details-marker{display:none}.extras.svelte-1tqh2vg summary:where(.svelte-1tqh2vg):before{content:"+ "}.extras[open].svelte-1tqh2vg summary:where(.svelte-1tqh2vg):before{content:"- "}.trace.svelte-1tqh2vg{margin-top:.65rem;border-top:1px solid color-mix(in srgb,var(--border) 72%,transparent);padding-top:.55rem;display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:.35rem .75rem}.trace.svelte-1tqh2vg p:where(.svelte-1tqh2vg){margin:0;font-size:.8rem;color:var(--fg-muted);font-family:var(--font-sans)}.trace.svelte-1tqh2vg strong:where(.svelte-1tqh2vg){color:var(--fg)}@media(max-width:900px){.input-row.svelte-1tqh2vg,.trace.svelte-1tqh2vg{grid-template-columns:1fr}}