@font-face{font-family:velaSans;src:url(/fonts/vela-sans.woff2) format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:velaMono;src:url(/fonts/vela-mono.woff2) format("woff2");font-weight:100 900;font-display:swap}@font-face{font-family:velaDisplay;src:url(/fonts/vela-display.ttf) format("truetype");font-weight:400;font-display:swap}:root{--paper: #f5f6f6;--sheet: #ffffff;--sheet-2: #eef0f0;--graphite: #1d2125;--pencil: #4a5158;--lead: #6b727a;--rule: rgba(29, 33, 37, .1);--rule-strong: rgba(29, 33, 37, .2);--blueprint: #1d4f91;--blueprint-ink: #ffffff;--blueprint-soft: rgba(29, 79, 145, .07);--redline: #b42318;--highlighter: rgba(250, 210, 50, .5);--select: rgba(29, 79, 145, .16);--f-display: velaDisplay, "Helvetica Neue", Arial, sans-serif;--f-body: velaSans, "Helvetica Neue", Arial, sans-serif;--f-mono: velaMono, ui-monospace, SFMono-Regular, Menlo, monospace;--r-control: 6px;--r-panel: 8px;--ease: cubic-bezier(.23, 1, .32, 1);color-scheme:light}*{box-sizing:border-box}html{-webkit-text-size-adjust:100%}body{margin:0;background:var(--paper);color:var(--graphite);font:400 14px/1.5 var(--f-body);font-variant-numeric:tabular-nums;-webkit-font-smoothing:antialiased}button,input{font:inherit;color:inherit}a{color:var(--blueprint);text-underline-offset:2px}:focus-visible{outline:2px solid var(--blueprint);outline-offset:2px}.mono{font-family:var(--f-mono)}.lead{color:var(--lead)}.sr{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0 0 0 0);white-space:nowrap}.btns{display:flex;gap:8px;flex-wrap:wrap;align-items:center}.btn{height:34px;padding:0 14px;border-radius:var(--r-control);border:1px solid var(--rule-strong);background:var(--sheet);font-size:13.5px;font-weight:500;cursor:pointer;white-space:nowrap;display:inline-flex;align-items:center;gap:7px;transition:background-color .15s var(--ease),color .15s var(--ease),transform .12s var(--ease)}.btn svg{width:15px;height:15px}.btn:hover:not(:disabled){background:var(--sheet-2)}.btn:active:not(:disabled){transform:scale(.97)}.btn:disabled{opacity:.5;cursor:default}.btn.primary{background:var(--blueprint);border-color:var(--blueprint);color:var(--blueprint-ink)}.btn.primary:hover:not(:disabled){background:var(--blueprint);filter:brightness(1.08)}.btn.ghost{background:transparent;border-color:transparent;color:var(--pencil)}.btn.ghost:hover:not(:disabled){background:var(--sheet-2);color:var(--graphite)}.btn.small{height:30px;padding:0 11px;font-size:13px}.input{height:34px;padding:0 11px;border-radius:var(--r-control);border:1px solid transparent;background:var(--sheet-2);min-width:0;transition:background-color .15s var(--ease),border-color .15s var(--ease)}.input::placeholder{color:var(--lead)}.input:focus{outline:none;border-color:var(--blueprint);background:var(--sheet)}.seg{display:inline-flex;gap:2px;padding:2px;border-radius:var(--r-control);background:var(--sheet-2)}.seg button{all:unset;cursor:pointer;height:28px;padding:0 12px;border-radius:4px;font-size:13px;font-weight:500;color:var(--pencil);display:inline-flex;align-items:center;transition:background-color .15s var(--ease),color .15s var(--ease)}.seg button:hover{color:var(--graphite)}.seg button[aria-pressed=true]{background:var(--sheet);color:var(--graphite);box-shadow:0 0 0 1px var(--rule)}.seg button:focus-visible{outline:2px solid var(--blueprint)}.spin{width:12px;height:12px;border-radius:50%;flex:none;border:1.5px solid var(--rule-strong);border-top-color:var(--graphite);animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}.toast{position:fixed;left:50%;bottom:24px;transform:translate(-50%);background:var(--graphite);color:var(--paper);font-size:13.5px;padding:9px 14px;border-radius:var(--r-control);z-index:20;animation:rise .18s var(--ease)}@keyframes rise{0%{opacity:0;transform:translate(-50%,6px)}}.start{min-height:100vh;display:grid;place-items:center;padding:24px 16px}.start-card{width:100%;max-width:420px;background:var(--sheet);border:1px solid var(--rule);border-radius:var(--r-panel);padding:28px}.start-card .logo img{height:22px;display:block}.start-card h1{font:400 26px/1.15 var(--f-display);letter-spacing:-.015em;margin:28px 0 8px}.start-card p{margin:0 0 24px;color:var(--pencil);max-width:44ch}.start-card .foot{margin:20px 0 0;font-size:12.5px;color:var(--lead)}.room{height:100vh;height:100dvh;display:grid;grid-template-rows:52px minmax(0,1fr)}.top{display:flex;align-items:center;gap:16px;padding:0 20px;border-bottom:1px solid var(--rule);background:var(--paper);min-width:0}.top .logo img{height:20px;display:block}.crumb{display:flex;align-items:center;gap:8px;font-size:13.5px;color:var(--pencil);min-width:0}.crumb b{font-weight:600;color:var(--graphite);white-space:nowrap}.crumb .sep{color:var(--rule-strong)}.crumb .role{white-space:nowrap}.top .right{margin-left:auto;display:flex;align-items:center;gap:14px;min-width:0}.presence{display:flex;align-items:center;gap:7px;font-size:13px;color:var(--pencil);white-space:nowrap}.presence.away{color:var(--lead)}.panes{display:grid;grid-template-columns:minmax(340px,44fr) minmax(0,56fr);min-height:0}.problem{overflow-y:auto;padding:28px 32px 48px;border-right:1px solid var(--rule)}.pick{display:flex;gap:8px;margin-bottom:28px;max-width:72ch}.pick .input{flex:1}.pick-err{margin:-20px 0 24px;font-size:13px;color:var(--redline)}.confirm{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin:-12px 0 28px;padding:10px 12px;max-width:72ch;background:var(--sheet);border:1px solid var(--rule);border-radius:var(--r-control);font-size:13px;color:var(--pencil)}.confirm .btns{margin-left:auto}.meta{font-size:12.5px;color:var(--lead);margin:0 0 6px;display:flex;gap:12px;align-items:baseline}.meta a{margin-left:auto;font-size:13px}.problem h1{font:400 26px/1.2 var(--f-display);letter-spacing:-.015em;margin:0 0 20px;text-wrap:balance}.empty h1{margin-bottom:8px}.empty p{margin:0;color:var(--pencil);max-width:52ch}.notice{color:var(--pencil);max-width:60ch}.statement{max-width:72ch;line-height:1.6;overflow-wrap:anywhere}.statement p{margin:0 0 12px}.statement ul,.statement ol{padding-left:22px;margin:0 0 12px}.statement li{margin:4px 0}.statement code{font-family:var(--f-mono);font-size:.9em;background:var(--blueprint-soft);padding:1px 4px;border-radius:2px}.statement pre{font-family:var(--f-mono);font-size:12.5px;line-height:1.6;background:var(--sheet);border:1px solid var(--rule);border-radius:var(--r-control);padding:12px 14px;margin:8px 0 16px;overflow-x:auto;white-space:pre-wrap}.statement pre code{background:none;padding:0}.statement .example-block{background:var(--sheet);border:1px solid var(--rule);border-radius:var(--r-control);padding:12px 14px;margin:8px 0 16px}.statement .example-block p{margin:0 0 4px}.statement img{max-width:100%;height:auto;border-radius:4px;border:1px solid var(--rule);background:#fff}.statement strong.example{display:block;margin-top:20px;font-weight:600}.statement sup,.statement sub{line-height:0}.code{display:grid;grid-template-rows:48px minmax(0,1fr);background:var(--sheet);min-width:0;min-height:0}.code-h{display:flex;align-items:center;gap:12px;padding:0 12px 0 16px;border-bottom:1px solid var(--rule)}.code-h .btns{margin-left:auto;flex-wrap:nowrap}.code-h .hint{font-size:12.5px;color:var(--lead);white-space:nowrap}.editor{min-height:0;overflow:hidden}.editor .cm-editor{height:100%}@media(max-width:900px){.room{height:auto;min-height:100dvh}.panes{grid-template-columns:minmax(0,1fr)}.problem{border-right:0;border-bottom:1px solid var(--rule);padding:24px 16px 32px;overflow:visible}.code{height:75dvh}.top{padding:0 16px;gap:12px}.crumb .role,.crumb .sep{display:none}}@media(max-width:560px){.crumb,.code-h .hint{display:none}}@media(prefers-reduced-motion:reduce){*,*:before,*:after{animation-duration:.01ms!important;transition-duration:.01ms!important}}