:root{color:#eaf4f4;font-synthesis:none;text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;--border:#ffffff1f;--panel:#09121ed1;--panel-muted:#ffffff0d;--input-bg:#0a121ce6;--text-strong:#f4fbfb;--text-muted:#b4c6cb;--accent:#80d0c7;--shadow:0 24px 80px #00000059;background:radial-gradient(circle at top,#80d0c738,#0000 34%),linear-gradient(#0b1320 0%,#111c2d 45%,#0f1725 100%);font-family:Inter,Segoe UI,sans-serif;font-weight:400;line-height:1.5}*{box-sizing:border-box}html{scroll-behavior:smooth}body{min-width:320px;margin:0}a,button,input{transition:color .2s,background-color .2s,border-color .2s,filter .2s}h1{margin:0;font-size:clamp(2rem,4vw,3.5rem);line-height:1.05}p{margin:0}code{background:#ffffff14;border-radius:.45rem;padding:.15rem .4rem;font-family:Cascadia Code,Consolas,monospace}#root{min-height:100vh}.app-shell{flex-direction:column;min-height:100vh;display:flex}.app-header{border-bottom:1px solid var(--border);-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);z-index:20;background:linear-gradient(#061422f5,#0b1c2ceb),radial-gradient(circle at 0 0,#6ce3f51f,#0000 36%);justify-content:space-between;align-items:center;gap:1rem;padding:1rem 1.75rem;display:flex;position:sticky;top:0;box-shadow:0 10px 30px #00000047,inset 0 -1px #ffffff0a}.brand{color:#f6fdff;letter-spacing:.04em;text-shadow:0 0 18px #6ce3f51f;font-size:1.2rem;font-weight:800;text-decoration:none}.app-nav{align-items:center;gap:.6rem;display:flex}.app-nav a,.secondary-link{color:var(--text-muted);font-weight:600;text-decoration:none}.app-nav a{color:#d7edf0;border:1px solid #0000;border-radius:999px;padding:.55rem .9rem}.app-nav a:hover,.secondary-link:hover{color:#f8feff}.app-nav a:hover{background:#6ce3f514;border-color:#6ce3f538;box-shadow:0 0 18px #6ce3f51a}.app-main{flex:1;place-items:center;padding:2rem 1.25rem 3rem;display:grid}.page-card{border:1px solid var(--border);background:var(--panel);width:min(760px,100%);box-shadow:var(--shadow);border-radius:24px;padding:2rem}.hero-card,.simulator-card{gap:1.5rem;display:grid}.simulator-card{width:min(1120px,100%)}.eyebrow{color:var(--accent);letter-spacing:.12em;text-transform:uppercase;margin:0;font-size:.85rem;font-weight:700}.lead{max-width:56ch;color:var(--text-muted)}.page-copy{gap:.75rem;display:grid}.hero-actions{flex-wrap:wrap;align-items:center;gap:.8rem;display:flex}.primary-button{color:#f8fcff;width:fit-content;font:inherit;cursor:pointer;background:linear-gradient(135deg,#13547a 0%,#80d0c7 100%);border:0;border-radius:999px;justify-content:center;align-items:center;padding:.85rem 1.2rem;font-weight:700;text-decoration:none;display:inline-flex}.primary-button:hover{filter:brightness(1.05);box-shadow:0 10px 24px #6ce3f52e}.hero-button{min-width:13.5rem;padding:.9rem 1.3rem;font-size:.98rem}.secondary-button{border:1px solid var(--border);width:fit-content;color:var(--text-strong);font:inherit;cursor:pointer;background:0 0;border-radius:999px;justify-content:center;align-items:center;padding:.85rem 1.2rem;font-weight:600;display:inline-flex}.secondary-button:hover{background:#ffffff0f}.simulator-panel{background:var(--panel-muted);border-radius:18px;gap:1rem;padding:1.25rem;display:grid}.graph-card{gap:.75rem;display:grid}.graph-header{gap:.35rem;display:grid}.graph-canvas{border:1px solid var(--border);background:radial-gradient(circle at top,#6ce3f514,#0000 34%),#09121eeb;border-radius:18px;min-height:360px;overflow:hidden}.simple-graph-canvas{padding:.75rem}.dfa-svg{width:100%;height:auto;display:block}.dfa-arrowhead{fill:#7fd7de}.dfa-start-arrow line,.dfa-edge-line{fill:none;stroke:#7fd7de;stroke-width:1.35px}.dfa-edge-line.is-active-branch{stroke:#9eeef5;stroke-width:1.75px}.dfa-start-arrow text,.dfa-edge-label{fill:#dfeff2;text-anchor:middle;font-size:11px;font-weight:600}.dfa-loop-label{dominant-baseline:middle}.dfa-node-halo{fill:#6ce3f51f}.dfa-node-circle{fill:#122232;stroke:#7fd7de;stroke-width:2px}.dfa-node-circle.is-accepting{stroke:#f1cf72}.dfa-node-circle.is-active{fill:#103843;stroke:#6ce3f5;stroke-width:3px}.dfa-node-inner-ring{fill:none;stroke:#f1cf72;stroke-width:2px}.dfa-node-inner-ring.is-active{stroke:#9ef4ff}.dfa-node-label{fill:#f8fcff;dominant-baseline:middle;text-anchor:middle;font-size:14px;font-weight:700}.empty-graph{min-height:240px;color:var(--text-muted);place-items:center;display:grid}.form-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.triple-grid{grid-template-columns:repeat(3,minmax(0,1fr))}.form-grid>div,.simulator-panel>div,.simulator-panel>label{gap:.55rem;display:grid}.field-label{color:var(--text-strong);font-weight:600}.text-input{border:1px solid var(--border);background:var(--input-bg);width:100%;color:var(--text-strong);font:inherit;border-radius:14px;padding:.9rem 1rem}.text-input:focus{border-color:#13547a;outline:2px solid #13547a33}.text-area{resize:vertical;border:1px solid var(--border);background:var(--input-bg);width:100%;min-height:9rem;color:var(--text-strong);font:inherit;border-radius:14px;padding:.9rem 1rem}.text-area:focus{border-color:#13547a;outline:2px solid #13547a33}select.text-input{appearance:none}.button-row{flex-wrap:wrap;gap:.75rem;display:flex}.status-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:1rem;display:grid}.pda-status-grid{grid-template-columns:repeat(4,minmax(0,1fr))}.result-box{border:1px solid var(--border);background:var(--input-bg);border-radius:14px;gap:.35rem;padding:1rem 1.1rem;display:grid}.result-label{color:var(--text-muted);font-size:.9rem}.result-box.accepted{background:#228b5e1a;border-color:#228b5e66}.result-box.rejected{background:#be3c3c1a;border-color:#be3c3c66}.error-box{background:#be3c3c1f;border:1px solid #be3c3c66;border-radius:14px;gap:.35rem;padding:1rem 1.1rem;display:grid}.helper-text{color:var(--text-muted);font-size:.9rem}.input-track{border:1px solid var(--border);border-radius:12px;flex-wrap:wrap;display:flex;overflow:hidden}.processed,.remaining{padding:.65rem .8rem;font-family:Cascadia Code,Consolas,monospace}.processed{color:var(--text-strong);background:#80d0c72e}.remaining{color:var(--text-muted);background:#ffffff0a;flex:1}.history-panel,.history-list{gap:.75rem;display:grid}.history-item{border:1px solid var(--border);color:var(--text-muted);background:#ffffff0a;border-radius:14px;gap:.2rem;padding:.9rem 1rem;display:grid}.history-item strong{color:var(--text-strong)}.state-chip-row{flex-wrap:wrap;gap:.55rem;display:flex}.state-chip{min-width:3rem;color:var(--text-strong);background:#ffffff0a;border:1px solid #7fd7de47;border-radius:999px;justify-content:center;align-items:center;padding:.35rem .7rem;font-family:Cascadia Code,Consolas,monospace;font-size:.92rem;display:inline-flex}.state-chip.active{background:#6ce3f51f;border-color:#6ce3f580;box-shadow:0 0 18px #6ce3f51f}.set-display{font-family:Cascadia Code,Consolas,monospace;font-size:1rem}.transition-list{border-top:1px solid #ffffff14;gap:.25rem;margin-top:.35rem;padding-top:.35rem;font-family:Cascadia Code,Consolas,monospace;font-size:.86rem;display:grid}.path-list{border-top:1px solid #ffffff14;gap:.3rem;margin-top:.55rem;padding-top:.45rem;font-family:Cascadia Code,Consolas,monospace;font-size:.86rem;display:grid}.example-row{flex-wrap:wrap;gap:.65rem;display:flex}.example-chip{color:var(--text-strong);font:inherit;cursor:pointer;background:#ffffff0a;border:1px solid #7fd7de42;border-radius:999px;justify-content:center;align-items:center;padding:.45rem .8rem;font-family:Cascadia Code,Consolas,monospace;display:inline-flex}.example-chip:hover{background:#6ce3f51a;border-color:#6ce3f573}.stack-panel{border:1px solid var(--border);background:#ffffff08;border-radius:16px;gap:.9rem;padding:1rem 1.1rem;display:grid}.stack-panel-header{justify-content:space-between;align-items:baseline;gap:1rem;display:flex}.stack-visual{border:1px solid var(--border);background:#070f19d1;border-radius:14px;flex-direction:column;justify-content:center;align-items:center;gap:.5rem;min-height:220px;padding:1rem;display:flex}.stack-cell,.stack-empty{width:min(220px,100%);min-height:2.9rem;color:var(--text-strong);background:#ffffff0a;border:1px solid #7fd7de33;border-radius:12px;place-items:center;font-family:Cascadia Code,Consolas,monospace;font-weight:700;display:grid}.stack-cell.is-top{background:#6ce3f51f;border-color:#6ce3f585;box-shadow:0 0 18px #6ce3f524}.stack-cell.is-top.is-push{animation:.24s ease-out stackPush}.stack-cell.is-top.is-pop{animation:.22s ease-out stackPop}.stack-cell.is-top.is-replace{animation:.22s ease-out stackReplace}.stack-empty{color:var(--text-muted);font-weight:600}.stack-empty.is-pop{animation:.22s ease-out stackPop}.stack-summary{gap:.35rem;display:grid}@keyframes stackPush{0%{opacity:0;transform:translateY(-12px)scale(.96)}to{opacity:1;transform:translateY(0)scale(1)}}@keyframes stackPop{0%{opacity:.7;transform:scale(.96)}to{opacity:1;transform:scale(1)}}@keyframes stackReplace{0%{opacity:.75;transform:scale(.97)}to{opacity:1;transform:scale(1)}}@media (width<=720px){.app-header{flex-direction:column;align-items:flex-start}.page-card{border-radius:20px;padding:1.5rem}.app-main{padding-inline:1rem}.form-grid,.triple-grid,.status-grid,.pda-status-grid{grid-template-columns:1fr}}