:root{--lightningcss-light: ;--lightningcss-dark:initial;color-scheme:dark;--bg:#0e1116;--panel:#141a22;--fg:#e6edf3;--muted:#9aa7b5;--accent:#4cc2ff;--ok:#7ee787;--warn:#ff7850;--rule:#243041;font-family:IBM Plex Sans,Segoe UI,Helvetica,Arial,sans-serif}*{box-sizing:border-box}html,body{background:radial-gradient(1200px 600px at 10% -10%, #1a2838 0%, transparent 55%), radial-gradient(900px 500px at 100% 0%, #182018 0%, transparent 50%), var(--bg);min-height:100%;color:var(--fg);margin:0}#app.workbench{max-width:72rem;margin:0 auto;padding:2rem 1.25rem 3rem}.wb-header .status{border:1px solid var(--rule);color:var(--accent);letter-spacing:.06em;text-transform:uppercase;border-radius:999px;margin:0 0 1rem;padding:.15rem .55rem;font-size:.75rem;display:inline-block}.wb-header h1{letter-spacing:-.03em;margin:0 0 .5rem;font-size:2.25rem;font-weight:650}.wb-header .tagline{color:var(--muted);margin:0 0 1.25rem;font-size:1.1rem}.stage-nav{flex-wrap:wrap;gap:.5rem;margin-bottom:1rem;display:flex}.stage-nav button{appearance:none;border:1px solid var(--rule);color:var(--muted);cursor:pointer;font:inherit;background:0 0;border-radius:.4rem;padding:.45rem .9rem}.stage-nav button.active{color:var(--fg);border-color:var(--accent);background:#4cc2ff14}.stage-nav button:disabled{opacity:.35;cursor:not-allowed}.wb-banner{color:var(--muted);min-height:1.4em;margin:0 0 1.25rem}.panel{background:color-mix(in srgb, var(--panel) 88%, transparent);border:1px solid var(--rule);border-radius:.75rem;padding:1.25rem 1.35rem 1.5rem}.panel h2{margin:0 0 .5rem;font-size:1.25rem;font-weight:600}.panel h3{color:var(--muted);margin:1rem 0 .5rem;font-size:.95rem;font-weight:600}.muted{color:var(--muted);line-height:1.45}.catalog{gap:1rem;margin:1rem 0 0;padding:0;list-style:none;display:grid}.catalog li{border:1px solid var(--rule);background:#0c1016;border-radius:.5rem;padding:1rem}.catalog strong{margin-bottom:.35rem;display:block}.catalog p{margin:.35rem 0;line-height:1.45}button{appearance:none;border:1px solid var(--accent);color:var(--fg);cursor:pointer;font:inherit;background:#4cc2ff1f;border-radius:.4rem;padding:.55rem 1rem}button:disabled{opacity:.45;cursor:not-allowed}.model-tree,.metrics{grid-template-columns:minmax(7rem,10rem) 1fr;gap:.35rem 1rem;margin:1rem 0;display:grid}.model-tree dt,.metrics dt{color:var(--muted);margin:0}.model-tree dd,.metrics dd{font-variant-numeric:tabular-nums;margin:0}.viz-host{margin:.75rem 0 1rem}.viz-host canvas{border:1px solid var(--rule);touch-action:none;border-radius:.5rem;width:100%;max-width:640px;height:auto;display:block}.mesh-shading{border:1px solid var(--rule);border-radius:.5rem;max-width:640px;margin:.75rem 0 .35rem;padding:.45rem .75rem .65rem}.mesh-shading legend{color:var(--muted);padding:0 .35rem;font-size:.85rem}.mesh-shading-options{flex-wrap:wrap;gap:.65rem 1.1rem;display:flex}.mesh-shading label{cursor:pointer;align-items:center;gap:.35rem;display:inline-flex}.time-scrubber{gap:.35rem;max-width:640px;margin:.25rem 0 1rem;display:grid}.time-scrubber label{color:var(--muted);font-size:.85rem}.time-scrubber input[type=range]{width:100%}.time-scrubber output{font-variant-numeric:tabular-nums;color:var(--fg)}.solve-progress{min-height:1.4em;color:var(--accent);font-variant-numeric:tabular-nums}.gate{margin:.5rem 0 1rem;font-weight:600}.gate.pass{color:var(--ok)}.gate.fail{color:var(--warn)}@media (width<=640px){#app.workbench{padding:1.25rem .85rem 2rem}.wb-header h1{font-size:1.75rem}.model-tree,.metrics{grid-template-columns:1fr}}