@import "https://fonts.googleapis.com/css2?family=Outfit:wght@300;400;500;600;700;800&family=JetBrains+Mono:ital,wght@0,400;0,500;0,700;1,400&display=swap";:root{--bg:#07080f;--s1:#0b0f1c;--s2:#111826;--s3:#18223a;--s4:#1e2d4a;--bd:#1e2d45;--bd2:#2a4068;--amber:#e8a428;--amber-lo:#e8a4281f;--amber-hi:#e8a42838;--blue:#3aaee0;--blue-lo:#3aaee01f;--blue-hi:#3aaee038;--green:#30c86a;--green-lo:#30c86a1a;--purple:#c890ff;--purple-lo:#c890ff1a;--red:#e24040;--text:#d0dff0;--t2:#6888a8;--t3:#3a5070;--mono:"JetBrains Mono", monospace;--ui:"Outfit", system-ui, sans-serif;--r:10px}*,:before,:after{box-sizing:border-box;margin:0;padding:0}html,body{height:100%;overflow:hidden}body{background:var(--bg);color:var(--text);font-family:var(--ui);-webkit-font-smoothing:antialiased;text-rendering:optimizelegibility;font-size:14px}button,input{font:inherit}::-webkit-scrollbar{width:6px;height:6px}::-webkit-scrollbar-track{background:var(--s1)}::-webkit-scrollbar-thumb{background:var(--bd2);border-radius:99px}::-webkit-scrollbar-thumb:hover{background:var(--t3)}code{font-family:var(--mono);color:#9dd4ff;background:#3aaee01a;border-radius:5px;padding:1px 6px;font-size:.88em}:focus-visible{outline:none;box-shadow:0 0 0 3px #3aaee038}.app{flex-direction:column;height:100vh;display:flex}.hdr{border-bottom:1px solid var(--bd);background:var(--s1);z-index:20;flex-shrink:0;align-items:center;gap:16px;height:52px;padding:0 20px;display:flex}.hdr-logo{align-items:center;gap:10px;display:flex}.hdr-icon{background:var(--amber);width:30px;height:30px;font-family:var(--mono);color:#1a0c00;letter-spacing:-.5px;border-radius:8px;flex-shrink:0;justify-content:center;align-items:center;font-size:11px;font-weight:700;display:flex}.hdr-wordmark{letter-spacing:-.3px;color:var(--text);font-size:15px;font-weight:700}.hdr-sep{background:var(--bd);width:1px;height:22px}.hdr-pill{font-size:11px;font-family:var(--mono);color:var(--t2);background:var(--s2);border:1px solid var(--bd);letter-spacing:.04em;border-radius:99px;padding:2px 10px}.hdr-right{margin-left:auto}.hdr-tag{font-size:10px;font-family:var(--mono);color:var(--t3);letter-spacing:.12em;text-transform:uppercase}.workspace{flex:1;display:flex;overflow:hidden}.sidebar{border-right:1px solid var(--bd);background:var(--s1);flex-direction:column;flex-shrink:0;width:196px;padding:8px 6px;display:flex;overflow-y:auto}.sb-section{margin-bottom:2px}.sb-label{font-size:10px;font-family:var(--mono);color:var(--t3);letter-spacing:.14em;text-transform:uppercase;-webkit-user-select:none;user-select:none;padding:10px 8px 5px}.sb-btn{width:100%;color:var(--t2);font-family:var(--ui);cursor:pointer;text-align:left;background:0 0;border:none;border-radius:8px;align-items:center;gap:9px;padding:8px 10px;font-size:13px;font-weight:500;transition:background .13s,color .13s;display:flex}.sb-btn:hover{background:var(--s2);color:var(--text)}.sb-btn.act{color:var(--text)}.sb-btn.act.v-nfa{background:var(--amber-lo);color:var(--amber)}.sb-btn.act.v-dfa{background:var(--blue-lo);color:var(--blue)}.sb-btn.act.v-sim{background:var(--green-lo);color:var(--green)}.sb-btn.act.v-thy{background:var(--purple-lo);color:var(--purple)}.sb-icon{width:24px;height:24px;font-size:11px;font-family:var(--mono);background:var(--s2);color:var(--t2);border-radius:6px;flex-shrink:0;justify-content:center;align-items:center;font-weight:700;transition:background .13s,color .13s;display:flex}.sb-btn.act.v-nfa .sb-icon{background:var(--amber-lo);color:var(--amber)}.sb-btn.act.v-dfa .sb-icon{background:var(--blue-lo);color:var(--blue)}.sb-btn.act.v-sim .sb-icon{background:var(--green-lo);color:var(--green)}.sb-btn.act.v-thy .sb-icon{background:var(--purple-lo);color:var(--purple)}.sb-divider{background:var(--bd);height:1px;margin:6px 4px}.main{flex-direction:column;flex:1;display:flex;overflow:hidden}.input-bar{border-bottom:1px solid var(--bd);background:var(--s1);flex-direction:column;flex-shrink:0;gap:10px;padding:12px 18px;display:flex}.input-row{align-items:center;gap:8px;display:flex}.input-wrap{flex:1}.regex-input{background:var(--s2);border:1px solid var(--bd);border-radius:var(--r);width:100%;height:40px;color:var(--text);font-family:var(--mono);outline:none;padding:0 14px;font-size:14px;font-weight:500;transition:border-color .15s,box-shadow .15s}.regex-input::placeholder{color:var(--t3);font-weight:400}.regex-input:focus{border-color:var(--bd2);box-shadow:0 0 0 3px #3aaee01a}.regex-input.is-error{border-color:#e2404099;box-shadow:0 0 0 3px #e240401a}.btn{border-radius:var(--r);height:40px;font-family:var(--ui);cursor:pointer;white-space:nowrap;border:none;align-items:center;gap:6px;padding:0 16px;font-size:13px;font-weight:600;transition:opacity .12s,transform .1s;display:flex}.btn:active{transform:scale(.97)}.btn-primary{background:var(--amber);color:#1a0c00}.btn-primary:hover{opacity:.88}.btn-secondary{background:var(--s3);color:var(--t2);border:1px solid var(--bd)}.btn-secondary:hover{color:var(--text);background:var(--s4)}.btn-sm{height:32px;padding:0 12px;font-size:12px}.syntax-toggle{font-size:11px;font-family:var(--mono);color:var(--t3);cursor:pointer;white-space:nowrap;background:0 0;border:none;align-items:center;gap:4px;padding:0;transition:color .13s;display:flex}.syntax-toggle:hover{color:var(--t2)}.syntax-guide{background:var(--s2);border:1px solid var(--bd);border-radius:var(--r);color:var(--t2);flex-wrap:wrap;gap:10px;padding:10px 14px;font-size:11px;display:flex}.sg-item{white-space:nowrap}.examples-row{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.eg-label{font-size:11px;font-family:var(--mono);color:var(--t3);white-space:nowrap;letter-spacing:.04em}.chip{background:var(--s2);border:1px solid var(--bd);color:var(--t2);font-family:var(--mono);cursor:pointer;border-radius:99px;padding:3px 10px;font-size:11px;transition:background .12s,color .12s,border-color .12s}.chip:hover{background:var(--s3);color:var(--amber);border-color:var(--amber-hi)}.err-msg{color:#f88;font-size:12px;font-family:var(--mono);background:#e240401a;border:1px solid #e240404d;border-radius:8px;padding:8px 12px}.stats-row{flex-wrap:wrap;gap:7px;display:flex}.stat{background:var(--s2);border:1px solid var(--bd);border-radius:8px;align-items:center;gap:7px;padding:5px 10px;display:flex}.stat-key{font-size:10px;font-family:var(--mono);color:var(--t2);letter-spacing:.05em}.stat-val{font-size:12px;font-family:var(--mono);color:var(--text);font-weight:700}.stat-val.nv{color:var(--amber)}.stat-val.dv{color:var(--blue)}.panel{flex-direction:column;flex:1;display:flex;overflow:hidden}.panel-head{border-bottom:1px solid var(--bd);flex-shrink:0;align-items:center;gap:12px;padding:12px 18px;display:flex}.panel-title-row{flex:1}.ph-title{align-items:center;gap:8px;margin-bottom:2px;font-size:14px;font-weight:600;display:flex}.ph-dot{border-radius:50%;flex-shrink:0;width:8px;height:8px}.dot-amber{background:var(--amber)}.dot-blue{background:var(--blue)}.dot-green{background:var(--green)}.dot-purple{background:var(--purple)}.ph-sub{color:var(--t2);font-size:12px}.panel-body{flex:1;overflow:auto}.empty{height:100%;color:var(--t3);flex-direction:column;justify-content:center;align-items:center;gap:14px;display:flex}.empty-glyph{opacity:.25;font-size:38px}.empty p{text-align:center;max-width:260px;font-size:13px;line-height:1.6}.graph-wrap{background:var(--bg);cursor:grab;-webkit-user-select:none;user-select:none;width:100%;height:100%;position:relative;overflow:hidden}.graph-wrap:active{cursor:grabbing}.graph-content{transform-origin:0 0;position:absolute;top:0;left:0}.graph-legend{-webkit-backdrop-filter:blur(8px);backdrop-filter:blur(8px);border:1px solid var(--bd);z-index:10;background:#07080fd6;border-radius:10px;flex-direction:column;gap:6px;padding:10px 12px;display:flex;position:absolute;top:12px;right:12px}.lg-item{color:var(--t2);white-space:nowrap;align-items:center;gap:7px;font-size:11px;display:flex}.lg-dot{border-radius:50%;flex-shrink:0;width:10px;height:10px}.lg-dash{background:repeating-linear-gradient(90deg,#a796d8 0 4px,#0000 4px 7px);flex-shrink:0;width:18px;height:2px}.graph-controls{z-index:10;flex-direction:column;gap:4px;display:flex;position:absolute;bottom:16px;right:16px}.gc-btn{border:1px solid var(--bd2);background:var(--s2);width:32px;height:32px;color:var(--t2);cursor:pointer;border-radius:8px;justify-content:center;align-items:center;font-size:15px;font-weight:700;transition:background .12s,color .12s;display:flex}.gc-btn:hover{background:var(--s3);color:var(--text)}.gc-zoom{font-family:var(--mono);letter-spacing:.04em;width:auto;padding:0 8px;font-size:10px}.graph-hint{font-size:10px;font-family:var(--mono);color:var(--t3);pointer-events:none;z-index:10;position:absolute;bottom:16px;left:16px}.tbl-wrap{flex:1;overflow:auto}table{border-collapse:collapse;width:100%;font-family:var(--mono);font-size:12px}thead th{text-align:left;background:var(--s2);color:var(--t2);border-bottom:1px solid var(--bd);z-index:2;white-space:nowrap;letter-spacing:.03em;padding:9px 14px;font-weight:600;position:sticky;top:0}tbody td{color:var(--text);white-space:nowrap;border-bottom:1px solid #ffffff0a;padding:8px 14px}tbody tr:hover td{background:#ffffff06}.cell-state{color:var(--t2);font-size:11px}.cell-start{color:var(--blue);font-weight:700}.cell-accept{color:var(--amber);font-weight:700}.cell-both{color:var(--purple);font-weight:700}.cell-q{color:var(--amber);font-weight:600}.cell-d{color:var(--blue);font-weight:600}.cell-dead-q,.cell-empty{color:var(--t3)}.cell-detail{color:var(--t2);text-overflow:ellipsis;max-width:200px;font-size:11px;overflow:hidden}.sim-body{flex-direction:column;gap:14px;max-width:720px;padding:20px;display:flex}.sim-input-row{gap:8px;display:flex}.sim-input{background:var(--s2);border:1px solid var(--bd);border-radius:var(--r);height:40px;color:var(--text);font-family:var(--mono);outline:none;flex:1;padding:0 14px;font-size:13px;transition:border-color .15s}.sim-input:focus{border-color:var(--bd2)}.quick-tests{flex-wrap:wrap;align-items:center;gap:6px;display:flex}.result-box{border-radius:var(--r);border:1px solid;align-items:center;gap:12px;padding:14px 16px;font-size:14px;font-weight:600;animation:.18s slideIn;display:flex}.result-acc{color:var(--green);background:#30c86a14;border-color:#30c86a4d}.result-rej{color:var(--red);background:#e2404014;border-color:#e240404d}.result-badge{font-size:11px;font-family:var(--mono);letter-spacing:.06em;border-radius:99px;padding:3px 10px;font-weight:700}.result-acc .result-badge{color:var(--green);background:#30c86a26}.result-rej .result-badge{color:var(--red);background:#e2404026}.trace-box{background:var(--s2);border:1px solid var(--bd);border-radius:var(--r);overflow:hidden}.trace-hdr{background:var(--s3);border-bottom:1px solid var(--bd);font-size:10px;font-family:var(--mono);color:var(--t2);letter-spacing:.1em;text-transform:uppercase;padding:8px 14px}.trace-step{font-family:var(--mono);border-bottom:1px solid #ffffff0a;align-items:baseline;gap:10px;padding:6px 14px;font-size:12px;display:flex}.trace-step:last-child{border-bottom:none}.trace-n{color:var(--t3);text-align:right;flex-shrink:0;min-width:16px;font-size:10px}.trace-text{color:var(--t2)}.trace-step.is-final .trace-text{color:var(--text);font-weight:600}.theory-body{flex-direction:column;max-width:840px;padding:20px;display:flex}.step-item{border-bottom:1px solid var(--bd);gap:16px;padding:18px 0;display:flex}.step-item:last-child{border-bottom:none}.step-num{background:var(--s3);border:1px solid var(--bd);width:32px;height:32px;font-family:var(--mono);color:var(--t2);border-radius:8px;flex-shrink:0;justify-content:center;align-items:center;margin-top:2px;font-size:13px;font-weight:700;display:flex}.step-content{flex:1}.step-title{color:var(--text);margin-bottom:8px;font-size:14px;font-weight:600}.step-desc{color:var(--t2);font-size:13px;line-height:1.75}.step-desc strong{color:var(--text);font-weight:600}.step-desc em{color:var(--amber);font-style:normal}.step-desc ul,.step-desc ol{flex-direction:column;gap:5px;margin:8px 0 0 18px;display:flex}.step-desc li{color:var(--t2)}.step-desc code{font-size:.82em}@keyframes slideIn{0%{opacity:0;transform:translateY(-6px)}to{opacity:1;transform:none}}@keyframes fadeIn{0%{opacity:0}to{opacity:1}}.fade-in{animation:.16s fadeIn}@media (width<=960px){html,body{overflow:auto}.app{height:auto;min-height:100vh}.workspace{flex-direction:column}.sidebar{border-right:none;border-bottom:1px solid var(--bd);flex-direction:row;gap:12px;width:100%;padding:8px 10px;overflow:auto hidden}.sb-section{min-width:max-content}.sb-divider{display:none}.main{min-width:0}.input-row,.panel-head,.sim-input-row{flex-wrap:wrap}.graph-legend{max-width:calc(100% - 24px);left:12px;right:auto}}@media (width<=640px){.hdr{flex-wrap:wrap;height:auto;padding:12px 16px}.hdr-right{width:100%;margin-left:0}.input-bar,.panel-head,.sim-body,.theory-body{padding-left:14px;padding-right:14px}.btn,.btn-sm{justify-content:center;width:100%}.input-wrap{width:100%}.sim-input-row{flex-direction:column}.graph-controls{bottom:12px;right:12px}.graph-hint{bottom:12px;left:12px}}