:root{font-family:Segoe UI,Tahoma,Geneva,Verdana,sans-serif;line-height:1.5;font-weight:400;font-synthesis:none;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;color:#dfeafb;background:#0a1220}body{margin:0;min-width:320px;min-height:100vh;background:radial-gradient(circle at 12% 12%,#10203f,#070d18 60%,#050a13)}#root{min-height:100vh}:root[data-theme=light]{color:#152039;background:#eaf2fb}:root[data-theme=light] body{background:linear-gradient(160deg,#edf4fd,#dbe8fb)}.app-shell{width:min(1100px,100%);margin:0 auto;padding:3rem 1.25rem 4rem;display:grid;gap:1rem}.hero{color:#f7fbff;border-radius:20px;padding:1.15rem 1.35rem;background:radial-gradient(circle at top left,#2f6bce,#113974 55%,#0b1f43);box-shadow:0 16px 40px #07183659}.hero-top-row{display:flex;justify-content:space-between;align-items:center;gap:.75rem}.site-logo{width:clamp(72px,12vw,108px);height:auto;display:block;filter:drop-shadow(0 6px 16px rgba(5,18,38,.35))}.theme-toggle{border:1px solid rgba(233,244,255,.7);border-radius:999px;padding:.35rem .75rem;font:inherit;font-size:.82rem;font-weight:600;color:#edf6ff;background:#0a1e3f66;cursor:pointer}.theme-toggle:hover{background:#0a1e3f8c}.panel{border-radius:16px;padding:1.2rem 1.1rem;background:#fff;border:1px solid #d8e2f0}.panel h2{margin:0 0 .6rem;font-size:1.15rem}.panel ul,.panel ol{margin:0;padding-left:1.2rem}.panel li+li{margin-top:.4rem}.editor-grid{display:grid;grid-template-columns:1fr;gap:1rem}.hint{margin:0 0 .7rem;font-size:.9rem;color:#3f587b}.selector-label{display:block;margin-bottom:.4rem;font-weight:600;font-size:.9rem}.type-selector{width:100%;margin-bottom:1rem;border:1px solid #bccde5;border-radius:10px;padding:.55rem .65rem;font:inherit;color:#10284a;background:#f8fbff}.definition-input{width:100%;min-height:320px;border:1px solid #bccde5;border-radius:12px;padding:.8rem;font:14px/1.5 Cascadia Mono,Consolas,Monaco,monospace;color:#10284a;background:#f8fbff;resize:vertical;box-sizing:border-box}.simulation-controls{margin-top:1rem}.transfer-actions{margin-top:.6rem;display:flex;gap:.5rem;flex-wrap:wrap}.hidden-file-input{display:none}.transfer-message{margin:.5rem 0 0;font-size:.9rem;border-radius:10px;padding:.55rem .7rem}.transfer-message p{margin:0}.transfer-message-success{color:#1f6a3a;background:#edf9f0;border:1px solid #c2e7cd}.transfer-message-error{color:#8a1616;background:#fff5f5;border:1px solid #efc6c6}.transfer-error-list{margin:.45rem 0 0;padding-left:1.1rem}.string-input{width:100%;border:1px solid #bccde5;border-radius:10px;padding:.55rem .65rem;font:inherit;color:#10284a;background:#f8fbff;box-sizing:border-box}.run-button{margin-top:.65rem;border:1px solid #163a6a;border-radius:10px;padding:.55rem .85rem;font:inherit;font-weight:600;color:#fff;background:#1e4f8d;cursor:pointer}.run-button:disabled{opacity:.55;cursor:not-allowed}.simulation-actions{margin-top:.6rem;display:flex;gap:.5rem;flex-wrap:wrap}.action-button{border:1px solid #55779f;border-radius:8px;padding:.42rem .7rem;font:inherit;font-weight:600;color:#1a406d;background:#f3f8ff;cursor:pointer}.action-button:disabled{opacity:.55;cursor:not-allowed}.simulation-error-box{margin-top:.7rem;border:1px solid #efc6c6;background:#fff5f5;border-radius:10px;padding:.7rem .8rem}.simulation-error-box h3{margin:0 0 .35rem;font-size:.95rem;color:#7d1010}.simulation-error-box p{margin:0;color:#7d1010}.simulation-error-box ul{margin-top:.5rem;color:#7d1010}.automaton-canvas{width:100%;min-height:320px;border:1px solid #d8e2f0;border-radius:12px;background:#fbfdff}.state-node{fill:#fff;stroke:#1f4169;stroke-width:2}.state-node-traversed{fill:#eaf7ee;stroke:#2f7f4f}.state-node-current{fill:#fff3e1;stroke:#d36b1f;stroke-width:3}.state-node-accept{fill:none;stroke:#1f4169;stroke-width:2}.automaton-canvas text{fill:#10284a;font-size:14px;font-weight:600}.error-box{border:1px solid #efc6c6;background:#fff5f5;border-radius:12px;padding:.9rem}.error-box h3{margin:0 0 .6rem;font-size:1rem}.error-box ul{margin:0;padding-left:1.2rem;color:#7d1010}.info-box{border:1px solid #bfd8ff;background:#f0f7ff;border-radius:12px;padding:.9rem}.info-box h3{margin:0 0 .6rem;font-size:1rem}.info-box p{margin:0;color:#24426d}.graph-legend{margin-top:.7rem;display:flex;gap:1rem;flex-wrap:wrap;color:#1c3557;font-size:.9rem}.legend-item{display:inline-flex;align-items:center;gap:.35rem}.legend-swatch{width:12px;height:12px;border-radius:3px;display:inline-block}.legend-current{background:#fff3e1;border:2px solid #d36b1f}.legend-path{background:#eaf7ee;border:2px solid #2f7f4f}.simulation-result{margin-top:.9rem;border-radius:12px;padding:.9rem}.simulation-result h3{margin:0 0 .45rem;font-size:1rem}.simulation-result p{margin:0}.simulation-result ul{margin-top:.6rem;color:#7d1010}.step-runner{margin-top:.9rem;padding-top:.8rem;border-top:1px solid rgba(16,40,74,.2)}.step-runner h4{margin:0 0 .45rem;font-size:.98rem}.step-runner p{margin:0 0 .6rem}.step-controls{display:flex;gap:.5rem;flex-wrap:wrap}.step-button{border:1px solid #163a6a;border-radius:8px;padding:.42rem .7rem;font:inherit;font-weight:600;color:#163a6a;background:#fff;cursor:pointer}.step-button:disabled{opacity:.55;cursor:not-allowed}.trace-list{margin-top:.7rem;color:inherit}.trace-active{font-weight:700}.trace-empty{margin-top:.7rem;opacity:.85}.simulation-result-accept{border:1px solid #bedec8;background:#f1fcf4;color:#204c2a}.simulation-result-reject{border:1px solid #efc6c6;background:#fff5f5;color:#7d1010}@media(min-width:960px){.editor-grid{grid-template-columns:.95fr 1.05fr;align-items:start}}.app-shell.theme-dark .panel{background:#121c2f;border-color:#2a3c59;color:#e4edf9}.app-shell.theme-dark .hint{color:#b0c2dd}.app-shell.theme-dark .selector-label{color:#d8e6fb}.app-shell.theme-dark .type-selector,.app-shell.theme-dark .definition-input,.app-shell.theme-dark .string-input,.app-shell.theme-dark .step-button,.app-shell.theme-dark .action-button{background:#0d1524;border-color:#314867;color:#d9e8fd}.app-shell.theme-dark .simulation-error-box{background:#2a1216;border-color:#7f4146}.app-shell.theme-dark .simulation-error-box h3,.app-shell.theme-dark .simulation-error-box p,.app-shell.theme-dark .simulation-error-box ul{color:#ffd4d7}.app-shell.theme-dark .transfer-message-success{color:#bdecc9;background:#112b1b;border-color:#2d6740}.app-shell.theme-dark .transfer-message-error{color:#ffcfd3;background:#2a1317;border-color:#7f4449}.app-shell.theme-dark .automaton-canvas{background:#0c1526;border-color:#2a3c59}.app-shell.theme-dark .graph-legend{color:#d2e0f4}.app-shell.theme-dark .step-runner{border-top-color:#d6e7ff33}