/*! tailwindcss v4.3.0 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono)}}@layer base{*,:after,:before,::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){::placeholder{color:currentColor}@supports (color:color-mix(in lab, red, red)){::placeholder{color:color-mix(in oklab, currentcolor 50%, transparent)}}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]){appearance:button}::file-selector-button{appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.visible{visibility:visible}.grid{display:grid}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.border{border-style:var(--tw-border-style);border-width:1px}}:root{color-scheme:dark;color:#e8eef6;background:#0b1117;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}body{background:linear-gradient(#0b1117 0%,#111923 48%,#0b1117 100%);min-height:100vh;margin:0}button,input,select{font:inherit}.app-shell{grid-template-rows:56px 1fr;min-height:100vh;display:grid}.topbar{-webkit-backdrop-filter:blur(16px);backdrop-filter:blur(16px);background:#090f16e0;border-bottom:1px solid #91a3b82e;justify-content:space-between;align-items:center;padding:0 22px;display:flex}.brand,.topbar-actions{align-items:center;gap:12px;font-weight:700;display:flex}.brand{color:#e8eef6;text-decoration:none}.brand-mark{border:2px solid #35d0c7;width:18px;height:18px;box-shadow:inset 6px 0 #d84fd6}.topbar-actions{color:#9fb0c3;font-size:13px}.topbar-actions a{color:#d8e3ef;text-decoration:none}.topbar-link{background:#35d0c70f;border:1px solid #35d0c73d;border-radius:6px;padding:7px 10px}.topbar-link:hover,.topbar-link.active{color:#9fe7e2;border-color:#35d0c78a}.status:before{content:"";background:#45e08e;border-radius:999px;width:7px;height:7px;margin-right:7px;display:inline-block}.workspace{grid-template-columns:minmax(248px,286px) minmax(620px,1.35fr) minmax(292px,330px);gap:14px;min-height:0;padding:14px;display:grid}.sidebar,.stage,.math-panel{background:#0c141ddb;border:1px solid #91a3b829;border-radius:8px}.sidebar{flex-direction:column;align-self:start;gap:12px;min-width:0;padding:12px;display:flex}label,.control-group{color:#9fb0c3;text-transform:uppercase;letter-spacing:0;gap:7px;font-size:12px;font-weight:700;display:grid}input,select{box-sizing:border-box;color:#e8eef6;background:#111b26;border:1px solid #91a3b83d;border-radius:6px;outline:none;width:100%;padding:9px 10px}input:focus,select:focus,button:focus-visible{border-color:#35d0c7;box-shadow:0 0 0 3px #35d0c729}.grid-two{grid-template-columns:1fr 1fr;gap:10px;display:grid}.segments{grid-template-columns:repeat(2,1fr);gap:6px;max-height:540px;padding-right:2px;display:grid;overflow:auto}.solver-browser{gap:8px;display:grid}.solver-browser-meta{color:#9fb0c3;text-transform:none;justify-content:space-between;align-items:center;gap:8px;font-size:11px;font-weight:800;display:flex}.solver-browser-meta button{min-height:28px;padding:5px 8px;font-size:11px}.segments button{white-space:normal;overflow-wrap:anywhere;min-height:68px;padding:8px 6px;font-size:11px;line-height:1.15;overflow:hidden}.segments button small{color:#d8e3efa3;overflow-wrap:anywhere;margin-top:3px;font-size:9px;font-weight:700;line-height:1.1;display:block}.segments button.active small{color:#071014b8}.segments button em{color:#d8e3efb8;text-transform:uppercase;border:1px solid #d8e3ef38;border-radius:999px;margin-top:5px;padding:2px 5px;font-size:8px;font-style:normal;font-weight:900;line-height:1;display:inline-block}.segments button.active em{color:#071014bd;border-color:#07101447}.trace-legend{color:#9fb0c3;grid-template-columns:repeat(2,1fr);gap:6px;font-size:11px;font-weight:800;display:grid}.inline-check{text-transform:none;color:#b7c7d9;grid-template-columns:none;align-items:center;gap:8px;font-size:12px;display:flex}.inline-check input{accent-color:#35d0c7;width:auto}.trace-legend span{align-items:center;gap:5px;min-width:0;display:flex}.trace-legend i{flex:none;width:9px;height:9px}.legend-start{background:#45e08e}.legend-goal{background:#ef5454}.legend-visited{background:#79d6f2}.legend-frontier{background:#f0b84d}.legend-reverse{background:#a98bff}.legend-path{background:#d84fd6}button{color:#d8e3ef;cursor:pointer;background:#121d29;border:1px solid #91a3b83d;border-radius:6px;padding:9px 10px}button:hover{border-color:#35d0c799}button.active,button.primary{color:#071014;background:#35d0c7;border-color:#35d0c7;font-weight:800}.button-row{grid-template-columns:1fr 1fr;gap:10px;display:grid}.stage{background:linear-gradient(#131d29f5,#070d13f5),#0b1117;align-content:start;align-self:start;justify-items:center;gap:14px;min-height:1254px;padding:14px;display:grid}.controls{min-height:1184px}.inspector{min-height:1254px}canvas{width:min(100%,920px);aspect-ratio:var(--maze-aspect,1 / 1);background:#091017;border-radius:8px;height:auto;box-shadow:0 24px 60px #00000052}.algorithm-exhibit{box-sizing:border-box;background:linear-gradient(135deg,#35d0c71a,#0000 44%),#101a25;border:1px solid #35d0c738;border-radius:8px;width:min(100%,920px);padding:16px;box-shadow:0 18px 44px #0003}.exhibit-heading{justify-content:space-between;align-items:start;gap:16px;margin-bottom:10px;display:flex}.exhibit-heading>div:first-child{min-width:0}.exhibit-heading>div:first-child>span{color:#9fb0c3;text-transform:uppercase;font-size:11px;font-weight:900;display:block}.exhibit-heading h2{margin-top:4px}.algorithm-exhibit p{color:#c1cedd;max-width:76ch}.exhibit-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;margin-top:14px;display:grid}.exhibit-grid article{background:#070d1375;border:1px solid #91a3b824;border-radius:8px;min-width:0;padding:12px}.exhibit-grid span{color:#9fb0c3;text-transform:uppercase;font-size:10px;font-weight:900;display:block}.exhibit-grid strong,.exhibit-grid pre{color:#e8eef6;font:inherit;white-space:pre-wrap;margin:7px 0 0;font-size:13px;line-height:1.42;display:block}.inspector section{gap:8px;display:grid}.math-card,.algorithm-anatomy{background:#35d0c70f;border:1px solid #35d0c733;border-radius:8px;padding:12px}.algorithm-anatomy{background:linear-gradient(135deg,#d84fd61f,#0000 52%),#35d0c70d}.panel-heading{justify-content:space-between;align-items:start;gap:10px;display:flex}.badge-stack{flex-wrap:wrap;justify-content:flex-end;gap:6px;display:flex}.badge-stack span{color:#9fe7e2;text-align:right;border:1px solid #35d0c747;border-radius:999px;padding:4px 8px;font-size:10px;font-weight:900;line-height:1.2}.badge-stack .mode-native{color:#79f2b0;border-color:#45e08e5c}.badge-stack .mode-projected{color:#ffd37a;border-color:#f0b84d66}.badge-stack .mode-catalog{color:#aebfff;border-color:#7693ff57}.anatomy-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:8px;display:grid}.anatomy-grid article{background:#101a25bd;border:1px solid #91a3b81f;border-radius:6px;padding:9px}.anatomy-grid article span{color:#9fb0c3;text-transform:uppercase;font-size:10px;font-weight:900;display:block}.anatomy-grid article strong{color:#e8eef6;margin-top:4px;font-size:12px;line-height:1.25;display:block}.math-card strong,.math-card span{color:#e8eef6;font-size:12px;line-height:1.3}.math-card span{color:#9fb0c3}h2,h3,p{margin:0}h2{font-size:20px}h3{color:#e8eef6;font-size:14px}p{color:#9fb0c3;font-size:14px;line-height:1.5}.math-panel{grid-column:1/-1;gap:16px;padding:18px;display:grid}.generator-panel{background:linear-gradient(135deg,#35d0c714,#0000 48%),#0c141ddb}.math-heading{justify-content:space-between;align-items:start;gap:18px;display:flex}.math-heading h3{font-size:18px}.model-badges{flex-wrap:wrap;justify-content:flex-end;gap:8px;display:flex}.model-badges span{color:#9fe7e2;border:1px solid #35d0c752;border-radius:999px;padding:6px 10px;font-size:12px;font-weight:800}.math-grid{grid-template-columns:repeat(4,minmax(0,1fr));gap:12px;display:grid}.math-grid article{background:#101a25;border:1px solid #91a3b824;border-radius:8px;min-width:0;padding:14px}.math-grid span{color:#9fb0c3;text-transform:uppercase;font-size:11px;font-weight:800;display:block}.math-grid strong,.math-grid pre{color:#e8eef6;font:inherit;white-space:pre-wrap;margin:8px 0 0;font-size:14px;line-height:1.45;display:block}.theory,.metrics{grid-template-columns:repeat(2,minmax(0,1fr));gap:7px}.theory div,.metrics div{background:#101a25;border:1px solid #91a3b824;border-radius:8px;padding:9px}.theory span,.metrics span{color:#9fb0c3;font-size:12px;display:block}.theory strong,.metrics strong{margin-top:4px;display:block}.theory strong{font-size:15px;line-height:1.2}.metrics strong{font-size:16px;line-height:1.15}.comparison-panel{background:#101a2594;border:1px solid #91a3b824;border-radius:8px;padding:10px}.comparison-page{gap:14px;padding:14px;display:grid}.comparison-hero,.comparison-control-panel,.comparison-table-panel,.comparison-breakdown article,.comparison-stat-grid article{background:#0c141ddb;border:1px solid #91a3b829;border-radius:8px}.comparison-hero{background:linear-gradient(135deg,#35d0c724,#0000 42%),linear-gradient(#131d29f5,#070d13f5);justify-content:space-between;align-items:end;gap:18px;min-height:180px;padding:26px;display:flex}.comparison-hero h1{color:#e8eef6;margin:0 0 10px;font-size:40px;line-height:1}.comparison-hero p{color:#b7c7d9;max-width:78ch}.comparison-actions{flex:none}.primary-link{color:#071014;background:#35d0c7;border:1px solid #35d0c7;border-radius:6px;justify-content:center;align-items:center;min-height:40px;padding:0 14px;font-weight:900;text-decoration:none;display:inline-flex}.comparison-stat-grid{grid-template-columns:repeat(6,minmax(0,1fr));gap:10px;display:grid}.comparison-stat-grid article{padding:14px}.comparison-stat-grid span,.comparison-control-panel label,.breakdown-list span{color:#9fb0c3;text-transform:uppercase;font-size:11px;font-weight:900}.comparison-stat-grid strong{margin-top:6px;font-size:28px;line-height:1;display:block}.comparison-control-panel{grid-template-columns:minmax(260px,1fr) minmax(220px,320px) minmax(160px,220px) auto;align-items:end;gap:12px;padding:14px;display:grid}.comparison-count{color:#9fe7e2;text-align:right;font-size:13px;font-weight:900}.comparison-table-panel{max-height:62vh;padding:10px 14px;overflow:auto}.comparison-table{font-size:13px}.comparison-table th{z-index:1;background:#0f1924;position:sticky;top:0}.comparison-table td strong{color:#e8eef6}.comparison-breakdown{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px;display:grid}.comparison-breakdown article{padding:16px}.comparison-breakdown h2{color:#e8eef6;margin:0 0 12px;font-size:18px}.breakdown-list{gap:8px;display:grid}.breakdown-list div{border-bottom:1px solid #91a3b81f;grid-template-columns:1fr auto;align-items:center;gap:10px;padding-bottom:8px;display:grid}.breakdown-list strong{color:#e8eef6}.comparison-panel summary{color:#e8eef6;cursor:pointer;font-weight:800}.comparison-panel[open]{max-height:300px;overflow:auto}table{border-collapse:collapse;table-layout:fixed;width:100%;font-size:12px}.catalog-summary{background:#35d0c70f;border:1px solid #35d0c73d;border-radius:8px;padding:12px}.roadmap-list{gap:8px;margin-top:10px;display:grid}.roadmap-row{color:#9fb0c3;border-bottom:1px solid #91a3b81f;grid-template-columns:auto 1fr;align-items:center;gap:4px 8px;padding-bottom:8px;font-size:12px;display:grid}.roadmap-row strong{color:#e8eef6}.roadmap-row span:last-of-type,.roadmap-row em{grid-column:2;font-style:normal}.status-pill{text-transform:uppercase;border-radius:999px;width:max-content;padding:3px 7px;font-size:10px;font-weight:900;display:inline-flex}.status-pill.implemented{color:#79f2b0;background:#45e08e29}.status-pill.planned{color:#ffd37a;background:#f0b84d26}.status-pill.backlog{color:#aebfff;background:#7693ff29}th,td{text-align:left;vertical-align:top;overflow-wrap:anywhere;border-bottom:1px solid #91a3b824;padding:8px 4px}th{color:#9fb0c3;text-transform:uppercase;font-size:11px}@media (max-width:980px){.workspace{grid-template-columns:1fr}.sidebar,.controls,.inspector,.stage{min-height:auto}canvas,.algorithm-exhibit{width:min(100%,86vw)}.math-heading{display:grid}.model-badges{justify-content:flex-start}.math-grid{grid-template-columns:1fr 1fr}.stage{order:-1;min-height:auto}.comparison-hero,.comparison-control-panel{display:grid}.comparison-stat-grid,.comparison-breakdown{grid-template-columns:repeat(2,minmax(0,1fr))}.comparison-control-panel{grid-template-columns:1fr}.comparison-count{text-align:left}}@media (max-width:560px){.exhibit-heading{display:grid}.exhibit-grid,.math-grid,.comparison-stat-grid,.comparison-breakdown{grid-template-columns:1fr}.comparison-hero h1{font-size:30px}table,thead,tbody,tr,td{display:block}thead{display:none}tr{border-bottom:1px solid #91a3b82e;padding:10px 0}td{border-bottom:0;grid-template-columns:86px 1fr;gap:10px;padding:4px 0;display:grid}td:before{content:attr(data-label);color:#9fb0c3;text-transform:uppercase;font-size:10px;font-weight:800}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}