@import "https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500;600&family=Space+Grotesk:wght@500;600;700&display=swap";:root{--canvas:#f4eee3;--surface:#fbf7ef;--surface-2:#f5efe4;--surface-3:#ede5d6;--border:#e1d7c6;--border-strong:#cbbfa9;--ink:#1e1812;--ink-2:#5e534a;--ink-3:#928779;--side:#1a1511;--side-2:#26201a;--side-text:#f2eadb;--side-muted:#8f8374;--orange:#e94d02;--orange-dark:#cb4302;--green:#237a4e;--amber:#b3781e;color:var(--ink);background:var(--canvas);--lightningcss-light:initial;--lightningcss-dark: ;color-scheme:light;font-synthesis:none;-webkit-font-smoothing:antialiased;font-family:IBM Plex Sans,system-ui,sans-serif}*{box-sizing:border-box}body{min-width:320px;min-height:100vh;margin:0}button,input{font:inherit}button,label{-webkit-tap-highlight-color:transparent}:focus-visible{outline:2px solid var(--orange);outline-offset:2px}.shell{grid-template-columns:224px minmax(0,1fr);min-height:100vh;display:grid}.login-shell{grid-template-columns:minmax(0,1fr)}.sidebar{height:100vh;color:var(--side-text);background:var(--side);flex-direction:column;padding:0 14px;display:flex;position:sticky;top:0}.sidebar-brand{border-bottom:1px solid var(--side-2);align-items:center;gap:14px;margin-bottom:12px;padding:24px 10px 20px;display:flex}.sidebar-brand span{color:var(--side-muted);letter-spacing:.14em;text-transform:uppercase;padding-top:2px;font:500 12px IBM Plex Mono,monospace}.sidebar nav{gap:2px;display:grid}.nav-item{color:var(--side-muted);border-radius:5px;align-items:center;gap:10px;padding:8px 10px;font-size:14px;font-weight:500;text-decoration:none;display:flex}.nav-item i{background:currentColor;width:7px;height:7px}.nav-item.active{color:var(--side-text);background:var(--side-2)}.sidebar-footer{margin-top:auto;padding-bottom:18px}.deployment{background:#1f1a15;border:1px solid #3a3128;border-radius:6px;padding:12px}.deployment-status{color:var(--side-muted);align-items:center;gap:8px;font-size:12.5px;display:flex}.deployment-status i{background:var(--orange);width:7px;height:7px}.user-row{border-top:1px solid var(--side-2);grid-template-columns:24px minmax(0,1fr);align-items:center;gap:8px 10px;margin-top:14px;padding:14px 10px 0;display:grid}.avatar{background:var(--side-2);width:24px;height:24px;color:var(--side-text);border-radius:50%;place-items:center;font-size:11px;font-weight:600;display:grid}.user-email{color:var(--side-muted);text-overflow:ellipsis;white-space:nowrap;font-size:12px;overflow:hidden}.sign-out{color:var(--side-muted);cursor:pointer;background:0 0;border:0;grid-column:2;justify-self:start;padding:0;font-size:12px}.sign-out:hover:enabled{color:var(--side-text)}.sign-out:disabled{cursor:default;opacity:.5}.content{min-width:0}.topbar{align-items:center;width:100%;max-width:1220px;padding:34px 36px 22px;display:flex}.topbar h1{letter-spacing:-.02em;margin:0;font:600 26px/1 Space Grotesk,system-ui,sans-serif}.topbar h1.run-title{font:500 18px/1 IBM Plex Mono,monospace}.workspace{width:100%;max-width:1220px;padding:0 36px 64px}.signed-out{place-items:center;min-height:calc(100vh - 82px);padding:32px 24px 96px;display:grid}.launch-panel,.login-panel{border:1px solid var(--border-strong);background:var(--surface);border-radius:6px;width:min(100%,760px);overflow:hidden;box-shadow:0 1px 2px #1f18120d,0 4px 14px #1f18120a}.form-section{border-bottom:1px solid var(--border);padding:22px 24px}.section-heading{align-items:center;gap:12px;display:flex}.section-heading span{color:var(--ink-3);font:500 12px IBM Plex Mono,monospace}.section-heading h2{margin:0;font-size:15px;font-weight:600}.form-section>p{max-width:64ch;color:var(--ink-2);margin:3px 0 16px 32px;font-size:13.5px}.job-card,.file-slot{margin-left:32px}.job-card{border:1px solid var(--ink);background:var(--surface);border-radius:6px;grid-template-columns:auto 1fr;gap:12px;padding:16px 18px;display:grid}.job-card>i{background:var(--orange);width:8px;height:8px;margin-top:7px}.job-card strong,.job-card span,.job-card code{display:block}.job-card strong{font-size:14.5px}.job-card span{color:var(--ink-2);margin-top:3px;font-size:13px}.job-card code{color:var(--ink-3);margin-top:10px;font:400 12px IBM Plex Mono,monospace}.file-slot{border:1px solid var(--border);border-radius:6px}.file-slot-header{border-bottom:1px solid var(--border);align-items:center;padding:11px 16px;display:flex}.file-slot-header>span{text-transform:capitalize;align-items:center;gap:9px;font-size:14px;font-weight:600;display:flex}.file-slot-header i{background:var(--ink);width:8px;height:8px}.file-slot-header small{color:var(--ink-3);margin-left:auto;font-size:12.5px}.file-slot-header small.ready{color:var(--green)}.file-slot-body{padding:16px}.file-picker{border:1px dashed var(--border-strong);color:var(--ink-2);text-align:center;cursor:pointer;border-radius:6px;padding:22px;display:block}.file-picker:hover{border-color:var(--ink);background:var(--surface-2)}.file-picker:focus-within,.replace-file:focus-within{outline:2px solid var(--orange);outline-offset:2px}.file-picker strong,.file-picker span{display:block}.file-picker strong{color:var(--ink);font-size:13.5px;font-weight:500}.file-picker span{color:var(--ink-3);margin-top:2px;font-size:12px}.file-picker input,.replace-file input{clip:rect(0 0 0 0);clip-path:inset(50%);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.selected-file{align-items:center;gap:16px;display:flex}.selected-file>div{min-width:0}.selected-file strong{overflow-wrap:anywhere;font-size:14px;display:block}.selected-file span{color:var(--ink-3);margin-top:2px;font:400 12px IBM Plex Mono,monospace;display:block}.replace-file{color:var(--ink-2);cursor:pointer;border-radius:5px;flex:none;margin-left:auto;padding:4px 9px;font-size:13px}.replace-file:hover{background:var(--surface-3);color:var(--ink)}.run-summary{background:var(--surface-2);align-items:center;gap:20px;padding:20px 24px;display:flex}.run-summary>div{gap:3px;min-width:0;display:grid}.run-summary strong{font-size:14px}.run-summary span{overflow-wrap:anywhere;color:var(--ink-2);font:400 12.5px IBM Plex Mono,monospace}.primary-button{border:1px solid var(--orange);background:var(--orange);color:#fff;cursor:pointer;border-radius:5px;justify-content:center;align-items:center;min-height:40px;padding:9px 16px;font-size:13.5px;font-weight:500;display:inline-flex}.primary-button:hover:enabled{border-color:var(--orange-dark);background:var(--orange-dark)}.primary-button:disabled{border-color:var(--border);color:var(--ink-3);cursor:default;background:0 0}.run-summary .primary-button{flex:none;margin-left:auto}.run-status{border-top:1px solid var(--border);color:var(--ink-2);overflow-wrap:anywhere;margin:0;padding:12px 24px;font:400 12px IBM Plex Mono,monospace}.result-panel{border:1px solid var(--border-strong);background:var(--surface);border-radius:6px;width:min(100%,760px);overflow:hidden;box-shadow:0 1px 2px #1f18120d,0 4px 14px #1f18120a}.result-header{padding:28px}.result-header h2{margin:14px 0 6px;font:600 20px Space Grotesk,system-ui,sans-serif}.result-header p{color:var(--ink-2);margin:0 0 14px;font-size:14px}.result-header code{color:var(--ink-3);overflow-wrap:anywhere;font:400 12px IBM Plex Mono,monospace}.verdict{color:var(--ink-2);text-transform:capitalize;align-items:center;gap:8px;font-size:13.5px;font-weight:600;display:inline-flex}.verdict i{background:currentColor;width:8px;height:8px}.verdict.proved{color:var(--green)}.verdict.refuted,.verdict.failed,.verdict.error{color:var(--orange)}.verdict.inconclusive{color:var(--amber)}.verdict.queued i{background:0 0;border:1.5px solid}.result-header>.verdict{gap:14px;font:700 30px Space Grotesk,system-ui,sans-serif}.result-header>.verdict i{width:16px;height:16px}.obligations{border-top:1px solid var(--border)}.obligations h3{border-bottom:1px solid var(--border);background:var(--surface-2);margin:0;padding:13px 20px;font-size:14px}.obligation{border-bottom:1px solid var(--border);align-items:center;gap:20px;padding:12px 20px;display:flex}.obligation:last-child{border-bottom:0}.obligation code{overflow-wrap:anywhere;min-width:0;margin-right:auto;font:400 12.5px IBM Plex Mono,monospace}.result-error{border-top:1px solid var(--border);color:#b3362b;margin:0;padding:12px 20px;font-size:13px}.result-footer{border-top:1px solid var(--border);background:var(--surface-2);justify-content:flex-end;padding:14px 20px;display:flex}.secondary-button{border:1px solid var(--border-strong);color:var(--ink);cursor:pointer;background:0 0;border-radius:5px;padding:7px 12px;font-size:13.5px}.secondary-button:hover{background:var(--surface-3)}.login-panel{border-top:3px solid var(--orange);max-width:440px;padding:40px}.login-mark{border:1px solid var(--border);background:var(--canvas);place-items:center;width:64px;height:64px;margin-bottom:32px;display:grid}.eyebrow{color:var(--ink-2);letter-spacing:1.6px;margin:0 0 12px;font:500 11px IBM Plex Mono,monospace}.login-panel h2{letter-spacing:-1px;margin:0;font:600 30px/1.25 Space Grotesk,system-ui,sans-serif}.login-description{color:var(--ink-2);margin:12px 0 32px;font-size:15px;line-height:1.6}.login-button{border-color:var(--ink);background:var(--ink);gap:16px;width:100%;min-height:48px}.login-button:hover:enabled{background:#000;border-color:#000}.error{color:#b3362b;margin:16px 0 0;font-size:13px;line-height:1.6}.workspace-error{padding:0 24px 16px}.access-note{color:var(--ink-2);text-align:center;margin:20px 0 0;font-size:12px}@media (width<=720px){.shell{grid-template-columns:64px minmax(0,1fr)}.sidebar{padding:0 8px}.sidebar-brand{justify-content:center;padding:18px 4px 14px}.sidebar-brand img{width:32px;height:32px}.sidebar-brand span,.nav-item{font-size:0}.nav-item{justify-content:center;padding:12px 0}.nav-item i{width:8px;height:8px}.sidebar-footer{display:none}.topbar{padding:24px 20px 16px}.workspace{padding:0 20px 48px}.signed-out{padding:20px 16px 64px}.form-section{padding:18px 16px}.form-section>p,.job-card,.file-slot{margin-left:0}.run-summary{flex-direction:column;align-items:stretch;padding:18px 16px}.run-summary .primary-button{width:100%;margin:0}.login-panel{padding:28px 24px}.login-panel h2{font-size:26px}}