.channel-study[data-astro-cid-6ou4fqgx]{color:var(--doc-ink);font-size:13px}.study-head[data-astro-cid-6ou4fqgx]{justify-content:space-between;align-items:center;gap:15px;display:flex}.study-head[data-astro-cid-6ou4fqgx] small[data-astro-cid-6ou4fqgx]{color:var(--doc-accent);letter-spacing:.14em;font-size:9px}.study-head[data-astro-cid-6ou4fqgx] h3[data-astro-cid-6ou4fqgx]{margin:5px 0;font-size:23px}.study-head[data-astro-cid-6ou4fqgx]>span[data-astro-cid-6ou4fqgx]{color:var(--doc-muted);white-space:nowrap;font-size:10px}.study-head[data-astro-cid-6ou4fqgx]>span[data-astro-cid-6ou4fqgx][data-online=true]{color:#72d4b2}.study-head[data-astro-cid-6ou4fqgx]>span[data-astro-cid-6ou4fqgx][data-online=false]{color:#e79e98}.study-lead[data-astro-cid-6ou4fqgx]{color:var(--doc-muted);margin:12px 0 20px;line-height:1.6}.study-inputs[data-astro-cid-6ou4fqgx]{grid-template-columns:1fr 1fr;gap:14px;display:grid}.study-inputs[data-astro-cid-6ou4fqgx] label[data-astro-cid-6ou4fqgx]{font-size:12px;font-weight:650;display:block}.study-inputs[data-astro-cid-6ou4fqgx] span[data-astro-cid-6ou4fqgx]{float:right;color:var(--doc-muted);font-weight:400}.study-inputs[data-astro-cid-6ou4fqgx] input[data-astro-cid-6ou4fqgx]{box-sizing:border-box;border:1px solid var(--doc-rule);background:var(--doc-input);width:100%;color:var(--doc-ink);border-radius:6px;margin-top:7px;padding:11px;font-size:16px;display:block}.scope[data-astro-cid-6ou4fqgx]{color:var(--doc-muted);font-size:11px;line-height:1.6}details[data-astro-cid-6ou4fqgx]{border:1px solid var(--doc-rule);color:var(--doc-muted);border-radius:6px;margin:15px 0;padding:12px;font-size:12px}summary[data-astro-cid-6ou4fqgx]{cursor:pointer}details[data-astro-cid-6ou4fqgx] p[data-astro-cid-6ou4fqgx]{line-height:1.7}.study-confirm[data-astro-cid-6ou4fqgx]{align-items:flex-start;gap:8px;margin:18px 0;line-height:1.5;display:flex}.study-actions[data-astro-cid-6ou4fqgx],.study-nav[data-astro-cid-6ou4fqgx]{flex-wrap:wrap;gap:9px;margin:18px 0;display:flex}.study-actions[data-astro-cid-6ou4fqgx] button[data-astro-cid-6ou4fqgx],.study-actions[data-astro-cid-6ou4fqgx] a[data-astro-cid-6ou4fqgx],.study-nav[data-astro-cid-6ou4fqgx] button[data-astro-cid-6ou4fqgx],.study-run-card[data-astro-cid-6ou4fqgx] button[data-astro-cid-6ou4fqgx]{font:inherit;border:1px solid var(--doc-rule);background:var(--doc-button);color:var(--doc-ink);cursor:pointer;border-radius:6px;padding:10px 14px;font-weight:650;text-decoration:none}.study-actions[data-astro-cid-6ou4fqgx] button[data-astro-cid-6ou4fqgx]:first-child,.study-run-card[data-astro-cid-6ou4fqgx] button[data-astro-cid-6ou4fqgx]{color:#0c2b33;background:#66d0ca}.study-nav[data-astro-cid-6ou4fqgx]{border-top:1px solid var(--doc-rule);justify-content:space-between;margin-bottom:0;padding-top:14px}button[data-astro-cid-6ou4fqgx]:disabled{opacity:.45;cursor:not-allowed}.study-notice[data-astro-cid-6ou4fqgx]{color:var(--doc-warning);line-height:1.5}.study-job[data-astro-cid-6ou4fqgx]{border:1px solid var(--doc-rule);background:var(--doc-card);border-radius:8px;margin:18px 0;padding:14px}.study-job[data-astro-cid-6ou4fqgx]>div[data-astro-cid-6ou4fqgx]{justify-content:space-between;gap:12px;display:flex}.study-job[data-astro-cid-6ou4fqgx] progress[data-astro-cid-6ou4fqgx]{accent-color:#eab84c;width:100%;height:9px}.study-job[data-astro-cid-6ou4fqgx][data-state=complete] progress[data-astro-cid-6ou4fqgx]{accent-color:#52c7a5}.study-job[data-astro-cid-6ou4fqgx][data-state=failed] progress[data-astro-cid-6ou4fqgx]{accent-color:#e77979}.study-job[data-astro-cid-6ou4fqgx] p[data-astro-cid-6ou4fqgx]{color:var(--doc-muted);margin-bottom:0;font-size:12px}.study-run-card[data-astro-cid-6ou4fqgx]{background:var(--doc-card);border:1px solid var(--doc-rule);border-radius:8px;padding:20px;line-height:1.6}.study-run-card[data-astro-cid-6ou4fqgx] strong[data-astro-cid-6ou4fqgx]{font-size:18px}.study-decision[data-astro-cid-6ou4fqgx]{background:var(--doc-card);border-left:3px solid #55c2b5;margin:20px 0;padding:16px;line-height:1.65}.study-table-scroll[data-astro-cid-6ou4fqgx]{overflow:auto}a[data-astro-cid-6ou4fqgx]{color:var(--doc-accent)}.study-view-toolbar[data-astro-cid-6ou4fqgx]{flex-wrap:wrap;justify-content:space-between;gap:10px;margin:12px 0;display:flex}.study-view-toolbar[data-astro-cid-6ou4fqgx] select[data-astro-cid-6ou4fqgx]{background:var(--doc-input);color:var(--doc-ink);border:1px solid var(--doc-rule);border-radius:5px;padding:6px}.study-viewport[data-astro-cid-6ou4fqgx]{border:1px solid var(--doc-rule);background:#0e1a23;border-radius:8px;height:270px;overflow:hidden}.study-viewport[data-astro-cid-6ou4fqgx] canvas{width:100%;height:100%;display:block}.study-checks[data-astro-cid-6ou4fqgx]{flex-wrap:wrap;gap:8px;margin:15px 0;display:flex}.study-checks[data-astro-cid-6ou4fqgx] span{border:1px solid var(--doc-rule);border-radius:5px;padding:7px 10px;font-size:11px}.study-checks[data-astro-cid-6ou4fqgx] [data-pass=true]{color:#72d4b2}.study-checks[data-astro-cid-6ou4fqgx] [data-pass=false]{color:#e49f77}.channel-study[data-astro-cid-6ou4fqgx] table{border-collapse:collapse;width:100%;font-size:12px}.channel-study[data-astro-cid-6ou4fqgx] td,.channel-study[data-astro-cid-6ou4fqgx] th{text-align:left;border-bottom:1px solid var(--doc-rule);padding:10px 6px}.channel-study[data-astro-cid-6ou4fqgx] .equation{padding:14px 5px;overflow-x:auto}.channel-study[data-astro-cid-6ou4fqgx] iframe[data-astro-cid-6ou4fqgx]{border:1px solid var(--doc-rule);border-radius:8px;width:100%;height:560px}.study-preview[data-astro-cid-6ou4fqgx]{margin-top:15px}@media (width<=500px){.study-inputs[data-astro-cid-6ou4fqgx]{gap:10px}.study-head[data-astro-cid-6ou4fqgx] h3[data-astro-cid-6ou4fqgx]{font-size:20px}.study-head[data-astro-cid-6ou4fqgx]{align-items:flex-start}.study-head[data-astro-cid-6ou4fqgx]>span[data-astro-cid-6ou4fqgx]{white-space:normal;max-width:90px}.study-viewport[data-astro-cid-6ou4fqgx]{height:230px}}*{box-sizing:border-box}body{color:#e0ebef;background:#10191e;margin:0;font-family:Inter,system-ui,sans-serif;font-size:14px}button,input,textarea{font:inherit}button{cursor:pointer}button:disabled{opacity:.45;cursor:wait}a{color:inherit;text-decoration:none}:focus-visible{outline-offset:3px;outline:2px solid #67dcda}[hidden]{display:none!important}.app[data-astro-cid-ekmcoqaj]{--split:44%;flex-direction:column;height:100dvh;display:flex;overflow:hidden}.appbar[data-astro-cid-ekmcoqaj]{border-bottom:1px solid #2c3c45;flex-shrink:0;justify-content:space-between;align-items:center;height:58px;padding:0 22px;display:flex}.brand[data-astro-cid-ekmcoqaj]{letter-spacing:.12em;color:#77d9d7;font-size:19px;font-weight:800}.brand[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]{color:#a7b8c3;letter-spacing:0;margin-left:16px;font-size:12px;font-weight:400}.app-actions[data-astro-cid-ekmcoqaj]{align-items:center;gap:8px;display:flex}.app-actions[data-astro-cid-ekmcoqaj]>span[data-astro-cid-ekmcoqaj]{color:#8ea4b1;margin-right:10px;font-size:11px}button[data-astro-cid-ekmcoqaj]{color:#dae7ed;background:#192b36;border:1px solid #344a57;border-radius:6px;padding:8px 12px}.stages[data-astro-cid-ekmcoqaj]{background:#101d25;flex-shrink:0;grid-template-columns:repeat(6,minmax(0,1fr));gap:8px;padding:12px 18px;display:grid}.stages[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{text-align:left;background:0 0;align-items:center;gap:10px;min-width:0;padding:10px 12px 15px;display:flex;position:relative}.stages[data-astro-cid-ekmcoqaj] [data-astro-cid-ekmcoqaj][aria-current=step]{background:#183239;border-color:#60cdcb}.step-number[data-astro-cid-ekmcoqaj]{color:#8dafb8;font-size:11px}.stages[data-astro-cid-ekmcoqaj] b[data-astro-cid-ekmcoqaj]{white-space:nowrap;font-size:12px;display:block}.stages[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#8ba8b7;font-size:10px}.track[data-astro-cid-ekmcoqaj]{background:#233d4c;height:3px;position:absolute;bottom:0;left:0;right:0}.track[data-astro-cid-ekmcoqaj] i[data-astro-cid-ekmcoqaj]{background:#409de2;width:0;height:100%;transition:width .2s;display:block}.workspace[data-astro-cid-ekmcoqaj]{grid-template-columns:minmax(300px,var(--split)) 6px minmax(340px,1fr);flex:1;min-height:0;display:grid}.conversation[data-astro-cid-ekmcoqaj],.document[data-astro-cid-ekmcoqaj]{flex-direction:column;min-width:0;min-height:0;display:flex}.conversation[data-astro-cid-ekmcoqaj]{background:#11212b}.document[data-astro-cid-ekmcoqaj]{color:#253944;background:#f4f5f1}.pane-header[data-astro-cid-ekmcoqaj]{border-bottom:1px solid #30424e;justify-content:space-between;align-items:center;gap:12px;min-height:76px;padding:16px 22px;display:flex}.pane-header[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{letter-spacing:.12em;color:#6cacb7;font-size:9px}.pane-header[data-astro-cid-ekmcoqaj] h1[data-astro-cid-ekmcoqaj],.pane-header[data-astro-cid-ekmcoqaj] h2[data-astro-cid-ekmcoqaj]{max-width:500px;margin:5px 0 0;font-size:15px;line-height:1.4}.document[data-astro-cid-ekmcoqaj] .pane-header[data-astro-cid-ekmcoqaj]{border-color:#d5dfe0}.document[data-astro-cid-ekmcoqaj] .pane-header[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#527481}.model-state[data-astro-cid-ekmcoqaj]{color:#87c7c9;text-align:right;white-space:nowrap;justify-content:flex-end;align-items:center;gap:7px;max-width:160px;font-size:10px;display:inline-flex}.model-state[data-astro-cid-ekmcoqaj]:before{content:"";background:#efb45d;border-radius:50%;flex:none;width:8px;height:8px;box-shadow:0 0 0 3px #efb45d22}.model-state[data-astro-cid-ekmcoqaj][data-state=ready]{color:#78d7bb}.model-state[data-astro-cid-ekmcoqaj][data-state=ready]:before{background:#46d6a3;box-shadow:0 0 0 3px #46d6a322}.model-state[data-astro-cid-ekmcoqaj][data-state=offline]{color:#dc8e8e}.model-state[data-astro-cid-ekmcoqaj][data-state=offline]:before{background:#de6b6b;box-shadow:0 0 0 3px #de6b6b22}.messages[data-astro-cid-ekmcoqaj]{flex:1;min-height:120px;padding:24px;overflow:auto}.aero-mark[data-astro-cid-ekmcoqaj]{color:#90e3df;border:1px solid #548c96;border-radius:12px;place-items:center;width:40px;height:40px;font-size:23px;display:grid}.welcome[data-astro-cid-ekmcoqaj] h2[data-astro-cid-ekmcoqaj]{letter-spacing:-.035em;font-size:clamp(22px,2.4vw,32px);line-height:1.25}.welcome[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{color:#a1b8c4;max-width:420px;font-size:13px;line-height:1.7}.starters[data-astro-cid-ekmcoqaj]{gap:8px;margin-top:22px;display:grid}.starters[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{text-align:left;background:#172d38;padding:12px}.starters[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]{float:right;color:#73cdcd}.chat-notice[data-astro-cid-ekmcoqaj]{color:#9fb8c6;min-height:22px;padding:0 24px 9px;font-size:11px;line-height:1.5}.composer[data-astro-cid-ekmcoqaj]{background:#1b303c;border:1px solid #52717e;border-radius:10px;margin:0 20px;padding:12px}.composer[data-astro-cid-ekmcoqaj] textarea[data-astro-cid-ekmcoqaj]{resize:vertical;color:#eef8fc;background:0 0;border:0;outline:none;width:100%;min-height:60px;max-height:180px;line-height:1.6;display:block}.composer[data-astro-cid-ekmcoqaj]>div[data-astro-cid-ekmcoqaj]{justify-content:space-between;align-items:center;margin-top:8px;display:flex}.composer[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#91adbd;font-size:10px}.composer[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{color:#082830;background:#67d6d0;border:0;font-weight:750}.privacy[data-astro-cid-ekmcoqaj]{color:#8da5b3;margin:10px 22px;font-size:10px;line-height:1.6}.splitter[data-astro-cid-ekmcoqaj]{cursor:col-resize;touch-action:none;background:#2b4654}.splitter[data-astro-cid-ekmcoqaj]:hover{background:#61bfc2}.document-tabs[data-astro-cid-ekmcoqaj]{border-bottom:1px solid #d2dcdf;gap:4px;padding:10px 20px;display:flex}.document-tabs[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{color:#49616c;background:0 0;border:0;font-size:12px}.document-tabs[data-astro-cid-ekmcoqaj] [data-astro-cid-ekmcoqaj][aria-pressed=true]{color:#176b79;background:#dceae9}.document-scroll[data-astro-cid-ekmcoqaj]{flex:1;min-height:0;padding:24px;overflow:auto}.record-intro[data-astro-cid-ekmcoqaj] h3[data-astro-cid-ekmcoqaj]{letter-spacing:-.025em;margin:0 0 6px;font-size:20px}.record-intro[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{color:#677d88;margin-bottom:22px;font-size:12px;line-height:1.6}.document-footer[data-astro-cid-ekmcoqaj]{border-top:1px solid #d1dce0;justify-content:space-between;align-items:center;padding:13px 22px;display:flex}.document-footer[data-astro-cid-ekmcoqaj] strong[data-astro-cid-ekmcoqaj]{font-size:12px;display:block}.document-footer[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]{color:#627985;margin-top:4px;font-size:10px;display:block}.document-footer[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{background:#23424d;font-size:12px}#tex[data-astro-cid-ekmcoqaj]{color:#243b44;resize:vertical;background:#edf1ef;border:1px solid #ccd7da;width:100%;min-height:60vh;margin-top:12px;padding:16px;font:12px/1.7 Consolas,monospace}.stage-checklist[data-astro-cid-ekmcoqaj] ul[data-astro-cid-ekmcoqaj]{color:#4d6671;padding-left:20px;line-height:2}.stage-checklist[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{color:#627c88;font-size:12px}.stage-checklist[data-astro-cid-ekmcoqaj] a[data-astro-cid-ekmcoqaj]{color:#176b79;border-bottom:1px solid;margin-top:16px;display:inline-block}.stage-checklist[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#378591}dialog[data-astro-cid-ekmcoqaj]{color:#d5e7ef;background:#172a35;border:1px solid #425d6b;border-radius:14px;width:min(480px,95vw);padding:28px}dialog[data-astro-cid-ekmcoqaj]::backdrop{background:#0009}dialog[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{color:#9eb8c7;font-size:13px;line-height:1.65}dialog[data-astro-cid-ekmcoqaj] label[data-astro-cid-ekmcoqaj]{margin:20px 0 8px;display:block}dialog[data-astro-cid-ekmcoqaj] input[data-astro-cid-ekmcoqaj]{color:#e5f0f5;background:#0d1d27;border:1px solid #45616e;border-radius:6px;width:100%;padding:12px}dialog[data-astro-cid-ekmcoqaj] .close[data-astro-cid-ekmcoqaj]{float:right}dialog[data-astro-cid-ekmcoqaj] .privacy[data-astro-cid-ekmcoqaj]{margin:15px 0}.sr-only[data-astro-cid-ekmcoqaj]{clip-path:inset(50%);width:1px;height:1px;position:absolute;overflow:hidden}.turn{white-space:pre-wrap;overflow-wrap:anywhere;margin:0 0 22px;line-height:1.65}.turn small{color:#74c2c7;letter-spacing:.1em;font-size:9px}.turn p{margin:8px 0;font-size:13px}.turn.user{background:#1b3442;border-radius:10px;padding:14px}.turn.user small{color:#a3bac8}.requirement{background:#fff;border:1px solid #d5dfe0;border-radius:8px;margin:0 0 12px;padding:14px}.requirement>div{justify-content:space-between;gap:10px;display:flex}.requirement label{font-size:12px;font-weight:750}.requirement small{color:#956c26;font-size:10px}.requirement textarea{resize:vertical;color:#2b4653;background:#f4f7f6;border:0;width:100%;min-height:50px;margin:12px 0;padding:8px;font-size:12px;line-height:1.5;display:block}.requirement button{color:#2f696d;background:#e4eeed;border:0;padding:5px 9px;font-size:10px}.equation-card{background:#fff;border:1px solid #d6dfe0;border-radius:8px;margin-bottom:16px;padding:20px;overflow:auto}.equation-card h3{margin:0 0 20px;font-size:13px}.equation-card p,.empty-math{color:#637c88;font-size:12px;line-height:1.65}.equation-card .katex-display{padding:12px 0;overflow:auto}.math-error{color:#995b39;white-space:pre-wrap;font:12px monospace}@media (width<=1000px){.stages[data-astro-cid-ekmcoqaj]{gap:5px;padding:8px}.stages[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{gap:6px;padding:8px 7px 12px}.stages[data-astro-cid-ekmcoqaj] b[data-astro-cid-ekmcoqaj]{font-size:10px}.stages[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{font-size:9px}.app-actions[data-astro-cid-ekmcoqaj]>span[data-astro-cid-ekmcoqaj],.brand[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]{display:none}.pane-header[data-astro-cid-ekmcoqaj]{padding:14px}.workspace[data-astro-cid-ekmcoqaj]{grid-template-columns:minmax(280px,var(--split)) 6px minmax(290px,1fr)}}@media (width<=700px){.app[data-astro-cid-ekmcoqaj]{height:auto;min-height:100dvh;overflow:visible}.appbar[data-astro-cid-ekmcoqaj]{padding:0 12px}.app-actions[data-astro-cid-ekmcoqaj]{gap:4px}.app-actions[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{padding:7px;font-size:10px}.stages[data-astro-cid-ekmcoqaj]{z-index:3;grid-template-columns:repeat(3,minmax(0,1fr));position:sticky;top:0}.stages[data-astro-cid-ekmcoqaj] b[data-astro-cid-ekmcoqaj]{font-size:11px}.workspace[data-astro-cid-ekmcoqaj]{flex-direction:column;display:flex}.splitter[data-astro-cid-ekmcoqaj]{display:none}.conversation[data-astro-cid-ekmcoqaj]{height:75dvh;min-height:650px}.document[data-astro-cid-ekmcoqaj]{min-height:650px;max-height:95dvh}.welcome[data-astro-cid-ekmcoqaj]{margin:0}.messages[data-astro-cid-ekmcoqaj]{padding:18px}.pane-header[data-astro-cid-ekmcoqaj] h1[data-astro-cid-ekmcoqaj]{font-size:14px}.document-scroll[data-astro-cid-ekmcoqaj]{padding:18px}.composer[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{font-size:9px}}.app[data-astro-cid-ekmcoqaj]{--doc-bg:#15242c;--doc-ink:#e3eff0;--doc-rule:#314651;--doc-muted:#9eb6bf;--doc-accent:#81d7d6;--doc-warning:#eac791;--doc-card:#1c303b;--doc-input:#142731;--doc-selected:#24444d;--doc-button:#2a555d}html[data-aero-theme=light] .app[data-astro-cid-ekmcoqaj]{--doc-bg:#f4f5f1;--doc-ink:#253944;--doc-rule:#d5dfe0;--doc-muted:#627985;--doc-accent:#176b79;--doc-warning:#956c26;--doc-card:#fff;--doc-input:#f4f7f6;--doc-selected:#dceae9;--doc-button:#e4eeed}.document[data-astro-cid-ekmcoqaj]{background:var(--doc-bg);color:var(--doc-ink)}.document[data-astro-cid-ekmcoqaj] .pane-header[data-astro-cid-ekmcoqaj],.document-tabs[data-astro-cid-ekmcoqaj],.document-footer[data-astro-cid-ekmcoqaj]{border-color:var(--doc-rule)}.document[data-astro-cid-ekmcoqaj] .pane-header[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj],.record-intro[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj],.document-footer[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj],.stage-checklist[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj],.stage-checklist[data-astro-cid-ekmcoqaj] ul[data-astro-cid-ekmcoqaj],.document-tabs[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj],.stage-checklist[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:var(--doc-muted)}.document-tabs[data-astro-cid-ekmcoqaj] [data-astro-cid-ekmcoqaj][aria-pressed=true]{background:var(--doc-selected);color:var(--doc-ink)}.document-footer[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{background:var(--doc-button);color:var(--doc-ink);border-color:var(--doc-rule)}.stage-checklist[data-astro-cid-ekmcoqaj] a[data-astro-cid-ekmcoqaj]{color:var(--doc-accent)}#tex[data-astro-cid-ekmcoqaj]{background:var(--doc-input);color:var(--doc-ink);border-color:var(--doc-rule)}.document-scroll[data-astro-cid-ekmcoqaj]{scrollbar-color:var(--doc-rule) var(--doc-bg)}.requirement,.equation-card{background:var(--doc-card);border-color:var(--doc-rule);color:var(--doc-ink)}.requirement textarea{background:var(--doc-input);color:var(--doc-ink)}.requirement textarea::placeholder{color:var(--doc-muted)}.requirement button{background:var(--doc-button);color:var(--doc-ink)}.requirement small:not(.confirmed){color:var(--doc-warning)}.requirement .confirmed{color:var(--doc-accent)}.equation-card p,.empty-math{color:var(--doc-muted)}.equation-review{color:var(--doc-accent)}[data-astro-cid-ekmcoqaj][data-theme-toggle][aria-pressed=true]{color:#9ee7e4;background:#1c3c45;border-color:#67d6d0}[data-astro-cid-ekmcoqaj][data-library]{color:#b5edeb;white-space:nowrap;background:#203b48;border-color:#588c99;font-weight:700}[data-astro-cid-ekmcoqaj][data-case-count]{color:#e8ffff;background:#376875;border-radius:50%;place-items:center;min-width:19px;height:19px;margin-left:4px;font-size:10px;display:inline-grid}.stages[data-astro-cid-ekmcoqaj] .historical-run[data-astro-cid-ekmcoqaj] .track[data-astro-cid-ekmcoqaj] i[data-astro-cid-ekmcoqaj]{background:#68bfa9}.example-strip[data-astro-cid-ekmcoqaj]{border-bottom:1px solid var(--doc-rule);color:var(--doc-muted);align-items:center;gap:12px;min-width:0;padding:7px 20px;font-size:10px;display:flex}.example-strip[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]:nth-child(2){white-space:nowrap;text-overflow:ellipsis;overflow:hidden}.example-strip[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]:first-child{color:var(--doc-accent);flex:none;font-weight:800}.example-strip[data-astro-cid-ekmcoqaj] a[data-astro-cid-ekmcoqaj]{color:var(--doc-accent);border-bottom:1px solid;flex:none;margin-left:auto}.stages[data-astro-cid-ekmcoqaj] .gate-warning[data-astro-cid-ekmcoqaj] .track[data-astro-cid-ekmcoqaj] i[data-astro-cid-ekmcoqaj]{background:#e8ac67}.stages[data-astro-cid-ekmcoqaj] .gate-warning[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#efbf85}@media (width<=700px){.document[data-astro-cid-ekmcoqaj]{scroll-margin-top:178px}}[data-astro-cid-ekmcoqaj][data-stage-evidence]{border:1px solid var(--doc-rule);background:var(--doc-card);border-radius:8px;flex-wrap:wrap;align-items:center;gap:12px;margin:20px 0;padding:14px;display:flex}[data-astro-cid-ekmcoqaj][data-stage-evidence]:empty{display:none}[data-astro-cid-ekmcoqaj][data-stage-evidence] .evidence-badge[data-astro-cid-ekmcoqaj]{letter-spacing:.06em;color:var(--doc-accent);width:100%;font-size:10px}[data-astro-cid-ekmcoqaj][data-stage-evidence] a[data-astro-cid-ekmcoqaj]{margin:0;font-size:11px}.proof-embed[data-astro-cid-ekmcoqaj]{border:1px solid var(--doc-rule);background:var(--doc-card);border-radius:8px;margin:22px 0;overflow:hidden}.proof-embed[data-astro-cid-ekmcoqaj][hidden]{display:none}.proof-embed[data-astro-cid-ekmcoqaj] h4[data-astro-cid-ekmcoqaj]{margin:14px 15px 3px;font-size:14px}.proof-embed[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{color:var(--doc-muted);margin:0 15px 12px;font-size:11px}.proof-embed[data-astro-cid-ekmcoqaj] iframe[data-astro-cid-ekmcoqaj]{background:#101d26;border:0;width:100%;height:min(65vh,700px);display:block}.case-library[data-astro-cid-ekmcoqaj]{color:#e2f1f1;background:#152731;border-color:#50717e;width:min(620px,96vw);max-height:min(85dvh,850px);padding:0;overflow:auto}.case-library[data-astro-cid-ekmcoqaj]::backdrop{background:#071217b8}.library-heading[data-astro-cid-ekmcoqaj]{z-index:1;background:#152731;border-bottom:1px solid #344c57;justify-content:space-between;align-items:center;padding:18px 22px;display:flex;position:sticky;top:0}.library-heading[data-astro-cid-ekmcoqaj] h2[data-astro-cid-ekmcoqaj]{margin:4px 0;font-size:19px}.library-heading[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{letter-spacing:.13em;color:#82d6d5;font-size:9px}.library-heading[data-astro-cid-ekmcoqaj] form[data-astro-cid-ekmcoqaj]{margin:0}.library-heading[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{padding:5px 10px;font-size:21px;line-height:1}.case-library[data-astro-cid-ekmcoqaj]>p[data-astro-cid-ekmcoqaj]{color:#a8bdc7;margin:14px 22px;font-size:12px}.library-toolbar[data-astro-cid-ekmcoqaj]{color:#8da9b6;justify-content:space-between;align-items:center;padding:0 22px 12px;font-size:10px;display:flex}.library-toolbar[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{font-size:11px}.library-folder[data-astro-cid-ekmcoqaj]{border-top:1px solid #314753}.library-folder[data-astro-cid-ekmcoqaj] summary[data-astro-cid-ekmcoqaj]{cursor:pointer;color:#c6e8e8;padding:13px 22px;font-weight:750;list-style:none}.library-folder[data-astro-cid-ekmcoqaj] summary[data-astro-cid-ekmcoqaj]::-webkit-details-marker{display:none}.library-folder[data-astro-cid-ekmcoqaj][open] summary[data-astro-cid-ekmcoqaj]{background:#193540}.library-folder[data-astro-cid-ekmcoqaj]>p[data-astro-cid-ekmcoqaj]{margin:8px 22px 20px;font-size:11px}.library-case[data-astro-cid-ekmcoqaj]{border-top:1px solid #273d48;gap:4px;padding:10px 22px 12px;display:grid}.library-case[data-astro-cid-ekmcoqaj].active{background:#1d3b45;border-left:3px solid #6fd0ca}.library-case[data-astro-cid-ekmcoqaj].seed{background:#14252f}.library-case[data-astro-cid-ekmcoqaj] .case-open[data-astro-cid-ekmcoqaj]{text-align:left;color:#e9f5f6;background:0 0;border:0;padding:2px 0;font-weight:700}.library-case[data-astro-cid-ekmcoqaj] .case-open[data-astro-cid-ekmcoqaj]:hover{text-decoration:underline}.library-case[data-astro-cid-ekmcoqaj] small[data-astro-cid-ekmcoqaj]{color:#a3bdc7;font-size:10px}.case-controls[data-astro-cid-ekmcoqaj]{align-items:center;gap:6px;margin-top:4px;display:flex}.case-controls[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj],.case-controls[data-astro-cid-ekmcoqaj] select[data-astro-cid-ekmcoqaj]{color:#b5cfd8;background:#1b3340;border:1px solid #3a5a68;border-radius:4px;padding:4px 7px;font-size:10px}.case-controls[data-astro-cid-ekmcoqaj] select[data-astro-cid-ekmcoqaj]{max-width:190px}.messages[data-astro-cid-ekmcoqaj]{padding-top:16px}.welcome[data-astro-cid-ekmcoqaj]{max-width:500px;margin:0}.welcome[data-astro-cid-ekmcoqaj] h2[data-astro-cid-ekmcoqaj]{margin:0}.welcome[data-astro-cid-ekmcoqaj] p[data-astro-cid-ekmcoqaj]{margin:10px 0 0}.welcome[data-astro-cid-ekmcoqaj] .starters[data-astro-cid-ekmcoqaj]{margin-top:18px}.library-folder{border-top:1px solid #314753}.library-folder summary{cursor:pointer;color:#c6e8e8;padding:13px 22px;font-weight:750;list-style:none}.library-folder summary::-webkit-details-marker{display:none}.library-folder[open] summary{background:#193540}.library-folder>p{margin:8px 22px 20px;font-size:11px}.library-case{border-top:1px solid #273d48;gap:4px;padding:10px 22px 12px;display:grid}.library-case.active{background:#1d3b45;border-left:3px solid #6fd0ca}.library-case.seed{background:#14252f}.library-case .case-open{text-align:left;color:#e9f5f6;white-space:normal;background:0 0;border:0;padding:2px 0;font-weight:700}.library-case .case-open:hover{text-decoration:underline}.library-case small{color:#a3bdc7;font-size:10px}.case-controls{flex-wrap:wrap;align-items:center;gap:6px;margin-top:4px;display:flex}.case-controls button,.case-controls select{color:#b5cfd8;background:#1b3340;border:1px solid #3a5a68;border-radius:4px;padding:4px 7px;font-size:10px}.case-controls select{max-width:190px}[data-stage-evidence] .evidence-badge{letter-spacing:.06em;color:var(--doc-accent);width:100%;font-size:10px}[data-stage-evidence] a{margin:0;font-size:11px}@media (width<=700px){.appbar[data-astro-cid-ekmcoqaj]{gap:6px}.app-actions[data-astro-cid-ekmcoqaj]{max-width:76vw;overflow-x:auto}.app-actions[data-astro-cid-ekmcoqaj] button[data-astro-cid-ekmcoqaj]{flex:none}.example-strip[data-astro-cid-ekmcoqaj] span[data-astro-cid-ekmcoqaj]:nth-child(2){display:none}.case-library[data-astro-cid-ekmcoqaj]{max-height:90dvh}.app-actions[data-astro-cid-ekmcoqaj] .theme-label[data-astro-cid-ekmcoqaj]{display:none}[data-astro-cid-ekmcoqaj][data-theme-toggle]{min-width:31px}}