:root{color:#182333;font-synthesis:none;text-rendering:optimizelegibility;--bg:#f3f7fb;--surface:#fff;--surface-soft:#f7f9fc;--surface-strong:#edf2f7;--text:#182333;--muted:#68778a;--line:#dce5ee;--line-strong:#cbd7e3;--navy:#101d31;--navy-soft:#1c2c46;--accent:#536bea;--accent-strong:#4056c9;--accent-soft:#edf0ff;--success:#138674;--success-soft:#e3f6f1;--blue-soft:#eaf2ff;--warning:#a76815;--warning-soft:#fff4dd;--danger:#bd3c45;--danger-soft:#fff0f1;--shadow:0 10px 30px #13263f0f;--radius:14px;background:#f3f7fb;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,Segoe UI,sans-serif}*{box-sizing:border-box}html{background:var(--bg);scroll-behavior:smooth;min-width:320px}body{background:var(--bg);min-width:320px;min-height:100vh;color:var(--text);margin:0}button,input,textarea,select{font:inherit}button,a,select,summary{-webkit-tap-highlight-color:transparent}button{color:inherit}body,.topbar,.sidebar,.card,.icon-button,textarea,select,.run-summary{transition:background-color .18s,border-color .18s,color .18s}svg{flex:none;width:18px;height:18px}.sr-only{clip:rect(0, 0, 0, 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}.skip-link{z-index:100;background:var(--accent);color:#071712;border-radius:8px;padding:10px 14px;font-weight:700;text-decoration:none;position:fixed;top:-60px;left:16px}.skip-link:focus{top:10px}.app-shell{min-height:100vh}.topbar{z-index:40;background:color-mix(in srgb, var(--surface) 94%, transparent);border-bottom:1px solid var(--line);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);justify-content:space-between;align-items:center;gap:20px;height:68px;padding:0 24px;display:flex;position:fixed;inset:0 0 auto}.brand{cursor:pointer;text-align:left;background:0 0;border:0;align-items:center;gap:12px;min-width:0;padding:4px;display:flex}.alpha-logo{background:var(--navy);color:#69dfc8;border-radius:10px;place-items:center;width:38px;height:38px;font-family:Georgia,serif;font-size:27px;line-height:1;display:grid}.brand-copy{gap:2px;display:grid}.brand-copy small{color:var(--muted);letter-spacing:.01em;font-size:11px}.topbar-actions{align-items:center;gap:10px;display:flex}.icon-button{border:1px solid var(--line);background:var(--surface);cursor:pointer;border-radius:10px;place-items:center;width:44px;height:44px;padding:0;display:grid}.icon-button:hover{background:var(--surface-soft);border-color:var(--line-strong)}.menu-toggle{display:none}.model-chip{border:1px solid var(--line);background:var(--surface-soft);border-radius:999px;align-items:center;gap:8px;min-height:38px;padding:0 12px;font-size:12px;display:flex}.status-dot{background:#8997aa;border-radius:50%;width:8px;height:8px;box-shadow:0 0 0 4px #8997aa26}.model-ready .status-dot,.model-loaded .status-dot{background:var(--success);box-shadow:0 0 0 4px color-mix(in srgb, var(--success) 18%, transparent)}.model-verification_failed .status-dot,.model-unavailable .status-dot{background:var(--danger)}.model-chip-name{font-weight:650}.sidebar{z-index:30;background:var(--navy);color:#dbe7f6;flex-direction:column;justify-content:space-between;width:236px;padding:24px 16px;display:flex;position:fixed;top:68px;bottom:0;left:0}.sidebar nav{gap:7px;display:grid}.nav-item{color:#aebdd0;cursor:pointer;text-align:left;background:0 0;border:1px solid #0000;border-radius:9px;align-items:center;gap:13px;width:100%;min-height:46px;padding:0 14px;font-size:14px;font-weight:550;display:flex}.nav-item.active{color:#fff;background:#4ed0b51f;border-color:#4ed0b53b;box-shadow:inset 3px 0 #4ed0b5}.environment-card{background:#ffffff0a;border:1px solid #ffffff1a;border-radius:11px;align-items:flex-start;gap:11px;padding:14px;display:flex}.environment-card>div{gap:5px;display:grid}.environment-card strong{font-size:12px}.environment-card span{color:#94a8c0;font-size:11px;line-height:1.45}.environment-icon{background:#4ed0b524;border-radius:50%;place-items:center;width:22px;height:22px;display:grid}.environment-icon span{background:#4ed0b5;border-radius:50%;width:8px;height:8px}.github-link{color:#94a8c0;border-radius:8px;align-items:center;gap:10px;min-height:40px;padding:0 14px;font-size:12px;font-weight:650;text-decoration:none;display:flex}.github-link svg{width:16px;height:16px}.nav-scrim{display:none}.standard-view,.workbench-view{width:min(100%,1500px);margin:0 auto}.page-intro{max-width:830px;margin-bottom:30px}.page-intro h1{letter-spacing:-.04em;margin:9px 0 10px;font-size:clamp(30px,3.2vw,46px);line-height:1.08}.compact-intro{margin-bottom:22px}.compact-intro h1{font-size:clamp(26px,2.4vw,38px)}.eyebrow{color:var(--accent-strong);letter-spacing:.095em;text-transform:uppercase;align-items:center;gap:7px;font-size:12px;font-weight:750;display:inline-flex}.eyebrow svg{width:15px;height:15px}.card{background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);box-shadow:var(--shadow)}.card-heading{margin-bottom:18px}.card-heading h2,.example-card h2,.doc-card h2,.about-grid h2{letter-spacing:-.012em;margin:0;font-size:16px}.card-heading p{color:var(--muted);margin:4px 0 0;font-size:12px;line-height:1.5}.step-heading{align-items:flex-start;gap:11px;display:flex}.step-badge{background:var(--accent-soft);width:25px;height:25px;color:var(--accent-strong);border-radius:7px;flex:none;place-items:center;font-size:12px;font-weight:750;display:grid}.workbench-grid{grid-template-columns:minmax(330px,.56fr) minmax(560px,1fr);align-items:start;gap:20px;display:grid}.problem-card{padding:22px;position:sticky;top:88px}.field-label{margin:0 0 7px;font-size:12px;font-weight:700;display:block}textarea{resize:vertical;border:1px solid var(--line-strong);background:var(--surface-soft);width:100%;min-height:168px;color:var(--text);border-radius:10px;padding:14px;font-size:14px;line-height:1.6}textarea:hover,textarea:focus{border-color:var(--accent);background:var(--surface)}textarea[aria-invalid=true]{border-color:var(--danger)}.field-meta{color:var(--muted);justify-content:space-between;gap:12px;margin-top:7px;font-size:10px;line-height:1.45;display:flex}.character-count{white-space:nowrap;font-variant-numeric:tabular-nums}.error-text,.input-error{color:var(--danger)}.input-error,.validation-note{margin:7px 0 0;font-size:11px;line-height:1.45}.validation-note{color:var(--accent-strong)}.input-actions{gap:8px;margin:14px 0;display:flex}.compact-button,.text-button{border:1px solid var(--line);background:var(--surface);min-height:38px;color:var(--text);cursor:pointer;border-radius:8px;justify-content:center;align-items:center;gap:7px;padding:0 12px;font-size:12px;font-weight:650;display:inline-flex}.compact-button:hover{border-color:var(--line-strong);background:var(--surface-soft)}.compact-button:disabled{opacity:.45;cursor:not-allowed}.compact-button svg,.text-button svg{width:15px;height:15px}.select-label{flex:1;position:relative}.select-label select{appearance:none;border:1px solid var(--line);background:var(--surface);width:100%;min-height:38px;color:var(--text);cursor:pointer;border-radius:8px;padding:0 34px 0 11px;font-size:12px}.select-label>svg{pointer-events:none;width:15px;height:15px;color:var(--muted);position:absolute;top:11px;right:10px}.preview-panel{border:1px solid var(--line);border-radius:10px;overflow:hidden}.preview-header{background:var(--surface-strong);color:var(--muted);text-transform:uppercase;letter-spacing:.05em;justify-content:space-between;gap:10px;padding:9px 11px;font-size:10px;font-weight:650;display:flex}.problem-preview{min-height:62px;color:var(--text);white-space:pre-wrap;overflow-wrap:anywhere;padding:13px;font-size:13px;line-height:1.55}.preview-equation,.preview-latex{font-family:Georgia,Times New Roman,serif;font-size:15px}.model-identity{background:var(--surface-soft);border-radius:9px;justify-content:space-between;align-items:center;gap:12px;margin:14px 0 0;padding:12px;display:flex}.model-identity>div{gap:3px;display:grid}.model-identity>div span{color:var(--muted);text-transform:uppercase;letter-spacing:.07em;font-size:10px}.model-identity strong{font-size:11px}.identity-state{color:var(--muted);text-transform:capitalize;align-items:center;gap:6px;font-size:10px;display:inline-flex}.identity-state>span{background:#8d9bae;border-radius:50%;width:7px;height:7px}.state-ready>span,.state-loaded>span{background:var(--success)}.execution-warning{border:1px solid color-mix(in srgb, var(--warning) 27%, transparent);background:var(--warning-soft);color:var(--warning);border-radius:9px;gap:9px;margin:12px 0;padding:10px 11px;display:flex}.execution-warning svg{width:16px;height:16px;margin-top:1px}.execution-warning p{margin:0;font-size:10px;line-height:1.5}.verification-recovery{border:1px solid color-mix(in srgb, var(--danger) 28%, transparent);background:var(--danger-soft);color:var(--danger);border-radius:9px;gap:10px;margin:12px 0;padding:12px;display:flex}.verification-recovery>svg{width:17px;height:17px;margin-top:1px}.verification-recovery>div{gap:5px;min-width:0;display:grid}.verification-recovery strong{font-size:12px}.verification-recovery p,.verification-recovery span{margin:0;font-size:10px;line-height:1.45}.verification-recovery span{font-family:DM Mono,SFMono-Regular,Consolas,monospace}.retry-button{background:var(--surface);width:fit-content;margin-top:4px}.primary-action{background:var(--accent);color:#061713;cursor:pointer;width:100%;min-height:48px;box-shadow:0 8px 18px color-mix(in srgb, var(--accent) 22%, transparent);border:0;border-radius:9px;justify-content:center;align-items:center;gap:9px;font-size:13px;font-weight:800;display:flex}.primary-action:disabled{opacity:.42;cursor:not-allowed;box-shadow:none}.primary-action kbd{background:#ffffff4d;border:1px solid #00000029;border-radius:5px;margin-left:auto;padding:3px 6px;font-family:inherit;font-size:9px}.spin{animation:1s linear infinite spin}@keyframes spin{to{transform:rotate(360deg)}}.results-column{gap:20px;min-width:0;display:grid}.program-heading-row{justify-content:space-between;align-items:flex-start;gap:16px;display:flex}.program-actions{flex-wrap:wrap;justify-content:flex-end;align-items:center;gap:7px;display:flex}.language-badge,.secondary-badge{background:var(--blue-soft);color:#4776b7;border-radius:7px;align-items:center;gap:6px;min-height:30px;padding:0 9px;font-size:10px;font-weight:750;display:inline-flex}.language-badge svg{width:14px;height:14px}.secondary-badge{background:var(--accent-soft);color:var(--accent-strong)}.dark-button{color:#f4f7fb;background:#26344a;border-color:#35455d}.dark-button:hover{background:#34465f}.code-surface{color:#eaf1f8;scrollbar-color:#3b4d67 transparent;background:#101a2a;border-radius:10px;min-height:410px;overflow:auto}.code-surface pre{min-width:max-content;margin:0;padding:16px 0;font-family:DM Mono,SFMono-Regular,Consolas,monospace;font-size:12px;line-height:1.7}.code-line{min-height:20px;display:flex}.line-number{color:#64748b;text-align:right;-webkit-user-select:none;user-select:none;flex:none;width:48px;padding-right:13px}.code-empty{color:#8998ad;text-align:center;flex-direction:column;justify-content:center;align-items:center;gap:8px;min-height:410px;padding:30px;display:flex}.code-empty svg{color:#4ed0b5;width:28px;height:28px}.code-empty span{max-width:320px;font-size:11px;line-height:1.5}.code-meta{color:var(--muted);justify-content:space-between;gap:12px;margin-top:10px;font-family:DM Mono,monospace;font-size:9px;display:flex}.compact-run-status{color:var(--muted);flex-wrap:wrap;align-items:center;gap:7px;margin-top:7px;font-size:10px;display:flex}.compact-run-status strong{color:var(--text);font-size:11px}.compact-run-status>span:last-child:not(.status-dot){flex-basis:100%}.compact-run-status.status-completed .status-dot,.compact-run-status.status-completed-with-no-output .status-dot{background:var(--success);box-shadow:0 0 0 4px color-mix(in srgb, var(--success) 18%, transparent)}.compact-run-status.status-blocked .status-dot,.compact-run-status.status-timed-out .status-dot,.compact-run-status.status-failed .status-dot{background:var(--danger);box-shadow:0 0 0 4px color-mix(in srgb, var(--danger) 15%, transparent)}.compact-run-status.status-generating .status-dot,.compact-run-status.status-running .status-dot{background:var(--accent);box-shadow:0 0 0 4px color-mix(in srgb, var(--accent) 18%, transparent)}.program-output{border-top:1px solid var(--line);margin-top:16px;padding-top:16px}.program-output h3{margin:0 0 9px;font-size:13px}.program-output pre{color:#dce6f2;white-space:pre-wrap;overflow-wrap:anywhere;background:#101a2a;border-radius:9px;max-height:170px;margin:0;padding:12px;font-family:DM Mono,monospace;font-size:11px;line-height:1.6;overflow:auto}.safety-note{color:var(--muted);align-items:flex-start;gap:7px;margin:12px 0;font-size:10px;line-height:1.5;display:flex}.safety-note svg{width:14px;height:14px;color:var(--warning);margin-top:1px}.public-demo-notice{border:1px solid var(--line);background:var(--surface-soft);color:var(--text);border-radius:8px;padding:10px 11px;font-size:11px}.public-demo-notice svg{color:var(--accent-strong)}.action-error{margin:10px 0 0}.request-notice{background:var(--surface-soft);min-height:36px;color:var(--muted);border-radius:8px;margin-top:10px;padding:10px 12px;font-size:11px;line-height:1.45}.route-note,.about-disclaimer{color:var(--muted);margin:18px 0 0;font-size:12px;line-height:1.6}.about-disclaimer{margin-bottom:18px}.results-lower-grid{grid-template-columns:minmax(0,1fr) minmax(280px,.82fr);gap:20px;display:grid}.output-status-row{color:var(--muted);justify-content:space-between;gap:12px;margin-bottom:10px;font-size:10px;display:flex}.result-status{font-weight:750}.result-success{color:var(--success)}.result-failed,.result-policy_blocked,.result-syntax_error{color:var(--danger)}.stdout-surface,.raw-response-block pre{color:#dce6f2;white-space:pre-wrap;overflow-wrap:anywhere;background:#101a2a;border-radius:9px;min-height:110px;max-height:220px;padding:13px;font-family:DM Mono,monospace;font-size:11px;line-height:1.6;overflow:auto}.parsed-output{background:var(--accent-soft);border-radius:8px;justify-content:space-between;align-items:center;gap:14px;margin-top:11px;padding:11px;display:flex}.parsed-output span{color:var(--accent-strong);font-size:10px;font-weight:700}.parsed-output strong{overflow-wrap:anywhere;max-width:60%;color:var(--accent-strong);text-align:right;font-family:DM Mono,monospace;font-size:12px}.stderr-note{background:var(--danger-soft);color:var(--danger);border-radius:8px;margin-top:10px;padding:10px;font-size:10px}.stderr-note pre{white-space:pre-wrap;margin:6px 0 0}.pipeline-list{margin:0;padding:0;list-style:none}.pipeline-stage{grid-template-columns:24px 18px minmax(0,1fr) auto;align-items:center;column-gap:7px;min-height:38px;font-size:10px;display:grid;position:relative}.pipeline-stage:not(:last-child):after{content:"";background:var(--line);width:1px;position:absolute;top:29px;bottom:-9px;left:11px}.stage-icon{background:var(--surface-strong);width:24px;height:24px;color:var(--muted);z-index:1;border-radius:50%;place-items:center;display:grid}.stage-icon svg{width:12px;height:12px}.stage-index{color:var(--muted);font-family:DM Mono,monospace}.stage-label{min-width:0;font-weight:650}.stage-state{color:var(--muted);text-transform:capitalize}.stage-detail{color:var(--muted);grid-column:3/5;padding:1px 0 8px;font-size:9px}.stage-passed .stage-icon{background:var(--success-soft);color:var(--success)}.stage-failed .stage-icon{background:var(--danger-soft);color:var(--danger)}.stage-warning .stage-icon{background:var(--warning-soft);color:var(--warning)}.stage-active .stage-icon{background:var(--blue-soft);color:#4c7fc1}.stage-active .stage-icon svg{animation:1.2s linear infinite spin}.advanced-card{box-shadow:none}.advanced-card summary{cursor:pointer;justify-content:space-between;align-items:center;min-height:30px;font-size:13px;font-weight:700;list-style:none;display:flex}.advanced-card summary::-webkit-details-marker{display:none}.advanced-card[open] summary svg{transform:rotate(180deg)}.advanced-grid{border:1px solid var(--line);background:var(--line);border-radius:9px;grid-template-columns:repeat(4,minmax(0,1fr));gap:1px;margin-top:16px;display:grid;overflow:hidden}.detail-item{background:var(--surface);align-content:start;gap:5px;min-height:68px;padding:10px;display:grid}.detail-item span,.raw-response-block>span{color:var(--muted);text-transform:uppercase;letter-spacing:.045em;font-size:9px}.detail-item strong{overflow-wrap:anywhere;min-width:0;font-family:DM Mono,monospace;font-size:9px;line-height:1.45}.raw-response-block{margin-top:14px}.raw-response-block pre{min-height:70px;max-height:170px;margin:7px 0 0}.error-banner{border:1px solid color-mix(in srgb, var(--danger) 25%, transparent);background:var(--danger-soft);color:var(--danger);border-radius:10px;align-items:center;gap:10px;margin-top:16px;padding:12px 14px;font-size:12px;display:flex}.boot-error{width:min(100%,1500px);margin:0 auto 16px}.run-summary{border:1px solid var(--line);background:var(--surface);box-shadow:var(--shadow);border-radius:12px;grid-template-columns:repeat(4,minmax(100px,1fr)) auto;align-items:center;gap:10px;margin-top:20px;padding:12px 14px;display:grid}.run-summary>div{gap:3px;display:grid}.run-summary span{color:var(--muted);text-transform:uppercase;letter-spacing:.05em;font-size:9px}.run-summary strong{font-family:DM Mono,monospace;font-size:10px}.summary-link{background:var(--surface-soft);border-radius:8px;align-items:center;min-height:38px;padding:0 12px;font-size:11px;font-weight:700;text-decoration:none;display:inline-flex}.example-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;display:grid}.example-card{flex-direction:column;min-height:240px;padding:23px;display:flex;position:relative;overflow:hidden}.example-number{color:var(--surface-strong);letter-spacing:-.08em;font-size:54px;font-weight:800;position:absolute;top:5px;right:15px}.category-label{background:var(--accent-soft);color:var(--accent-strong);text-transform:uppercase;letter-spacing:.06em;border-radius:6px;align-self:flex-start;margin-bottom:24px;padding:5px 8px;font-size:9px;font-weight:750}.example-card h2{font-size:17px;position:relative}.example-card p{color:var(--muted);flex:1;font-size:13px;line-height:1.65;position:relative}.text-button{color:var(--accent-strong);background:0 0;border:0;align-self:flex-start;padding:0}.text-button:hover{text-decoration:underline}.metric-grid{grid-template-columns:repeat(6,minmax(0,1fr));gap:12px;margin-bottom:20px;display:grid}.metric-card{border:1px solid var(--line);background:var(--surface);box-shadow:var(--shadow);border-radius:11px;gap:8px;padding:17px;display:grid}.metric-card span{color:var(--muted);font-size:10px}.metric-card strong{letter-spacing:-.04em;font-size:24px}.limitation-callout{grid-template-columns:230px 1fr;gap:28px;padding:28px;display:grid}.limitation-figure{text-align:center;background:var(--warning-soft);min-height:180px;color:var(--warning);border-radius:12px;place-content:center;display:grid}.limitation-figure strong{letter-spacing:-.05em;font-size:40px}.limitation-figure span{font-size:11px}.limitation-callout h2,.protocol-card h2{margin:3px 0 10px}.limitation-callout p{color:var(--muted);line-height:1.65}.limitation-callout a{align-items:center;gap:6px;font-weight:650;display:inline-flex}.limitation-callout a svg{width:14px;height:14px}.protocol-card{margin-top:20px;padding:24px}.paired-bar{color:#fff;border-radius:9px;min-height:58px;font-size:10px;font-weight:700;display:flex;overflow:hidden}.paired-bar span{text-align:center;place-items:center;min-width:55px;padding:8px;display:grid}.docs-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:16px;display:grid}.doc-card{min-height:122px;color:var(--text);grid-template-columns:38px 1fr 20px;align-items:start;gap:14px;padding:20px;text-decoration:none;display:grid}.doc-card>svg:first-child{background:var(--accent-soft);width:38px;height:38px;color:var(--accent-strong);border-radius:9px;padding:9px}.doc-card>svg:last-child{color:var(--muted)}.doc-card p{color:var(--muted);margin:7px 0 0;font-size:12px;line-height:1.55}.about-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:18px;display:grid}.about-grid article{padding:24px}.about-grid article>svg{background:var(--accent-soft);width:34px;height:34px;color:var(--accent-strong);border-radius:9px;margin-bottom:28px;padding:8px}.about-grid p{color:var(--muted);font-size:13px;line-height:1.65}.about-cta{background:var(--navy);color:#fff;border-radius:14px;justify-content:space-between;align-items:center;gap:20px;margin-top:22px;padding:26px 28px;display:flex}.about-cta span{color:#9fb0c4;text-transform:uppercase;letter-spacing:.06em;font-size:11px}.about-cta h2{margin:6px 0 0}.inline-action{width:auto;min-width:190px;padding:0 18px}.loading-view{min-height:55vh;color:var(--muted);justify-content:center;align-items:center;gap:12px;display:flex}.loading-ring{border:2px solid var(--line);border-top-color:var(--accent);border-radius:50%;width:22px;height:22px;animation:.8s linear infinite spin}@media (width<=1180px){.main-content{padding-left:260px;padding-right:24px}.workbench-grid{grid-template-columns:1fr}.problem-card{position:static}.results-lower-grid{grid-template-columns:1fr 1fr}.metric-grid{grid-template-columns:repeat(3,1fr)}}@media (width<=860px){.topbar{padding:0 14px}.menu-toggle{display:grid}.brand{margin-right:auto}.sidebar{transition:transform .22s;transform:translate(-105%);box-shadow:18px 0 45px #00000040}.sidebar-open{transform:translate(0)}.nav-scrim{z-index:25;background:#040a128a;border:0;display:block;position:fixed;inset:68px 0 0}.main-content{padding:94px 18px 34px}.example-grid{grid-template-columns:repeat(2,1fr)}.advanced-grid{grid-template-columns:repeat(3,1fr)}}@media (width<=640px){.topbar{gap:7px;height:62px}.brand-copy small{display:none}.alpha-logo{width:34px;height:34px}.model-chip{padding:0 9px}.model-chip-name{display:none}.sidebar{top:62px}.nav-scrim{inset-top:62px}.main-content{padding:82px 12px 28px}.page-intro{margin-bottom:22px}.page-intro h1{font-size:29px}.page-intro p{font-size:14px}.problem-card,.program-card,.output-card,.pipeline-card,.advanced-card{padding:16px}.program-heading-row{display:grid}.program-actions{justify-content:flex-start}.results-lower-grid,.example-grid,.docs-grid,.about-grid{grid-template-columns:1fr}.advanced-grid,.run-summary{grid-template-columns:repeat(2,1fr)}.summary-link{grid-column:1/-1;justify-content:center}.metric-grid{grid-template-columns:repeat(2,1fr)}.limitation-callout{grid-template-columns:1fr;padding:18px}.limitation-figure{min-height:130px}.paired-bar{display:grid}.paired-bar span{min-width:100%}.about-cta{flex-direction:column;align-items:stretch;padding:22px}.inline-action{width:100%}}@media (width<=420px){.brand-copy strong{font-size:13px}.model-chip{display:none}.field-meta,.model-identity,.output-status-row,.code-meta{flex-direction:column;align-items:flex-start}.input-actions{flex-direction:column}.select-label{width:100%}.advanced-grid,.metric-grid{grid-template-columns:1fr}}@media (prefers-reduced-motion:reduce){*,:before,:after{scroll-behavior:auto!important;transition-duration:.01ms!important;animation-duration:.01ms!important;animation-iteration-count:1!important}}.compact-details{color:var(--muted);margin-top:.7rem;font-size:.86rem}.compact-details summary{cursor:pointer;width:fit-content;color:var(--text-secondary);font-weight:650}.compact-details[open] summary{margin-bottom:.55rem}.compact-details pre,.compact-details p{margin:0}.error-details p{border-left:3px solid var(--danger);background:var(--danger-soft);color:var(--text-secondary);overflow-wrap:anywhere;border-radius:.35rem;padding:.65rem .75rem}:root{--bg:#f4f5f3;--surface:#fafbf9;--surface-soft:#edf0ee;--surface-strong:#e7eae8;--text:#202629;--muted:#566165;--line:#c9d1d0;--line-strong:#9eaaab;--navy:#f4f5f3;--navy-soft:#e9edeb;--accent:#2b5863;--accent-strong:#204751;--accent-soft:#e0e9e9;--success:#2a745c;--success-soft:#e4f0e9;--blue-soft:#e9eeef;--warning:#816128;--warning-soft:#f4eddc;--danger:#a33e42;--danger-soft:#f6e8e8;--shadow:none;--radius:0;font-family:Arial,Helvetica,sans-serif}:root[data-theme=dark]{--bg:#17191b;--surface:#17191b;--surface-soft:#202326;--surface-strong:#282c2e;--text:#e7eae9;--muted:#adb6b7;--line:#3b4346;--line-strong:#606b6e;--navy:#17191b;--navy-soft:#24282a;--accent:#d2dee0;--accent-strong:#eff5f5;--accent-soft:#303a3d;--success:#9ed2b9;--success-soft:#233b31;--blue-soft:#293438;--warning:#e7c489;--warning-soft:#393023;--danger:#ee9da2;--danger-soft:#402a2e;--shadow:none}html,body{background:var(--bg)}button,input,select,textarea{font-family:inherit}svg{stroke-width:1.75px}:focus-visible{outline:2px solid var(--accent);outline-offset:2px}a{color:var(--accent-strong)}.topbar{background:var(--bg);border-bottom:1px solid var(--line);-webkit-backdrop-filter:none;backdrop-filter:none;height:58px;padding:0 24px}.brand{gap:10px;padding:0}.alpha-logo{width:auto;height:auto;color:var(--accent);background:0 0;border-radius:0;font-size:31px}.brand-copy{gap:1px}.brand-copy strong{letter-spacing:-.04em;font-size:15px}.brand-copy small{letter-spacing:0;font-size:11px}.topbar-actions{gap:18px}.model-chip{background:0 0;border:0;border-radius:0;min-height:0;padding:0;font:11px ui-monospace,SFMono-Regular,Consolas,monospace}.model-chip-state{color:var(--muted);text-transform:none}.icon-button{background:0 0;border:0;border-radius:0;width:36px;height:36px}.icon-button:hover{background:var(--surface-soft);border:0}.sidebar{width:174px;color:var(--text);background:var(--bg);border-right:1px solid var(--line);padding:24px 0 17px;top:58px}.sidebar nav{gap:0}.nav-item{min-height:40px;color:var(--muted);background:0 0;border:0;border-left:2px solid #0000;border-radius:0;gap:0;padding:0 22px;font-size:12px;font-weight:500}.nav-item svg{display:none}.nav-item:hover{color:var(--text);background:var(--surface-soft)}.nav-item.active{color:var(--text);background:var(--surface-soft);border-left-color:var(--accent);box-shadow:none;font-weight:700}.github-link{min-height:36px;color:var(--muted);border-radius:0;margin:0 20px;padding:0;font-size:11px;font-weight:500}.github-link:hover{color:var(--text);background:0 0}.main-content{min-height:100vh;padding:58px 0 0 174px}.standard-view,.workbench-view{width:100%;max-width:none;margin:0}.page-intro,.compact-intro{border-bottom:1px solid var(--line);max-width:none;margin:0;padding:27px 32px 22px}.page-intro h1,.compact-intro h1{letter-spacing:-.055em;margin:0 0 8px;font-size:clamp(28px,2.7vw,38px);font-weight:620;line-height:1.12}.page-intro p{max-width:750px;color:var(--muted);margin:0;font-size:13px;line-height:1.5}.card{box-shadow:none;background:0 0;border:0;border-radius:0}.card-heading h2,.example-card h2,.doc-card h2,.about-grid h2{letter-spacing:-.025em;font-size:16px}.card-heading p{margin-top:6px;font-size:12px;line-height:1.5}.workbench-grid{grid-template-columns:minmax(320px,39%) minmax(0,1fr);gap:0;min-height:calc(100vh - 164px)}.problem-card{border-right:1px solid var(--line);padding:30px 32px;position:static;top:auto}.problem-card .card-heading{margin-bottom:23px}.field-label{letter-spacing:.06em;text-transform:uppercase;margin-bottom:9px;font-size:11px}textarea{background:var(--surface-soft);border:1px solid var(--line-strong);min-height:210px;color:var(--text);border-radius:0;padding:13px 14px;font-size:13px;line-height:1.5}textarea:hover,textarea:focus{background:var(--surface-soft)}.input-actions{gap:10px;margin:14px 0 18px}.compact-button,.text-button{background:0 0;border-radius:0;font-size:11px}.compact-button:hover{background:var(--surface-soft)}.select-label select{color:var(--text);background:var(--surface-soft);border-radius:0;font-size:11px}.public-demo-notice,.execution-warning,.verification-recovery{border:0;border-left:2px solid var(--line-strong);background:0 0;border-radius:0;padding:5px 0 5px 12px}.public-demo-notice svg{display:none}.safety-note{font-size:11px}.primary-action{background:var(--accent);min-height:46px;color:var(--bg);box-shadow:none;border-radius:0;padding:0 14px;font-size:12px;font-weight:700}.primary-action:hover:not(:disabled){background:var(--accent-strong);color:var(--bg);transform:none}.primary-action:disabled{box-shadow:none}.primary-action kbd{color:inherit;opacity:.7;background:0 0;border:0}.results-column{gap:0}.program-card,.output-card,.pipeline-card,.advanced-card{min-width:0;padding:30px 32px}.program-card{min-height:0}.program-heading-row{border-bottom:1px solid var(--line);align-items:center;padding-bottom:15px}.program-heading-row h2{font-size:16px}.compact-run-status{margin-top:5px;font-size:11px}.compact-run-status strong{color:var(--muted);font-size:11px;font-weight:500}.compact-run-status.status-failed strong,.compact-run-status.status-blocked strong,.compact-run-status.status-timed-out strong{color:var(--danger)}.program-actions{gap:10px}.language-badge,.secondary-badge{min-height:0;color:var(--muted);background:0 0;border-radius:0;padding:0;font-size:11px;font-weight:500}:root[data-theme=dark] .language-badge{color:var(--muted)}.language-badge svg{display:none}.dark-button{color:var(--text);border-color:var(--line);background:0 0}.dark-button:hover{color:var(--text);background:var(--surface-soft)}.code-surface{color:#dce8e9;scrollbar-color:#52616a transparent;background:#10181d;border:1px solid #36454e;border-radius:0;min-height:335px;overflow:auto}.editor-chrome{color:#9bb1b9;letter-spacing:.09em;background:#1a252b;border-bottom:1px solid #36454e;justify-content:space-between;align-items:center;gap:16px;min-height:34px;padding:0 16px;font:10px ui-monospace,SFMono-Regular,Consolas,monospace;display:flex}.code-surface pre{min-width:max-content;padding:16px 0 20px;font:12px/1.75 ui-monospace,SFMono-Regular,Consolas,monospace}.code-line{min-height:21px}.line-number{color:#7f949d;width:44px;padding-right:12px}.line-content{padding-right:24px}.code-empty{color:#a2b2b9;text-align:left;justify-content:flex-start;align-items:flex-start;gap:8px;min-height:300px;padding:26px}.code-empty strong{color:#e6eef0;font-size:13px}.code-empty span{font-size:11px}.program-output{border-top:1px solid var(--line);flex-wrap:wrap;align-items:baseline;gap:12px;margin-top:0;padding:16px 0 0;display:flex}.program-output h3{letter-spacing:.07em;text-transform:uppercase;margin:0;font-size:11px;font-weight:600}.program-output>pre{min-height:0;max-height:160px;color:var(--text);text-align:right;background:0 0;border-radius:0;flex:1;margin:0;padding:0;font:18px/1.4 ui-monospace,SFMono-Regular,Consolas,monospace}.program-output .compact-details{flex-basis:100%}.compact-details summary,.error-details p{color:var(--muted)}.parsed-output,.model-identity,.request-notice,.step-badge,.stage-icon{border-radius:0}.standard-view>.example-grid,.standard-view>.metric-grid,.standard-view>.limitation-callout,.standard-view>.protocol-card,.standard-view>.docs-grid,.standard-view>.about-grid,.standard-view>.about-disclaimer,.standard-view>.inline-action,.standard-view>.route-note{margin-left:32px;margin-right:32px}.example-grid{border-top:1px solid var(--line);grid-template-columns:repeat(2,minmax(0,1fr));gap:0 36px}.example-card{border-bottom:1px solid var(--line);min-height:0;padding:22px 0}.example-card p{flex:initial;margin:12px 0 20px}.category-label{color:var(--muted);background:0 0;border-radius:0;margin-bottom:16px;padding:0}.metric-grid{border-top:1px solid var(--line);gap:0;margin-top:26px}.metric-card{border:0;border-right:1px solid var(--line);border-bottom:1px solid var(--line);min-height:100px;box-shadow:none;background:0 0;border-radius:0;padding:16px}.metric-card:last-child{border-right:0}.metric-card span{font-size:11px}.metric-card strong{font-size:27px}.limitation-callout{border-top:1px solid var(--line);border-bottom:1px solid var(--line);margin-top:20px;padding:24px 0}.limitation-figure{background:var(--surface-soft);border-radius:0}.protocol-card{border-bottom:1px solid var(--line);padding:22px 0}.paired-bar{border-radius:0}.bar-adapter{background:#487367}.bar-base{background:#526a7a}.bar-both{background:#746684}.bar-neither{background:#646b70}.docs-grid{border-top:1px solid var(--line);gap:0 32px;margin-top:26px}.doc-card{border-bottom:1px solid var(--line);min-height:105px;padding:20px 0}.doc-card>svg:first-child{color:var(--muted);background:0 0;border-radius:0}.doc-card:hover{border-color:var(--accent);transform:none}.about-grid{gap:24px;margin-top:26px}.about-grid article{border-top:1px solid var(--line);padding:20px 0}.about-grid article>svg{color:var(--accent);background:0 0;border-radius:0;margin-bottom:20px;padding:0}.inline-action{margin-top:20px}@media (width<=1180px){.workbench-grid{grid-template-columns:1fr}.problem-card{border-right:0;border-bottom:1px solid var(--line)}.results-lower-grid{grid-template-columns:1fr 1fr}.metric-grid{grid-template-columns:repeat(3,1fr)}}@media (width<=860px){.topbar{padding:0 15px}.menu-toggle{display:grid}.sidebar{top:58px;transform:translate(-105%);box-shadow:12px 0 30px #00000038}.sidebar-open{transform:translate(0)}.nav-scrim{inset:58px 0 0}.main-content{padding:58px 0 0}.page-intro,.compact-intro{padding:26px 24px 22px}.problem-card,.program-card,.output-card,.pipeline-card,.advanced-card{padding:26px 24px}}@media (width<=640px){.topbar{height:56px}.sidebar{top:56px}.nav-scrim{inset:56px 0 0}.main-content{padding-top:56px}.brand-copy small{display:none}.page-intro,.compact-intro{padding:24px 18px 19px}.page-intro h1,.compact-intro h1{font-size:29px}.problem-card,.program-card,.output-card,.pipeline-card,.advanced-card{padding:24px 18px}.program-heading-row{flex-direction:column;align-items:flex-start;gap:10px;display:flex}.program-actions{justify-content:flex-start}.standard-view>.example-grid,.standard-view>.metric-grid,.standard-view>.limitation-callout,.standard-view>.protocol-card,.standard-view>.docs-grid,.standard-view>.about-grid,.standard-view>.about-disclaimer,.standard-view>.inline-action,.standard-view>.route-note{margin-left:18px;margin-right:18px}.example-grid,.docs-grid,.about-grid,.results-lower-grid{grid-template-columns:1fr}.metric-grid{grid-template-columns:repeat(2,1fr)}.limitation-callout{grid-template-columns:1fr}.paired-bar{display:grid}.paired-bar span{min-width:100%}}@media (width<=420px){.model-chip{display:none}.input-actions{flex-direction:column}.select-label{width:100%}.metric-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}.notation-preview{border:1px solid var(--line);background:var(--surface-soft);margin:0 0 20px}.notation-preview-header{color:var(--muted);letter-spacing:.075em;text-transform:uppercase;justify-content:space-between;gap:12px;padding:10px 13px 0;font:10px ui-monospace,SFMono-Regular,Consolas,monospace;display:flex}.notation-preview p{min-height:39px;color:var(--text);overflow-wrap:anywhere;margin:0;padding:9px 13px 12px;font:17px/1.42 Georgia,Times New Roman,serif}.notation-preview-empty p{color:var(--muted);font-family:Arial,Helvetica,sans-serif;font-size:12px}.program-output>.formatted-result{font-family:Georgia,Times New Roman,serif;font-size:22px}.raw-result{width:100%;color:var(--muted);font-size:11px}.raw-result pre{margin-top:8px;font:12px/1.45 ui-monospace,SFMono-Regular,Consolas,monospace}.tour-launch{border:1px solid var(--line);min-height:36px;color:var(--muted);cursor:pointer;background:0 0;padding:0 9px;font-size:11px}.tour-launch:hover{color:var(--text);border-color:var(--line-strong)}.tour-shade{z-index:80;background:#020608c4;position:fixed}.tour-spotlight{z-index:81;pointer-events:none;border:1px solid #d5efea;animation:1.8s ease-in-out infinite tour-breathe;position:fixed;box-shadow:0 0 0 3px #b0e8dc40,0 0 19px 4px #7be0cacc}@keyframes tour-breathe{0%,to{box-shadow:0 0 0 2px #b0e8dc33,0 0 11px 2px #7be0ca6b}50%{box-shadow:0 0 0 5px #b0e8dc57,0 0 25px 8px #7be0cadb}}.tour-skip{z-index:100;color:#d0dcda;cursor:pointer;background:#222b2e;border:1px solid #e5f0ee47;align-items:center;gap:6px;min-height:36px;padding:0 9px;font-size:11px;display:inline-flex;position:fixed;top:12px;right:16px}.tour-skip:hover{color:#fff;border-color:#afc4c0}.tour-skip svg{width:14px;height:14px}.tour-card{z-index:90;color:#ecf4f2;background:#20292b;border:1px solid #69847e;max-height:min(290px,58vh);padding:17px 18px 16px;position:fixed;overflow:auto;box-shadow:0 16px 48px #00000080}.tour-card-top{color:#a6c2bc;letter-spacing:.08em;justify-content:space-between;gap:12px;font:10px ui-monospace,SFMono-Regular,Consolas,monospace;display:flex}.tour-card h2{letter-spacing:-.025em;margin:15px 0 8px;font-size:17px}.tour-card p{color:#c6d2d0;margin:0;font-size:12px;line-height:1.55}.tour-controls{justify-content:space-between;align-items:end;gap:12px;min-height:42px;margin-top:14px;display:flex}.tour-back,.tour-next{color:#e6f2ef;cursor:pointer;background:0 0;border:1px solid #627c76;justify-content:center;align-items:center;gap:6px;min-height:40px;padding:0 9px;font-size:11px;display:inline-flex}.tour-next{color:#12221e;background:#bfdcd4;border-color:#bfdcd4;margin-left:auto;font-weight:700}.tour-back:hover{background:#344543}.tour-next:hover{background:#e2f4ef}.tour-back svg,.tour-next svg{width:14px;height:14px}.tour-hint{color:#b2c8c2;text-align:right;margin-left:auto;font-size:11px}@media (width<=640px){.tour-card{max-height:45vh}.tour-skip{top:9px;right:9px}}@media (prefers-reduced-motion:reduce){.tour-spotlight{animation:none}}