:root{--bg-color:#0d1117;--panel-bg:#161b22cc;--border-color:#30363d80;--text-main:#c9d1d9;--text-muted:#8b949e;--accent-blue:#58a6ff;--accent-green:#3fb950;--accent-purple:#bc8cff;--accent-orange:#f0883e;--highlight-yellow:#d2992233;--glass-shadow:0 4px 12px #0006;--glass-border:1px solid #ffffff1a;--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Oxygen,Ubuntu,Cantarell,Open Sans,Helvetica Neue,sans-serif}[data-theme=light]{--bg-color:#f6f8fa;--panel-bg:#ffffffe6;--border-color:#d0d7de;--text-main:#24292f;--text-muted:#57606a;--accent-blue:#0969da;--accent-green:#1a7f37;--accent-purple:#8250df;--accent-orange:#bc4c00;--highlight-yellow:#fff3c9cc;--glass-shadow:0 4px 12px #0000001a;--glass-border:1px solid #0000001a;--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light}html{scroll-behavior:smooth}::selection{color:#fff;background-color:#863bff}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-color)}::-webkit-scrollbar-thumb{background:var(--border-color);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--accent-blue)}:focus-visible{outline:2px solid var(--accent-blue);outline-offset:2px}*{box-sizing:border-box;margin:0;padding:0}body{background:var(--bg-color);background:radial-gradient(circle at top left, var(--bg-color), var(--panel-bg));color:var(--text-main);flex-direction:column;height:100vh;transition:background .3s,color .3s;display:flex;overflow:hidden}#app{flex-direction:column;height:100%;display:flex}.main-content{flex:1;grid-template-rows:1fr 1fr;grid-template-columns:1fr 1fr;gap:12px;padding:12px;display:grid;overflow:hidden}.section{background:var(--panel-bg);-webkit-backdrop-filter:blur(10px);border:var(--glass-border);box-shadow:var(--glass-shadow);border-radius:12px;flex-direction:column;display:flex;position:relative;overflow:hidden}.section-header{color:var(--text-muted);border-bottom:1px solid var(--border-color);background:#ffffff08;padding:10px 16px;font-size:.9rem;font-weight:600}.section-body{flex:1;position:relative;overflow:auto}canvas,svg{min-width:100%;min-height:100%}.control-strip{background:var(--panel-bg);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px);border:var(--glass-border);height:70px;box-shadow:var(--glass-shadow);border-radius:12px;align-items:center;gap:16px;margin:0 12px 12px;padding:0 20px;display:flex}#nfa-area{grid-area:1/1/2/2}#epsilon-area{grid-area:2/1/3/2}#dfa-table-area{grid-area:1/2/2/3}#dfa-viz-area{grid-area:2/2/3/3}.controls{gap:10px;display:flex}.btn{background:var(--panel-bg);color:var(--text-main);border:1px solid var(--border-color);cursor:pointer;border-radius:6px;align-items:center;gap:8px;padding:8px 16px;font-size:.85rem;font-weight:600;transition:all .2s;display:flex}.btn:hover{background:var(--highlight-yellow);border-color:var(--accent-blue)}.btn:active{transform:scale(.96)}.btn-primary{background:var(--accent-blue);color:#fff;border:none}.btn-primary:hover{opacity:.9;filter:brightness(1.1)}.input-group{color:var(--text-muted);align-items:center;gap:8px;font-size:.85rem;display:flex}.input-field{background:var(--bg-color);border:1px solid var(--border-color);color:var(--text-main);border-radius:4px;outline:none;padding:6px 10px;font-size:.85rem}.input-field:focus{border-color:var(--accent-blue)}.status-column{color:var(--accent-green);opacity:.9;letter-spacing:.01em;text-shadow:0 0 10px #3fb95033;flex:1;font-size:.9rem;font-weight:500}.highlight-row{transition:background .3s;background:var(--highlight-yellow)!important}.highlight-node{stroke:var(--accent-blue);stroke-width:4px;filter:drop-shadow(0 0 8px var(--accent-blue));transition:all .5s}.active-state{fill:#58a6ff1a;stroke:var(--accent-blue);stroke-width:3px}table{border-collapse:collapse;width:100%;font-size:.85rem}th,td{text-align:left;border-bottom:1px solid var(--border-color);padding:12px 14px}th{color:var(--text-muted);z-index:10;-webkit-backdrop-filter:blur(5px);backdrop-filter:blur(5px);background:#ffffff05;font-weight:600;position:sticky;top:0}tr:hover{background:#ffffff08}[data-theme=light] tr:hover{background:#00000008}.node{fill:var(--bg-color);stroke:var(--text-muted);stroke-width:2.5px;cursor:grab;transition:all .3s cubic-bezier(.4,0,.2,1)}.node:hover{stroke:var(--text-main);fill:#ffffff0d}.edge{stroke:var(--text-muted);fill:none;stroke-width:2px;pointer-events:none;transition:all .3s}.highlight-edge{stroke:var(--accent-blue);stroke-width:3px;filter:drop-shadow(0 0 5px var(--accent-blue))}.edge-text{fill:var(--text-main);paint-order:stroke;stroke:var(--bg-color);stroke-width:3px;stroke-linecap:round;stroke-linejoin:round;font-size:12px;font-weight:700}.state-label{fill:var(--text-main);pointer-events:none;text-anchor:middle;font-family:JetBrains Mono,Courier New,monospace;font-size:14px;font-weight:800}.node-inner{stroke-dasharray:none}.status-step-num{color:var(--accent-orange);margin-right:8px;font-weight:700}