:root{color-scheme:dark;--bg:#101411;--surface:#171c18;--line:#2d352e;--text:#e7ece3;--muted:#929e91;--green:#c6f28e;--red:#ffafa2;--mono:ui-monospace,SFMono-Regular,Consolas,monospace;--sans:Inter,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}*{box-sizing:border-box}body{margin:0;background:var(--bg);color:var(--text);font-family:var(--sans);font-size:14px}.shell{max-width:1400px;margin:auto;padding:0 44px}button,input,select{font:inherit}button,a,input,select,summary{-webkit-tap-highlight-color:transparent}a{color:inherit;text-decoration:none}a:hover{color:var(--green)}button{cursor:pointer}button:disabled{cursor:default;opacity:.4}button:focus-visible,a:focus-visible,summary:focus-visible,input:focus-visible,select:focus-visible{outline:2px solid var(--green);outline-offset:4px}.masthead{height:90px;display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line)}.brand{display:flex;align-items:center;font-weight:700;font-size:23px;letter-spacing:-1px}.brand-icon{color:var(--green);font-size:39px;margin-right:12px;font-weight:400}.brand-light{font-weight:400;color:var(--muted)}.header-right{display:flex;align-items:center;gap:9px;font:10px var(--mono);letter-spacing:1px}.header-right a{font:12px var(--mono);letter-spacing:0;margin-left:25px}.status-dot{width:5px;height:5px;border-radius:50%;background:var(--green)}.intro{display:flex;align-items:flex-end;justify-content:space-between;padding:47px 0 36px}.eyebrow{font:10px var(--mono);letter-spacing:1.6px;color:var(--green);margin:0 0 14px}h1{font-size:clamp(30px,3.2vw,44px);line-height:1.15;letter-spacing:-1.8px;margin:0;font-weight:550}h1 span{color:var(--muted)}.lede{font-size:14px;color:var(--muted);margin:14px 0 0}.version-label{font:9px/2 var(--mono);letter-spacing:1px;color:var(--muted);text-align:right}.version-label span{font-size:8px;color:#657161}.workbench{display:grid;grid-template-columns:300px minmax(0,1fr);gap:20px;align-items:start}.panel{border:1px solid var(--line);background:var(--surface);border-radius:10px}.controls{padding:24px}.field-label{display:flex;justify-content:space-between;font:10px var(--mono);letter-spacing:1px;color:#b2bdad;margin-bottom:14px}.field-label span+span{color:#6f7c6d;letter-spacing:0}.expression-field{display:flex;align-items:center;border:1px solid #45523f;background:#111610;border-radius:6px;padding:0 11px;color:var(--green);font:18px var(--mono)}.expression-field:focus-within{border-color:var(--green)}.expression-field input{min-width:0;width:100%;border:0;background:none;outline:none;color:var(--text);padding:14px 6px;font:16px var(--mono)}.hint{color:var(--muted);font-size:11px;line-height:1.6;margin:9px 0 15px}.examples{display:flex;gap:5px;margin:0 0 18px}.example{font-size:10px;border:1px solid var(--line);color:#aebaa7;background:transparent;border-radius:4px;padding:7px}.example:hover,.example.active{color:var(--green);border-color:#596a49;background:#20291b}.compile-button{display:flex;justify-content:space-between;align-items:center;width:100%;padding:13px 15px;border:0;border-radius:5px;font-size:12px;font-weight:600;background:var(--green);color:#1a2412}.compile-button:hover{background:#d3ffa0}.compile-button span{font-size:18px}.control-divider{height:1px;background:var(--line);margin:25px 0}.test-input{width:100%;background:#111610;border:1px solid var(--line);border-radius:5px;padding:12px;color:var(--text);font:16px var(--mono)}.verdict{display:flex;align-items:center;gap:10px;margin:18px 0 20px;color:var(--green);min-height:34px}.verdict-icon{display:grid;place-items:center;border-radius:50%;width:27px;height:27px;background:#25351d;font-size:14px}.verdict strong{display:block;font-size:13px;font-weight:500}.verdict small{display:block;color:var(--muted);font-size:10px;margin-top:5px}.verdict.rejected{color:var(--red)}.verdict.rejected .verdict-icon{background:#382620}.trace-controls{display:flex;gap:6px}.trace-controls button{border:1px solid #414c3b;background:#20271e;color:var(--text);padding:9px 11px;border-radius:4px;font:14px var(--mono)}.trace-controls #step{flex:1;color:var(--green);font-size:12px}.trace-controls button:hover:not(:disabled){background:#303d28}.tape{display:flex;gap:4px;overflow-x:auto;padding:16px 0 4px;min-height:48px}.tape span{flex:none;display:grid;place-items:center;width:27px;height:30px;border:1px solid var(--line);font:12px var(--mono);border-radius:3px;color:var(--muted)}.tape span.consumed{background:#26391e;color:var(--green);border-color:#486834}.tape span.next{border-bottom:2px solid var(--green);color:var(--text)}.trace-caption{font:10px/1.7 var(--mono);color:var(--muted);margin:7px 0 21px;min-height:34px;overflow-wrap:anywhere}.syntax{border-top:1px solid var(--line);padding-top:19px}.syntax summary{display:flex;justify-content:space-between;color:#aebaa7;font-size:11px;cursor:pointer;list-style:none}.syntax summary::-webkit-details-marker{display:none}.syntax[open] summary{color:var(--green)}.syntax p{font-size:11px;line-height:1.7;color:var(--muted)}code{color:var(--text);font-family:var(--mono);font-size:.95em}.error{padding:12px;background:#38231d;border:1px solid #754a3c;border-radius:5px;color:#ffbcaa;font-size:11px;line-height:1.6;margin-top:12px;overflow-wrap:anywhere}.stage-nav{display:flex;align-items:center;padding:15px 24px;border-bottom:1px solid var(--line);gap:8px}.stage-nav button{border:0;background:none;color:var(--muted);padding:9px 10px;border-radius:5px;font-size:12px}.stage-nav button span{font:9px var(--mono);margin-right:9px;opacity:.65}.stage-nav button[aria-selected=true]{background:#2a3820;color:var(--green)}.stage-arrow{font:13px var(--mono);color:#55614f}.machine-heading{display:flex;justify-content:space-between;align-items:flex-start;padding:25px 27px 0;gap:10px}h2{font-size:17px;font-weight:500;letter-spacing:-.4px;margin:0}.machine-heading p{font-size:11px;color:var(--muted);margin:8px 0 0;line-height:1.5}.graph-badge{white-space:nowrap;font:9px var(--mono);letter-spacing:1px;color:#afbea3;border:1px solid #394632;border-radius:4px;padding:6px 8px}.diagram-wrap{position:relative;background-image:radial-gradient(#3b49313d 1px,transparent 1px);background-size:20px 20px;margin:14px 14px 0}#graph{display:block;width:100%;height:auto;min-height:280px;max-height:420px;overflow:visible}.diagram-legend{display:flex;justify-content:center;gap:20px;font:9px var(--mono);color:var(--muted);padding:6px 0 20px}.diagram-legend>span{display:flex;align-items:center;gap:6px}.diagram-legend i{width:9px;height:9px;border:1px solid #768467;border-radius:50%;display:inline-block}.diagram-legend .legend-active{background:var(--green);border-color:var(--green)}.diagram-legend .legend-accept{outline:1px solid #768467;outline-offset:2px;width:6px;height:6px}.edge{fill:none;stroke:#5c7050;stroke-width:1.2}.edge.active-edge{stroke:var(--green);stroke-width:2}.edge-label{fill:#adbd9c;font:10px var(--mono);paint-order:stroke;stroke:#171c18;stroke-width:5px;stroke-linejoin:round}.state-circle{fill:#1d261b;stroke:#708663;stroke-width:1.3}.state-ring{fill:none;stroke:#708663;stroke-width:1}.state-label{fill:#d4dfcc;font:11px var(--mono);text-anchor:middle;dominant-baseline:middle}.state{cursor:pointer}.state.selected .state-circle{stroke:#e7ece3;stroke-width:2}.state.active .state-circle{fill:var(--green);stroke:var(--green);filter:drop-shadow(0 0 7px #c6f28e26)}.state.active .state-label{fill:#1c2d11}.state.active .state-ring{stroke:#263e16}.state:hover .state-circle{stroke:#fff;stroke-width:2}.graph-notice{margin:0 24px 14px;color:var(--muted);font-size:10px;line-height:1.6}.metrics{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line);padding:21px 25px;gap:15px}.metrics>div{border-left:1px solid var(--line);padding-left:23px}.metrics>div:first-child{border:0;padding-left:0}.metrics span{display:block;color:var(--muted);font:8px var(--mono);letter-spacing:.8px}.metrics strong{display:block;font:24px var(--mono);margin-top:9px;font-weight:400}.metrics>div:nth-child(3) strong{color:var(--green)}.inspection{padding:22px 25px}.inspection-heading{display:flex;align-items:center;gap:12px}.inspection-heading h3{font-size:12px;font-weight:500;margin:0}.inspection-heading select{margin-left:auto;background:#111610;border:1px solid #394632;color:var(--text);border-radius:4px;padding:6px 9px;font:11px var(--mono)}.inspection-heading>span{font:9px var(--mono);color:var(--green)}.state-origin{font:10px/1.6 var(--mono);color:var(--muted);margin:13px 0;overflow-wrap:anywhere}.table-scroll{max-height:150px;overflow:auto}table{width:100%;border-collapse:collapse;text-align:left;font:10px var(--mono)}th{position:sticky;top:0;background:var(--surface);color:#788870;font-size:8px;font-weight:400;padding:9px 8px;border-bottom:1px solid var(--line)}td{padding:10px 8px;border-bottom:1px solid #253020;color:#bbc9b0;word-break:break-word}td:first-child{color:var(--green);max-width:280px}td button{color:var(--text);border:0;background:none;padding:0;font:inherit;text-decoration:underline;text-underline-offset:3px}.build-status{padding:12px 25px;font:9px var(--mono);color:#849079;border-top:1px solid var(--line)}.explanation{display:grid;grid-template-columns:repeat(3,1fr);gap:50px;padding:39px 0}.explanation span{font:8px var(--mono);letter-spacing:1px;color:#889a78}.explanation h3{font-size:14px;font-weight:500;margin:12px 0 9px}.explanation p{font-size:12px;line-height:1.8;color:var(--muted);margin:0}footer{display:flex;justify-content:space-between;gap:20px;border-top:1px solid var(--line);padding:26px 0 35px;color:#819075;font:9px/1.7 var(--mono)}footer a{color:#b4c6a5}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}@media(min-width:1500px){.shell{padding:0 50px}}@media(max-width:1100px){.shell{padding:0 25px}.workbench{grid-template-columns:270px minmax(0,1fr);gap:15px}.controls{padding:20px}.version-label{display:none}.stage-nav{padding:13px 12px;gap:3px}.stage-nav button{padding:9px 6px;font-size:11px}.stage-nav button span{margin-right:5px}.machine-heading{padding:22px 20px 0}.metrics{padding:18px;gap:10px}.metrics>div{padding-left:12px}.metrics span{font-size:7px}.graph-badge{display:none}.diagram-legend{gap:12px;font-size:8px}.explanation{gap:25px}footer>span:nth-child(2){display:none}}@media(max-width:760px){.shell{padding:0 18px}.masthead{height:73px}.brand{font-size:20px}.brand-icon{font-size:32px}.local-label,.status-dot{display:none}.header-right a{margin:0;font-size:11px}.intro{padding:30px 0 27px}h1{font-size:33px;letter-spacing:-1.5px}.eyebrow{font-size:8px;letter-spacing:1.1px}.lede{font-size:12px}.workbench{grid-template-columns:1fr;gap:17px}.controls{padding:21px}.examples{margin-bottom:15px}.control-divider{margin:21px 0}.syntax{padding-top:15px}.trace-caption{min-height:0;margin-bottom:17px}.verdict{margin:16px 0}.stage-nav{padding:13px 15px;justify-content:space-between}.stage-nav button{padding:9px 6px;font-size:11px}.stage-nav button span{font-size:8px}.machine-heading{padding:22px 20px 0}.machine-heading p{font-size:10px}h2{font-size:16px}#graph{min-height:240px}.diagram-wrap{margin:8px 4px 0}.diagram-legend{gap:13px;padding-bottom:18px}.metrics{padding:19px 15px;gap:9px}.metrics>div{padding-left:10px}.metrics strong{font-size:21px}.metrics span{font-size:6.5px;letter-spacing:.4px}.inspection{padding:21px 17px}.inspection-heading{gap:7px}.inspection-heading>span{font-size:8px}.build-status{padding:12px 17px;font-size:8px;line-height:1.8}.explanation{grid-template-columns:1fr;gap:24px;padding:30px 0}.explanation p{font-size:11px}.explanation h3{margin-top:8px}footer{font-size:8px;padding-top:23px}}@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}
/* Allow long expressions and trace tapes to shrink inside the mobile grid. */
.controls,.explorer{min-width:0}
@media(max-width:760px){.workbench{grid-template-columns:minmax(0,1fr)}}