.oshell-main{background:var(--paper, #fafaf8);color:var(--ink, #0d0f13)}.oshell-article{--oshell-accent: #0f766e;--oshell-deep: #115e59;--oshell-tint: #ecf7f4;--oshell-warm: #fdf4ee;--oshell-warm-line: #ecc9b4;--oshell-bad: #b4400c;--oshell-good: #1f7a45;--oshell-line: var(--line, #e6e6e1);--oshell-muted: var(--muted, #5b6169);max-width:var(--page, 1360px);margin:0 auto;padding:36px var(--gutter, 30px) 80px;font:400 18px/1.7 var(--sans, system-ui, sans-serif)}.oshell-article *{box-sizing:border-box}.oshell-article a{color:var(--oshell-deep);text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:3px}.oshell-article a:hover{color:var(--oshell-accent)}.oshell-article :is(section,figure,[id]){scroll-margin-top:110px}.oshell-article h1{font-size:clamp(38px,5vw,64px);line-height:1.04;letter-spacing:-.045em;margin:14px 0 22px}.oshell-article h1 em{font-style:normal;color:var(--oshell-accent)}.oshell-article h1 span{display:block;font-size:.6em;line-height:1.2;letter-spacing:-.03em;color:var(--oshell-deep);margin-top:14px}.oshell-article h2{font-size:clamp(27px,3.2vw,38px);line-height:1.12;margin:6px 0 22px}.oshell-article h3{font-size:21px;margin:34px 0 12px}.oshell-article p{margin:0 0 1.1em}.oshell-label{font:500 12px/1.5 var(--mono, ui-monospace, monospace);letter-spacing:.1em;text-transform:uppercase;color:var(--oshell-accent);margin:0 0 10px}.oshell-breadcrumb,.oshell-meta{font:14px/1.6 var(--sans, system-ui, sans-serif);color:var(--oshell-muted)}.oshell-breadcrumb{margin-bottom:28px}.oshell-hero{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.05fr);gap:44px;align-items:center}.oshell-hero img{display:block;width:100%;height:auto;border-radius:var(--r-md, 16px);border:1px solid var(--oshell-line)}.oshell-lede{font-size:21px;line-height:1.55;color:var(--ink-2, #2b2f36);max-width:600px}.oshell-ticket{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:28px;padding:24px 0;margin:36px 0 48px;border-block:1px solid var(--oshell-line);font:16px/1.55 var(--sans, system-ui, sans-serif)}.oshell-ticket .oshell-label{display:block;margin:0}.oshell-ticket strong{display:block;margin-top:6px;font-weight:600}.oshell-layout{display:grid;grid-template-columns:190px minmax(0,790px);gap:55px}.oshell-toc{position:sticky;top:96px;align-self:start;font:14px/1.5 var(--sans, system-ui, sans-serif)}.oshell-toc ol{list-style:none;padding:0;margin:0}.oshell-toc li{margin:0 0 10px}.oshell-toc a{color:var(--oshell-muted);text-decoration:none}.oshell-toc a:hover{color:var(--oshell-deep);text-decoration:underline}.oshell-prose{min-width:0}.oshell-opening{font-size:21px;line-height:1.6}.oshell-chapter{margin-top:56px;padding-top:40px;border-top:1px solid var(--oshell-line)}.oshell-prose ul,.oshell-prose ol{padding-left:1.3em;margin:0 0 1.2em}.oshell-prose li{margin-bottom:.55em}.oshell-article :not(pre)>code{font:.86em var(--mono, monospace);background:var(--sunken, #f3f3ef);border:1px solid var(--oshell-line);border-radius:5px;padding:1px 5px;overflow-wrap:anywhere}.oshell-article pre{max-width:100%;overflow-x:auto;background:var(--night, #0b0d12);color:var(--night-text, #eef0f4);border-radius:var(--r-sm, 10px);padding:18px 20px;margin:0 0 1.2em;font:13.5px/1.7 var(--mono, monospace)}.oshell-article pre code{font:inherit;color:inherit;background:none;border:0;padding:0}.oshell-table-wrap{overflow-x:auto;margin:8px 0 22px}.oshell-table{width:100%;border-collapse:collapse;font:15px/1.45 var(--sans, system-ui, sans-serif);background:var(--surface, #fff);border:1px solid var(--oshell-line)}.oshell-table caption{caption-side:top;text-align:left;font-size:14px;color:var(--oshell-muted);padding:0 0 10px}.oshell-table :is(th,td){text-align:left;padding:10px 14px;border-bottom:1px solid var(--oshell-line);vertical-align:top}.oshell-table thead th{font:500 12px/1.4 var(--mono, monospace);letter-spacing:.06em;text-transform:uppercase;color:var(--oshell-muted);background:var(--sunken, #f3f3ef)}.oshell-table tbody th{font-weight:600}.oshell-pair{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin:28px 0 18px;font:16px/1.55 var(--sans, system-ui, sans-serif)}.oshell-pair>div{background:var(--surface, #fff);border:1px solid var(--oshell-line);border-radius:var(--r-sm, 10px);padding:14px 16px}.oshell-pair>div:first-child{background:var(--oshell-warm);border-color:var(--oshell-warm-line)}.oshell-pair dt{font:500 12px/1.5 var(--mono, monospace);letter-spacing:.08em;text-transform:uppercase;color:var(--oshell-deep);margin-bottom:6px}.oshell-pair>div:first-child dt{color:#8a3609}.oshell-pair dd{margin:0}.oshell-remember{background:var(--night, #0b0d12);color:var(--night-text, #eef0f4);border-radius:var(--r-sm, 10px);padding:16px 20px;font:16px/1.6 var(--sans, system-ui, sans-serif)}.oshell-remember strong{font:500 12px/1.5 var(--mono, monospace);letter-spacing:.1em;text-transform:uppercase;color:#8ee0cf}.oshell-remember p{margin:6px 0 0}.oshell-remember code{background:#ffffff1f!important;border-color:#fff3!important;color:inherit}.oshell-callout{background:var(--oshell-warm);border:1px solid var(--oshell-warm-line);border-radius:var(--r-sm, 10px);padding:14px 18px;margin:0 0 24px;font:16px/1.6 var(--sans, system-ui, sans-serif)}.oshell-callout strong{color:#8a3609}.oshell-callout p{margin:6px 0 0}.oshell-callout-advice{background:var(--oshell-tint);border-color:#b9ddd4}.oshell-callout-advice strong{color:var(--oshell-deep)}.oshell-callout-advice ol{margin:10px 0 4px!important}.oshell-figure{background:var(--surface, #fff);border:1px solid var(--oshell-line);border-radius:var(--r-md, 16px);box-shadow:var(--shadow-1);padding:24px;margin:30px 0;font:16px/1.55 var(--sans, system-ui, sans-serif)}.oshell-figure figcaption{font-size:13.5px;color:var(--oshell-muted);margin-top:14px}.oshell-controls{display:flex;flex-wrap:wrap;align-items:center;gap:10px;margin:16px 0}.oshell-article button{min-height:44px;padding:9px 16px;border:1px solid var(--line-strong, #d4d4cd);border-radius:999px;background:var(--surface, #fff);color:var(--ink, #0d0f13);font:600 15px/1.2 var(--sans, system-ui, sans-serif);cursor:pointer}.oshell-article button:hover{border-color:var(--oshell-accent)}.oshell-article button:focus-visible{outline:3px solid var(--oshell-accent);outline-offset:2px}.oshell-article button[aria-pressed=true]{background:var(--oshell-accent);border-color:var(--oshell-accent);color:#fff}.oshell-article button:disabled{opacity:.45;cursor:default}.oshell-step-count{font:13px var(--mono, monospace);color:var(--oshell-muted)}.oshell-status{margin:4px 0 0!important;padding-top:12px;border-top:1px solid var(--oshell-line);min-height:4.8em}.oshell-mini{font:500 12px/1.5 var(--mono, monospace);letter-spacing:.08em;text-transform:uppercase;color:var(--oshell-muted);margin:0 0 6px!important}.oshell-arch-svg{display:block;width:100%;height:auto}.oshell-arch-tall{display:none;max-width:420px;margin:0 auto}.oshell-arch-svg [data-part]{transition:opacity .3s ease}.oshell-arch-svg [data-part][data-dim]{opacity:.16}.oshell-arch-svg text{font-family:var(--sans, system-ui, sans-serif);fill:#1b2321}.oshell-arch-svg .t-title{font-size:16px;font-weight:650}.oshell-arch-svg .t-head{font-size:14px;font-weight:650}.oshell-arch-svg .t-mono{font-family:var(--mono, ui-monospace, monospace);font-size:14px}.oshell-arch-svg .t-small{font-size:12.5px;fill:#4b5552}.oshell-arch-svg .t-body{font-size:13px;fill:#1f2d2a}.oshell-arch-svg .t-tiny{font-size:11px;fill:#4b5552}.oshell-arch-svg .t-tag{font-family:var(--mono, ui-monospace, monospace);font-size:11px;letter-spacing:.12em;fill:#5b6b66}.oshell-arch-svg .t-chip{font-family:var(--mono, ui-monospace, monospace);font-size:11px;fill:var(--oshell-deep);text-anchor:middle}.oshell-arch-svg .t-pill{font-family:var(--mono, ui-monospace, monospace);font-size:12px;text-anchor:middle}.oshell-arch-svg .t-mid{text-anchor:middle}.oshell-arch-svg .t-end{text-anchor:end}.oshell-arch-svg .t-warn{fill:var(--oshell-bad)}.oshell-arch-svg .t-cross{font-size:16px;font-weight:700;fill:var(--oshell-bad)}.oshell-arch-svg .n-plain{fill:#fff;stroke:#d6d4ca;stroke-width:1.2}.oshell-arch-svg .n-gw,.oshell-arch-svg .n-sup{fill:var(--oshell-tint);stroke:var(--oshell-accent);stroke-width:1.4}.oshell-arch-svg .n-work{fill:var(--oshell-warm);stroke:var(--oshell-warm-line);stroke-width:1.4}.oshell-arch-svg .n-chip{fill:#fff;stroke:var(--oshell-accent)}.oshell-arch-svg .n-ok{fill:#e4f4ea;stroke:var(--oshell-good)}.oshell-arch-svg .n-no{fill:#fbe7df;stroke:var(--oshell-bad)}.oshell-arch-svg .n-boundary{fill:none;stroke:#8a9893;stroke-width:1.4;stroke-dasharray:7 6}.oshell-arch-svg .l-arrow{fill:none;stroke:#3d4845;stroke-width:1.8}.oshell-arch-svg .l-ok{stroke:var(--oshell-good);stroke-width:2.2}.oshell-arch-svg .l-dashed{fill:none;stroke:#7b8884;stroke-width:1.5;stroke-dasharray:5 5}.oshell-arch-svg .l-no{stroke:var(--oshell-bad)}.oshell-arch-svg .l-channel{fill:none;stroke:var(--oshell-accent);stroke-width:6;stroke-linecap:round}.oshell-arch-svg .oshell-arrowhead{fill:#3d4845}.oshell-term{background:var(--night, #0b0d12);color:var(--night-text, #eef0f4);border-radius:var(--r-sm, 10px);overflow:hidden}.oshell-term-bar{display:flex;align-items:center;gap:7px;padding:10px 14px;background:#1a1d24;border-bottom:1px solid #262a33}.oshell-term-bar span{width:10px;height:10px;border-radius:50%;background:#3a3f4a}.oshell-term-bar p{margin:0 0 0 8px!important;font:12px var(--mono, monospace);color:#9aa1ad}.oshell-term-body{list-style:none;padding:16px 18px!important;margin:0!important;font:13px/1.65 var(--mono, monospace);min-height:12em}.oshell-term-body li{margin:0!important;white-space:pre-wrap;overflow-wrap:anywhere}.oshell-term-body li[hidden]{display:none}.oshell-term-cmd{color:#f4f6f8;margin-top:6px!important}.oshell-term-cmd:before{content:"$ ";color:#8ee0cf}.oshell-term-out{color:#c4cad4}.oshell-term-note{color:#8790a0;margin-top:10px!important}.oshell-term-note:first-child{margin-top:0!important}.oshell-term-good{color:#8ee0a8}.oshell-term-bad{color:#ffab8a}.oshell-term-caret:after{content:"▍";color:#8ee0cf;animation:oshell-blink 1s steps(1) infinite}@keyframes oshell-blink{50%{opacity:0}}.oshell-choices button{flex:1 1 160px}.oshell-prover-grid{display:grid;grid-template-columns:1fr 1fr;gap:14px;margin-bottom:14px}.oshell-article pre.oshell-prover-code{background:var(--sunken, #f3f3ef);color:var(--ink, #0d0f13);border:1px solid var(--oshell-line);margin:0;min-height:11.5em;font-size:13px}.oshell-article pre.oshell-prover-result{white-space:pre-wrap;overflow-wrap:anywhere;font-size:13px;margin-bottom:12px}.oshell-prover-pass{color:#8ee0a8}.oshell-prover-fail{color:#ffab8a}.oshell-prover-added{background:#fde3d6;color:#7a2a06;display:inline-block;width:100%}.oshell-glossary dt{font-weight:600;margin-top:16px}.oshell-glossary dd{margin:4px 0 0;color:var(--ink-2, #2b2f36)}.oshell-quiz details{border-bottom:1px solid var(--oshell-line);padding:14px 0}.oshell-quiz summary{cursor:pointer;font-weight:600;min-height:44px;padding-top:8px}.oshell-quiz details p{margin:10px 0 0}.oshell-next{margin-top:56px;padding:28px;background:var(--oshell-tint);border-radius:var(--r-md, 16px)}.oshell-next ul{margin:0!important}.oshell-sources{font:15px/1.6 var(--sans, system-ui, sans-serif)}.oshell-sources li{overflow-wrap:anywhere}.oshell-disclosure{margin-top:24px!important;font-size:14px;color:var(--oshell-muted)}@media(max-width:1000px){.oshell-hero{grid-template-columns:minmax(0,1fr);gap:28px}.oshell-hero img{max-width:680px}}@media(max-width:960px){.oshell-layout{grid-template-columns:minmax(0,1fr);gap:32px}.oshell-toc{position:static;border:1px solid var(--oshell-line);border-radius:var(--r-sm, 10px);padding:16px 18px 6px;background:var(--surface, #fff)}}@media(max-width:640px){.oshell-arch-wide{display:none}.oshell-arch-tall{display:block}}@media(max-width:600px){.oshell-article{font-size:17px;padding-top:24px}.oshell-lede,.oshell-opening{font-size:19px}.oshell-ticket{grid-template-columns:minmax(0,1fr);gap:16px;margin:26px 0 32px}.oshell-pair,.oshell-prover-grid{grid-template-columns:minmax(0,1fr)}.oshell-article pre.oshell-prover-code{min-height:0}.oshell-figure{padding:18px 14px}.oshell-term-body{padding:14px 12px!important;font-size:12.5px}.oshell-table-fields,.oshell-table-fields :is(tbody,tr,th,td){display:block}.oshell-table-fields thead{display:none}.oshell-table-fields tr{border-bottom:1px solid var(--line-strong, #d4d4cd);padding:6px 0}.oshell-table-fields :is(th,td){border:0;padding:4px 14px}.oshell-table-fields td:before{content:attr(data-label);display:block;font:500 11px/1.4 var(--mono, monospace);letter-spacing:.06em;text-transform:uppercase;color:var(--oshell-muted)}}@media(prefers-reduced-motion:reduce){.oshell-article *,.oshell-article *:before,.oshell-article *:after{transition:none!important;animation:none!important}}