@import"https://fonts.googleapis.com/css2?family=DM+Mono:wght@400;500&family=DM+Sans:wght@400;500;600;700&family=Newsreader:opsz,wght@6..72,400;6..72,500;6..72,600&display=swap";:root{--tb-paper: #f3efe5;--tb-paper-deep: #e7e0d1;--tb-ink: #17201c;--tb-muted: #5f685f;--tb-rule: #c9c0ae;--tb-green: #175b46;--tb-green-dark: #0d3f32;--tb-green-pale: #dce9df;--tb-rust: #934026;--tb-blue: #28758a;--tb-yellow: #efe1a6;--tb-serif: Newsreader, Georgia, "Times New Roman", serif;--tb-sans: "DM Sans", ui-sans-serif, system-ui, sans-serif;--tb-mono: "DM Mono", ui-monospace, SFMono-Regular, monospace;color-scheme:light}*{box-sizing:border-box}html{background:var(--tb-paper);scroll-behavior:smooth}body{margin:0;color:var(--tb-ink);background:var(--tb-paper);font-family:var(--tb-sans)}button,input{font:inherit}a{color:inherit}code{font-family:var(--tb-mono)}.tb-skip{position:fixed;z-index:100;top:10px;left:10px;padding:10px 14px;color:#fff;background:var(--tb-green-dark);transform:translateY(-160%)}.tb-skip:focus{transform:none}.tb-shell{min-height:100vh;padding-top:76px}.tb-topbar{position:fixed;z-index:50;inset:0 0 auto;height:76px;display:grid;grid-template-columns:296px 1fr auto;align-items:center;gap:28px;padding:0 30px;color:#f7f4e9;background:var(--tb-green-dark);box-shadow:0 2px 14px #181f1b2e}.tb-brand{display:inline-flex;align-items:center;gap:12px;text-decoration:none}.tb-brand>span:last-child{display:flex;flex-direction:column}.tb-brand strong{font-size:15px;line-height:1.2;letter-spacing:.03em}.tb-brand small{color:#ffffff9e;font:10px var(--tb-mono);text-transform:uppercase;letter-spacing:.07em}.tb-mark{display:grid;place-items:center;width:38px;height:38px;border:1px solid rgb(255 255 255 / .25);border-radius:50%;color:#f7e597;font:500 24px var(--tb-serif)}.tb-progress-copy{justify-self:center;display:flex;gap:16px;font:10px var(--tb-mono);text-transform:uppercase;letter-spacing:.07em}.tb-progress-copy span{color:#ffffff94}.tb-progress-copy strong{color:#f7e597;font-weight:500}.tb-contents-link{min-height:42px;display:inline-flex;align-items:center;padding:0 14px;border:1px solid rgb(255 255 255 / .22);border-radius:3px;font-size:12px;text-decoration:none}.tb-progress{position:absolute;inset:auto 0 0;height:3px;background:#ffffff1f}.tb-progress span{display:block;height:100%;background:#f2d969;transition:width .35s ease}.tb-sidebar{position:fixed;inset:76px auto 0 0;width:318px;padding:34px 24px 50px 30px;border-right:1px solid var(--tb-rule);background:#ece6d8;overflow-y:auto}.tb-sidebar nav{display:grid;gap:32px}.tb-chapter-link{display:block;margin-bottom:12px;text-decoration:none}.tb-chapter-link span{display:block;margin-bottom:5px;color:var(--tb-rust);font:500 10px var(--tb-mono);text-transform:uppercase;letter-spacing:.08em}.tb-chapter-link strong{font:600 19px/1.15 var(--tb-serif)}.tb-sidebar section:not(.is-current) .tb-chapter-link strong{color:var(--tb-muted)}.tb-sidebar ol{margin:0;padding:0;list-style:none}.tb-sidebar li a{display:grid;grid-template-columns:34px 1fr;gap:5px;padding:7px 9px;border-left:2px solid transparent;color:#616b63;font-size:12px;line-height:1.3;text-decoration:none}.tb-sidebar li a span{color:#969382;font:10px var(--tb-mono)}.tb-sidebar li a:hover{color:var(--tb-green-dark);background:#ffffff6b}.tb-sidebar li a[aria-current=page]{border-left-color:var(--tb-rust);color:var(--tb-green-dark);background:#f8f4ea;font-weight:700}.tb-sidebar-note{margin:40px 8px 0;padding-top:18px;border-top:1px solid var(--tb-rule);color:#777b6f;font:11px/1.55 var(--tb-mono)}.tb-main{margin-left:318px}.tb-page-header{padding:76px max(7vw,62px) 68px;border-bottom:1px solid var(--tb-rule);background:linear-gradient(110deg,#efe9dd 0 66%,#e7decd 66%)}.tb-page-header>*{max-width:900px}.tb-page-kicker{display:flex;align-items:center;gap:11px;margin-bottom:48px;color:var(--tb-muted);font:500 10px var(--tb-mono);text-transform:uppercase;letter-spacing:.08em}.tb-page-kicker i{width:3px;height:3px;border-radius:50%;background:var(--tb-rust)}.tb-part-label{color:var(--tb-green);font:600 11px var(--tb-mono);text-transform:uppercase;letter-spacing:.11em}.tb-page-header h1{max-width:930px;margin:15px 0 24px;font:500 clamp(49px,6vw,82px)/.96 var(--tb-serif);letter-spacing:-.04em;text-wrap:balance}.tb-page-header>p:last-child{max-width:720px;margin:0;color:#566259;font:19px/1.55 var(--tb-serif)}.tb-content{max-width:820px;margin:0 auto;padding:80px 36px 100px;counter-reset:figure}.tb-content>h2{margin:82px 0 18px;font:600 37px/1.08 var(--tb-serif);letter-spacing:-.025em}.tb-content>.tb-goals+h2{margin-top:70px}.tb-content>p{margin:0 0 24px;font:19px/1.72 var(--tb-serif)}.tb-content>p code,.tb-worked p code{padding:1px 5px;border:1px solid var(--tb-rule);border-radius:3px;background:#ffffff6b;font-size:.72em}.tb-content em{color:var(--tb-green)}.tb-eyebrow{margin:0 0 11px;color:var(--tb-rust);font:600 10px var(--tb-mono);text-transform:uppercase;letter-spacing:.1em}.tb-goals{margin:0 0 64px;padding:23px 27px;border:1px solid #b7b2a4;border-top:4px solid var(--tb-green);background:#ffffff6b}.tb-goals ul{display:grid;gap:7px;margin:0;padding-left:19px;color:#4c5c52;font:14px/1.5 var(--tb-sans)}.tb-definition{position:relative;margin:42px -34px;padding:30px 34px 30px 122px;border-block:1px solid #aabfaf;background:var(--tb-green-pale)}.tb-definition>span{position:absolute;top:32px;left:26px;color:var(--tb-green);font:600 10px var(--tb-mono);text-transform:uppercase;letter-spacing:.09em}.tb-definition h3{margin:0 0 9px;color:var(--tb-green-dark);font:600 25px var(--tb-serif)}.tb-definition p{margin:0;color:#395246;font:16px/1.6 var(--tb-serif)}.tb-worked{margin:48px 0;padding:29px 32px 32px;border:1px solid var(--tb-rule);background:#ece6d9;box-shadow:7px 7px #d8d0bf}.tb-worked h3{margin:0 0 17px;font:600 24px var(--tb-serif)}.tb-worked>p:not(.tb-eyebrow){margin:0 0 15px;font:16px/1.65 var(--tb-serif)}.tb-warning{display:grid;grid-template-columns:112px 1fr;gap:24px;margin:38px 0;padding:20px 24px;border-left:4px solid var(--tb-rust);background:#efdfd2}.tb-warning strong{color:#8f3d25;font:600 10px/1.45 var(--tb-mono);text-transform:uppercase;letter-spacing:.07em}.tb-warning p{margin:0;color:#5f4439;font:15px/1.55 var(--tb-sans)}.tb-section-summary{margin:88px 0 0;padding:32px;border-top:4px double var(--tb-green);border-bottom:1px solid var(--tb-rule);background:#ffffff47}.tb-section-summary h3{margin:6px 0 15px;font:600 27px var(--tb-serif)}.tb-section-summary>p:not(.tb-eyebrow){font:17px/1.6 var(--tb-serif)}.tb-section-summary ul{display:grid;gap:8px;margin:0;padding-left:20px;font:15px/1.5 var(--tb-sans)}.tb-display-math{margin:32px 0;padding:24px;color:var(--tb-green-dark);background:#ffffff85;border-block:1px solid var(--tb-rule);font:500 22px/1.65 var(--tb-serif);text-align:center;overflow-x:auto}.tb-display-math-large{font-size:30px}.tb-indexed-list,.tb-pairing,.tb-stepper,.tb-multiplication-lab{margin:38px 0;counter-increment:figure}.tb-indexed-list figcaption,.tb-pairing figcaption,.tb-stepper figcaption,.tb-multiplication-lab figcaption{margin-bottom:12px;color:var(--tb-muted);font:10px var(--tb-mono);text-transform:uppercase;letter-spacing:.06em}.tb-indexed-list figcaption:before,.tb-pairing figcaption:before,.tb-stepper figcaption:before,.tb-multiplication-lab figcaption:before{content:"Figure " counter(figure) " · ";color:var(--tb-rust)}.tb-indexed-list>div{display:flex}.tb-indexed-list>div>span{min-width:74px;border:1px solid var(--tb-green);border-right:0;text-align:center}.tb-indexed-list>div>span:last-child{border-right:1px solid var(--tb-green)}.tb-indexed-list strong,.tb-indexed-list small{display:block;padding:13px 8px}.tb-indexed-list strong{font:500 22px var(--tb-serif);background:#f9f6ed}.tb-indexed-list small{border-top:1px solid var(--tb-rule);color:var(--tb-muted);background:#e7e1d4;font:10px var(--tb-mono)}.tb-indexed-list .is-highlighted{outline:3px solid var(--tb-rust);z-index:2}.tb-video-plate{margin:48px -95px;counter-increment:figure;border:1px solid var(--tb-rule);background:#e7e1d5;box-shadow:10px 10px #d4ccbc}.tb-video-plate>div{position:relative;min-height:260px;display:grid;place-items:center;background-image:linear-gradient(rgb(23 91 70 / .055) 1px,transparent 1px),linear-gradient(90deg,rgb(23 91 70 / .055) 1px,transparent 1px);background-size:28px 28px;overflow:hidden}.tb-video-plate video{display:block;width:100%;background:transparent}.tb-video-plate figcaption{display:grid;grid-template-columns:180px 1fr;gap:3px 20px;padding:18px 22px;border-top:1px solid var(--tb-rule)}.tb-video-plate figcaption>span{grid-row:1 / 3;color:var(--tb-rust);font:600 9px var(--tb-mono);text-transform:uppercase;letter-spacing:.07em}.tb-video-plate figcaption>span:before{content:"Figure " counter(figure) " · "}.tb-video-plate figcaption strong{font:600 17px var(--tb-serif)}.tb-video-plate figcaption p{margin:0;color:var(--tb-muted);font-size:12px}.tb-side-by-side{display:grid;grid-template-columns:1fr 1fr;gap:28px}.tb-translation-table,.tb-comparison-table{margin:36px 0;border:1px solid var(--tb-rule);overflow-x:auto}.tb-translation-table>div,.tb-comparison-table>div{display:grid;grid-template-columns:1.45fr 1fr 1fr;min-width:620px}.tb-translation-table strong,.tb-translation-table span,.tb-translation-table code,.tb-comparison-table strong,.tb-comparison-table span{padding:13px 16px;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule);font-size:13px}.tb-translation-table>div:first-child,.tb-comparison-table>div:first-child{color:#fff;background:var(--tb-green-dark)}.tb-translation-table code{color:var(--tb-green);background:#f8f5ec}.tb-count-strip,.tb-power-row{display:flex;align-items:center;gap:6px;margin:30px 0}.tb-count-strip span,.tb-power-row span{display:grid;min-width:58px;min-height:54px;place-items:center;border:1px solid var(--tb-rule);background:#faf7ef;font:14px var(--tb-mono)}.tb-count-strip i{padding:0 10px}.tb-grid-example{display:grid;grid-template-columns:70px repeat(4,1fr);margin:34px 0;border:1px solid var(--tb-rule)}.tb-grid-example>*{min-height:48px;display:grid;place-items:center;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule)}.tb-grid-example strong{color:var(--tb-green-dark);background:#e0e8dd;font:11px var(--tb-mono)}.tb-grid-example span{background:#f8f5ed;font:18px var(--tb-serif)}.tb-stepper{border:1px solid var(--tb-rule);background:#eee8dc}.tb-stepper figcaption{display:flex;justify-content:space-between;margin:0;padding:16px 18px;color:#fff;background:var(--tb-green-dark)}.tb-stepper figcaption strong{color:#f7e597}.tb-stepper-values{display:flex;padding:22px}.tb-stepper-values span{width:58px;padding:13px;border:1px solid var(--tb-rule);background:#faf8f0;text-align:center}.tb-stepper-values .is-used{color:#fff;background:var(--tb-green)}.tb-stepper-values .is-next{outline:3px solid var(--tb-rust)}.tb-stepper-code{display:grid;padding:0 22px}.tb-stepper-code code{padding:7px 10px;color:#758078;font-size:11px}.tb-stepper-code code.is-used{color:var(--tb-green-dark);background:#ffffff85}.tb-stepper-code em{float:right;color:#9a735a}.tb-stepper-controls{display:flex;gap:8px;padding:19px 22px}.tb-stepper-controls button,.tb-multiplication-lab button{padding:9px 13px;border:1px solid var(--tb-green);color:var(--tb-green-dark);background:#faf8f0;cursor:pointer}.tb-stepper-controls button:first-child{color:#fff;background:var(--tb-green)}.tb-stepper-controls button:disabled{opacity:.4;cursor:not-allowed}.tb-sigma-anatomy{position:relative;display:grid;grid-template:"upper body" auto "sum body" auto "lower body" auto / 90px 1fr;align-items:center;width:420px;max-width:100%;margin:40px auto}.tb-sigma-anatomy .sum{grid-area:sum;font:80px var(--tb-serif);text-align:center}.tb-sigma-anatomy .upper{grid-area:upper;align-self:end;text-align:center}.tb-sigma-anatomy .lower{grid-area:lower;align-self:start;text-align:center}.tb-sigma-anatomy .body{grid-area:body;font:38px var(--tb-serif)}.tb-sigma-anatomy small{display:block;color:var(--tb-rust);font:9px var(--tb-mono)}.tb-pairing{overflow-x:auto}.tb-pairing-grid{display:grid;grid-template-columns:170px repeat(4,1fr);min-width:590px;border:1px solid var(--tb-rule)}.tb-pairing-grid>*{padding:13px;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule);text-align:center}.tb-pairing-grid strong{color:var(--tb-green-dark);background:#e0e8dd;font:11px var(--tb-mono);text-align:left}.tb-pairing-grid span{background:#faf7ef;font:17px var(--tb-serif)}.tb-pairing-grid .is-product{color:#fff;background:var(--tb-green)}.tb-code-compare{display:grid;grid-template-columns:1fr 1fr;margin:35px 0;border:1px solid var(--tb-rule)}.tb-code-compare pre{margin:0;padding:23px;color:#dbece3;background:#172c24;overflow:auto;font:12px/1.8 var(--tb-mono)}.tb-code-compare>div{margin:0;display:grid;align-content:center;border:0}.tb-code-compare>div:not(.tb-display-math){padding:22px;font:14px/1.55 var(--tb-sans)}.tb-code-walkthrough{margin:42px -95px;counter-increment:figure;border:1px solid #203d31;background:#12251e;color:#e8f1eb;box-shadow:10px 10px #cdc6b8}.tb-code-walkthrough figcaption{display:flex;justify-content:space-between;margin:0;padding:13px 18px;border-bottom:1px solid #315044;color:#9cb1a7;font:10px var(--tb-mono);text-transform:uppercase;letter-spacing:.06em}.tb-code-walkthrough figcaption:before{content:"Figure " counter(figure) " · ";color:#f1d775}.tb-code-walkthrough figcaption a{margin-left:auto;color:#8bc9d7;text-transform:none}.tb-code-body{display:grid;grid-template-columns:minmax(0,1.45fr) minmax(230px,.75fr)}.tb-code-body pre{margin:0;padding:19px 0;overflow:auto;font:11px/1.75 var(--tb-mono)}.tb-code-body code>span{display:block;min-width:520px;padding:0 20px 0 0;white-space:pre}.tb-code-body code>span.is-current{color:#fff7bf;background:#2d4d40;box-shadow:inset 3px 0 #f1d775}.tb-code-body code i{display:inline-block;width:42px;margin-right:14px;color:#5f776c;font-style:normal;text-align:right;user-select:none}.tb-code-body aside{display:flex;flex-direction:column;justify-content:center;padding:26px;border-left:1px solid #315044;background:#183027}.tb-code-body aside small{color:#f1d775;font:9px var(--tb-mono);text-transform:uppercase}.tb-code-body aside h3{margin:9px 0;font:500 23px var(--tb-serif)}.tb-code-body aside p{margin:0;color:#a9bbb2;font:13px/1.55 var(--tb-sans)}.tb-code-body aside>div{display:flex;gap:6px;margin-top:24px}.tb-code-body button{padding:8px 10px;border:1px solid #547365;color:#d9e7df;background:transparent;cursor:pointer;font-size:11px}.tb-code-body button:disabled{opacity:.3;cursor:not-allowed}.tb-marimo-lab{margin:45px -170px;border:1px solid var(--tb-rule);background:#e7e1d5;box-shadow:10px 10px #d4ccbc}.tb-marimo-lab figcaption{display:flex;align-items:center;justify-content:space-between;gap:22px;padding:17px 20px;color:#fff;background:var(--tb-green-dark)}.tb-marimo-lab figcaption span,.tb-marimo-lab figcaption strong{display:block}.tb-marimo-lab figcaption span{color:#f1d775;font:9px var(--tb-mono);text-transform:uppercase;letter-spacing:.07em}.tb-marimo-lab figcaption strong{margin-top:5px;font:500 18px var(--tb-serif)}.tb-marimo-lab figcaption a{flex:none;color:#a5d5df;font-size:11px}.tb-marimo-lab iframe{display:block;width:100%;height:780px;border:0;background:#fff}.tb-marimo-lab>p{margin:0;padding:15px 20px;color:var(--tb-muted);font-size:12px;line-height:1.5}.tb-operation-pipeline{display:grid;grid-template-columns:1fr auto 1.4fr auto 1fr;align-items:center;gap:12px;margin:40px -45px}.tb-operation-pipeline div{min-height:112px;display:grid;place-content:center;padding:16px;border:1px solid var(--tb-rule);background:#f8f5ec;text-align:center}.tb-operation-pipeline small,.tb-operation-pipeline strong{display:block}.tb-operation-pipeline small{margin-bottom:10px;color:var(--tb-rust);font:9px var(--tb-mono);text-transform:uppercase}.tb-operation-pipeline strong{font:500 17px var(--tb-serif)}.tb-operation-pipeline b{color:var(--tb-rust)}.tb-property-list{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin:36px 0}.tb-property-list article{padding:20px;border-top:3px solid var(--tb-green);background:#e8e4d8}.tb-property-list strong{font:600 12px var(--tb-sans)}.tb-property-list div{margin:16px 0;font:18px var(--tb-serif)}.tb-property-list p{margin:0;color:var(--tb-muted);font-size:12px;line-height:1.5}.tb-check{margin:56px -54px;padding:31px 36px;border:1px solid #9eb2a5;background:#e1e9df;box-shadow:8px 8px #cdd8cf}.tb-check h3{margin:0 0 22px;font:600 24px/1.2 var(--tb-serif)}.tb-choices{display:grid;gap:7px}.tb-choices button{display:grid;grid-template-columns:32px 1fr;align-items:center;gap:11px;min-height:48px;padding:7px 13px;border:1px solid #a9b7ac;color:#34443b;background:#f8f7f0;text-align:left;cursor:pointer}.tb-choices button span{display:grid;width:25px;height:25px;place-items:center;border-radius:50%;color:var(--tb-green);background:#dae7dd;font:600 10px var(--tb-mono)}.tb-choices button:hover{border-color:var(--tb-green)}.tb-choices button.is-correct{border-color:var(--tb-green);color:#fff;background:var(--tb-green)}.tb-choices button.is-incorrect{border-color:var(--tb-rust);background:#efd9ce}.tb-feedback{margin-top:15px;padding:13px 15px;color:#4c5b52;background:#fff9;font-size:13px;line-height:1.45}.tb-feedback.is-correct strong{color:var(--tb-green)}.tb-feedback.is-incorrect strong{color:var(--tb-rust)}.tb-reveal{margin:16px 0;border:1px solid var(--tb-rule);background:#ffffff61}.tb-reveal summary{padding:17px 20px;cursor:pointer;font:600 14px/1.4 var(--tb-sans)}.tb-reveal[open] summary{color:var(--tb-green);border-bottom:1px solid var(--tb-rule)}.tb-reveal>div{padding:18px 21px}.tb-reveal p{margin:0;font:16px/1.6 var(--tb-serif)}.tb-exercise-set{margin:38px 0}.tb-exercise-set h3{padding-bottom:10px;border-bottom:2px solid var(--tb-green);font:600 21px var(--tb-serif)}.tb-label-table,.tb-list-to-poly,.tb-foil-grid,.tb-two-calcs,.tb-convolution-steps,.tb-wrap-comparison{margin:36px 0}.tb-label-table>div,.tb-list-to-poly>div{display:grid;grid-template-columns:repeat(3,1fr);border-bottom:1px solid var(--tb-rule)}.tb-label-table>div>*,.tb-list-to-poly>div>*{padding:13px}.tb-label-table>div:first-child,.tb-list-to-poly>div:first-child{color:#fff;background:var(--tb-green-dark)}.tb-foil-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:8px}.tb-foil-grid>div{padding:18px;border:1px solid var(--tb-rule);background:#f8f5ec}.tb-two-calcs{display:grid;grid-template-columns:1fr 1fr;gap:18px}.tb-two-calcs>div{padding:23px;border-top:3px solid var(--tb-blue);background:#e5e7df}.tb-multiplication-lab{margin-inline:-85px;border:1px solid var(--tb-rule);background:#e7e1d5}.tb-multiplication-lab figcaption{display:flex;justify-content:space-between;align-items:center;margin:0;padding:17px 20px;color:#fff;background:var(--tb-green-dark)}.tb-multiplication-lab figcaption span,.tb-multiplication-lab figcaption small{display:block}.tb-multiplication-lab figcaption small{margin-top:5px;color:#ffffff94;text-transform:none}.tb-multiplication-lab figcaption strong{color:#f7e597}.tb-multiplication-inputs{display:grid;grid-template-columns:1fr 1fr;gap:18px;padding:20px}.tb-multiplication-inputs label{display:flex;align-items:center;gap:5px;color:var(--tb-green-dark);font:600 12px var(--tb-mono)}.tb-multiplication-inputs input{width:54px;padding:9px 5px;border:1px solid var(--tb-rule);background:#faf7ee;text-align:center}.tb-product-matrix{display:grid;grid-template-columns:120px repeat(3,1fr);margin:0 20px;border:1px solid var(--tb-rule)}.tb-product-matrix>*{min-height:65px;border:0;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule)}.tb-product-matrix>strong{display:grid;place-items:center;color:var(--tb-green-dark);background:#d8dfd5;font:10px var(--tb-mono)}.tb-product-matrix button{display:grid;place-content:center;color:var(--tb-ink);background:#faf7ef}.tb-product-matrix button small{display:block;margin-bottom:5px;color:var(--tb-muted);font:9px var(--tb-mono)}.tb-product-matrix button.is-selected{color:#fff;background:var(--tb-rust)}.tb-output-buckets{display:grid;grid-template-columns:repeat(5,1fr);gap:5px;padding:20px}.tb-output-buckets button{display:grid;gap:5px;color:var(--tb-ink);background:#faf7ef}.tb-output-buckets button.is-selected{color:#fff;background:var(--tb-green)}.tb-output-buckets small{font:8px var(--tb-mono)}.tb-output-buckets strong{font:19px var(--tb-serif)}.tb-convolution-steps{display:grid;grid-template-columns:repeat(4,1fr);border:1px solid var(--tb-rule)}.tb-convolution-steps>div{padding:15px;border-right:1px solid var(--tb-rule);background:#f8f5ec}.tb-convolution-steps strong,.tb-convolution-steps span,.tb-convolution-steps em{display:block}.tb-convolution-steps strong{color:var(--tb-green);font:10px var(--tb-mono)}.tb-convolution-steps span{min-height:42px;margin:12px 0;font:15px var(--tb-serif)}.tb-convolution-steps em{color:var(--tb-rust);font:600 21px var(--tb-serif)}.tb-wrap-comparison{display:grid;grid-template-columns:repeat(3,1fr);gap:9px}.tb-wrap-comparison article{padding:20px;border-top:4px solid var(--tb-muted);background:#e8e2d6}.tb-wrap-comparison article:last-child{border-color:var(--tb-rust)}.tb-wrap-comparison span,.tb-wrap-comparison strong{display:block}.tb-wrap-comparison span{color:var(--tb-rust);font:10px var(--tb-mono);text-transform:uppercase}.tb-wrap-comparison strong{margin:15px 0;font:600 16px var(--tb-serif)}.tb-wrap-comparison p{margin:0;color:var(--tb-muted);font-size:12px;line-height:1.5}.tb-wrap-strip{display:flex;align-items:stretch;margin:35px -60px;overflow-x:auto}.tb-wrap-strip span{min-width:61px;display:grid;place-items:center;padding:15px 8px;border:1px solid var(--tb-rule);border-right:0;background:#f8f5ec;font:12px var(--tb-mono)}.tb-wrap-strip b{display:grid;place-items:center;padding:0 10px;color:#fff;background:var(--tb-rust);font:9px var(--tb-mono);text-transform:uppercase;writing-mode:vertical-rl}.tb-wrap-strip .is-wrapped{min-width:110px;color:#8f3d25;background:#efd9ce}.tb-object-map,.tb-trust-diagram,.tb-limb-diagram,.tb-transform-pipeline{display:flex;align-items:center;gap:15px;margin:38px -45px}.tb-object-map>div,.tb-limb-diagram>div,.tb-transform-pipeline>div{flex:1;padding:22px;border:1px solid var(--tb-rule);background:#f8f5ec;text-align:center}.tb-object-map span,.tb-limb-diagram span,.tb-transform-pipeline small{display:block;margin-bottom:10px;color:var(--tb-rust);font:9px var(--tb-mono);text-transform:uppercase}.tb-object-map strong,.tb-limb-diagram strong,.tb-transform-pipeline strong{font:500 16px var(--tb-serif)}.tb-object-map>b,.tb-limb-diagram>b,.tb-transform-pipeline>b{color:var(--tb-rust);font:10px var(--tb-mono);text-transform:uppercase}.tb-similarity-lab,.tb-index-equation-lab,.tb-cost-lab,.tb-scale-lab,.tb-handshake-lab{margin:42px -85px;border:1px solid var(--tb-rule);background:#e9e3d7;box-shadow:8px 8px #d4ccbd}.tb-similarity-lab figcaption,.tb-index-equation-lab figcaption,.tb-cost-lab figcaption,.tb-scale-lab figcaption,.tb-handshake-lab figcaption{padding:14px 18px;color:#fff;background:var(--tb-green-dark);font:10px var(--tb-mono);text-transform:uppercase}.tb-lab-vectors{display:grid;gap:8px;padding:20px}.tb-lab-vectors label{display:grid;grid-template-columns:110px repeat(3,65px) 1fr;gap:7px;align-items:center}.tb-lab-vectors strong{color:var(--tb-green-dark);font:600 12px var(--tb-mono)}.tb-lab-vectors input{width:60px;padding:9px 5px;border:1px solid var(--tb-rule);background:#faf7ef;text-align:center}.tb-lab-vectors span{justify-self:end;color:var(--tb-rust);font:600 12px var(--tb-mono)}.tb-ranking-strip{display:flex;padding:0 20px 20px}.tb-ranking-strip div{flex:1;padding:12px;border:1px solid var(--tb-rule);border-right:0;background:#faf7ef;text-align:center}.tb-ranking-strip div:last-child{border-right:1px solid var(--tb-rule)}.tb-ranking-strip small,.tb-ranking-strip strong,.tb-ranking-strip span{display:block}.tb-ranking-strip small{color:var(--tb-muted);font:9px var(--tb-mono)}.tb-ranking-strip strong{margin:5px 0;font:600 18px var(--tb-serif)}.tb-ranking-strip span{color:var(--tb-rust)}.tb-trust-diagram{align-items:stretch}.tb-trust-diagram article{flex:1;padding:25px;border-top:4px solid var(--tb-green);background:#e2e8df}.tb-trust-diagram article:last-child{border-color:var(--tb-rust);background:#ecdfd4}.tb-trust-diagram span,.tb-trust-diagram strong{display:block}.tb-trust-diagram span{margin-bottom:15px;color:var(--tb-rust);font:9px var(--tb-mono);text-transform:uppercase}.tb-trust-diagram strong{font:500 15px/1.5 var(--tb-serif)}.tb-trust-diagram>b{align-self:center;max-width:130px;color:var(--tb-muted);font:9px/1.5 var(--tb-mono);text-align:center}.tb-operation-budget{display:grid;grid-template-columns:repeat(3,1fr);gap:9px;margin:38px 0}.tb-operation-budget article{padding:20px;border-top:4px solid var(--tb-green);background:#e8e3d8}.tb-operation-budget article:last-child{border-color:var(--tb-rust)}.tb-operation-budget span,.tb-operation-budget strong{display:block}.tb-operation-budget span{color:var(--tb-rust);font:10px var(--tb-mono);text-transform:uppercase}.tb-operation-budget strong{min-height:55px;margin:13px 0;font:600 15px/1.35 var(--tb-serif)}.tb-operation-budget p{margin:0;color:var(--tb-muted);font-size:11px;line-height:1.45}.tb-lab-sliders{display:grid;grid-template-columns:1fr 1fr;gap:22px;padding:22px}.tb-lab-sliders label{display:grid;grid-template-columns:1fr 2fr 45px;align-items:center;gap:12px;font-size:11px}.tb-lab-sliders strong{color:var(--tb-rust);font:14px var(--tb-mono);text-align:right}.tb-equation-board{padding:0 22px 22px}.tb-equation-board>div{padding:18px;color:#fff;background:var(--tb-green);text-align:center}.tb-equation-board small,.tb-equation-board strong{display:block}.tb-equation-board small{color:#ffffff9e;font:9px var(--tb-mono);text-transform:uppercase}.tb-equation-board strong{margin-top:7px;font:500 23px var(--tb-serif)}.tb-equation-board p{display:grid;grid-template-columns:1fr auto 1.5fr auto 60px;gap:12px;align-items:center;margin:0;padding:10px 15px;border-bottom:1px solid var(--tb-rule);background:#faf7ef;font:13px var(--tb-mono)}.tb-equation-board em{color:var(--tb-rust);font-style:normal;font-weight:700}.tb-proof-line{display:flex;align-items:center;justify-content:center;gap:15px;margin:40px -30px;padding:25px;border-block:1px solid var(--tb-rule);background:#f8f5ec}.tb-proof-line span{color:var(--tb-muted);font:9px var(--tb-mono);text-transform:uppercase}.tb-proof-line strong,.tb-proof-line em{font:500 25px var(--tb-serif)}.tb-proof-line em{color:var(--tb-rust)}.tb-block-tape{margin:38px -75px;overflow-x:auto}.tb-block-tape>div{display:grid;grid-template-columns:100px 1fr 60px 1fr 180px;min-width:730px}.tb-block-tape>div>*{padding:13px;border:1px solid var(--tb-rule);border-bottom:0;background:#f8f5ec;text-align:center}.tb-block-tape small{color:var(--tb-muted);font:9px var(--tb-mono)}.tb-block-tape b{color:#fff;background:var(--tb-green);font:11px var(--tb-mono)}.tb-embedded-lab{margin:40px calc(50% - 50vw)}.tb-embedded-lab .ip-lab{border-block:1px solid #29443a}.tb-proof-stack{display:grid;grid-template-columns:1fr 1fr;gap:10px;margin:35px 0}.tb-proof-stack div{padding:22px;border-top:4px solid var(--tb-green);background:#e5e5da}.tb-proof-stack span,.tb-proof-stack strong{display:block}.tb-proof-stack span{color:var(--tb-muted);font:9px var(--tb-mono);text-transform:uppercase}.tb-proof-stack strong{margin-top:12px;font:500 20px var(--tb-serif)}.tb-invariant-table,.tb-phase-table{margin:35px -55px;border:1px solid var(--tb-rule);overflow-x:auto}.tb-invariant-table>div,.tb-phase-table>div{display:grid;grid-template-columns:1fr 1.6fr 1fr;min-width:700px}.tb-phase-table>div{grid-template-columns:.5fr 1fr 1.5fr 1.5fr}.tb-invariant-table>div>*,.tb-phase-table>div>*{padding:13px 15px;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule);font-size:12px}.tb-invariant-table>div:first-child,.tb-phase-table>div:first-child{color:#fff;background:var(--tb-green-dark)}.tb-invariant-table code{color:var(--tb-green);background:#f8f5ec;font:10px var(--tb-mono)}.tb-cost-lab>label{display:flex;align-items:center;gap:20px;padding:20px;font-size:12px}.tb-cost-lab select{padding:8px 12px;border:1px solid var(--tb-rule);background:#faf7ef}.tb-cost-lab>div{display:grid;grid-template-columns:repeat(3,1fr);gap:8px;padding:0 20px 20px}.tb-cost-lab article{padding:17px;border-top:3px solid var(--tb-green);background:#f8f5ec}.tb-cost-lab article small,.tb-cost-lab article strong{display:block}.tb-cost-lab article small{min-height:34px;color:var(--tb-muted);font:9px/1.4 var(--tb-mono);text-transform:uppercase}.tb-cost-lab article strong{margin:10px 0;color:var(--tb-rust);font:500 31px var(--tb-serif)}.tb-cost-lab article p{margin:0;color:var(--tb-muted);font-size:10px}.tb-long-list,.tb-journey-list{display:grid;gap:0;margin:32px 0;padding:0;list-style:none}.tb-long-list li,.tb-journey-list li{padding:16px 0;border-bottom:1px solid var(--tb-rule);font:16px/1.55 var(--tb-serif)}.tb-long-list strong,.tb-journey-list strong{color:var(--tb-green)}.tb-scale-pipeline{display:flex;align-items:center;gap:7px;padding:5px 20px 20px;overflow-x:auto}.tb-scale-pipeline span{min-width:100px;padding:14px 10px;border:1px solid var(--tb-rule);background:#faf7ef;font:13px var(--tb-mono);text-align:center}.tb-scale-pipeline b{color:var(--tb-rust);font:9px var(--tb-mono)}.tb-scale-lab>p,.tb-handshake-lab>p{margin:0;padding:0 20px 18px;color:var(--tb-muted);font:11px var(--tb-mono)}.tb-limb-diagram>div:first-child{border-top:4px solid var(--tb-rust)}.tb-error-flow,.tb-verification-ladder{display:grid;grid-template-columns:repeat(5,1fr);gap:7px;margin:35px -70px}.tb-error-flow article,.tb-verification-ladder article{padding:17px;border-top:3px solid var(--tb-green);background:#e6e3d8}.tb-error-flow span,.tb-verification-ladder span{color:var(--tb-rust);font:10px var(--tb-mono)}.tb-error-flow strong,.tb-verification-ladder strong{display:block;margin:13px 0;font:600 14px var(--tb-serif)}.tb-error-flow p,.tb-verification-ladder p{margin:0;color:var(--tb-muted);font-size:10px;line-height:1.4}.tb-resource-triangle{display:grid;grid-template-columns:repeat(3,1fr);gap:10px;margin:38px 0}.tb-resource-triangle div{padding:28px 15px;border-radius:50% 50% 8px 8px;color:#fff;background:var(--tb-green);text-align:center;font:11px var(--tb-mono);text-transform:uppercase}.tb-resource-triangle strong{display:block;margin-top:9px;color:#f1d775;font:500 17px var(--tb-serif);text-transform:none}.tb-bit-strip{display:flex;margin:36px 0;overflow-x:auto}.tb-bit-strip span{min-width:82px;padding:12px;border:1px solid var(--tb-rule);border-right:0;color:var(--tb-muted);background:#e4e2d7;font:9px/1.5 var(--tb-mono);text-align:center}.tb-bit-strip span:last-child{border-right:1px solid var(--tb-rule)}.tb-bit-strip b{display:block;margin-top:7px;color:var(--tb-green);font-size:23px}.tb-comb-diagram{display:grid;grid-template-columns:1fr 1fr auto 1.3fr;gap:10px;align-items:center;margin:38px 0}.tb-comb-diagram div{padding:20px;border:1px solid var(--tb-rule);background:#f8f5ec;text-align:center}.tb-comb-diagram .is-result{color:#fff;background:var(--tb-green)}.tb-comb-diagram span,.tb-comb-diagram strong{display:block}.tb-comb-diagram span{font:9px var(--tb-mono);text-transform:uppercase}.tb-comb-diagram strong{margin-top:8px;font:500 25px var(--tb-serif)}.tb-cycle-strip{display:flex;align-items:stretch;margin:36px 0}.tb-cycle-strip div{flex:1;padding:22px;border:1px solid var(--tb-rule);background:#f8f5ec;text-align:center}.tb-cycle-strip b{display:grid;place-items:center;padding:14px;color:#fff;background:var(--tb-rust);font:9px var(--tb-mono)}.tb-cycle-strip small,.tb-cycle-strip strong{display:block}.tb-cycle-strip strong{margin-top:9px;font:500 20px var(--tb-serif)}.tb-lab-toggle{display:flex;gap:5px;padding:18px 18px 8px}.tb-lab-toggle button{padding:9px 12px;border:1px solid var(--tb-rule);background:#faf7ef;cursor:pointer}.tb-lab-toggle .is-selected{color:#fff;background:var(--tb-green)}.tb-wave-table,.tb-pipeline-grid{display:grid;grid-template-columns:100px repeat(6,1fr);padding:10px 18px 20px;overflow-x:auto}.tb-pipeline-grid{grid-template-columns:100px repeat(5,1fr);margin:35px -55px;padding:0}.tb-wave-table>*,.tb-pipeline-grid>*{min-width:60px;padding:10px 7px;border-right:1px solid var(--tb-rule);border-bottom:1px solid var(--tb-rule);background:#faf7ef;font:10px var(--tb-mono);text-align:center}.tb-wave-table>strong,.tb-pipeline-grid>strong{color:#fff;background:var(--tb-green-dark);text-align:left}.tb-wave-table .is-high{color:var(--tb-green);background:#d9e7dc;font-weight:700}.tb-wave-table .is-transfer{color:#fff;background:var(--tb-rust)}.tb-hdl-source,.tb-source-excerpt pre{margin:38px -95px;padding:26px;color:#dcebe3;background:#12251e;overflow:auto;font:11px/1.72 var(--tb-mono)}.tb-hdl-source code{white-space:pre}.tb-wide-joint{margin:40px calc(50% - 48vw)}.tb-wide-joint .ip-system-figure{max-width:1280px}.tb-source-excerpt{margin:38px -95px;border:1px solid #27483a;background:#12251e}.tb-source-excerpt figcaption{display:flex;justify-content:space-between;align-items:center;padding:12px 16px;border-bottom:1px solid #315044;color:#8bc9d7;font:10px var(--tb-mono)}.tb-source-excerpt button{padding:7px 9px;border:1px solid #496b5c;color:#b8cdc2;background:transparent;cursor:pointer;font-size:10px}.tb-source-excerpt pre{margin:0}.tb-final-checklist{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin:35px 0}.tb-final-checklist label{display:flex;gap:11px;align-items:flex-start;padding:17px;border:1px solid var(--tb-rule);background:#f8f5ec;font-size:13px;line-height:1.45}.tb-final-checklist input{margin-top:2px;accent-color:var(--tb-green)}.tb-footer-nav{display:grid;grid-template-columns:1fr 1fr;border-top:1px solid var(--tb-rule)}.tb-footer-nav a{min-height:122px;display:flex;flex-direction:column;justify-content:center;padding:26px max(5vw,40px);text-decoration:none;background:#e8e1d4}.tb-footer-nav a:last-child{align-items:flex-end;border-left:1px solid var(--tb-rule);text-align:right}.tb-footer-nav a:hover{background:#dfe6dc}.tb-footer-nav span{margin-bottom:8px;color:var(--tb-rust);font:10px var(--tb-mono);text-transform:uppercase}.tb-footer-nav strong{max-width:320px;font:600 18px var(--tb-serif)}.tb-not-found{padding:10vw}.tb-source-page{max-width:1120px;margin:0 auto;padding:70px 35px}.tb-source-page>a{color:var(--tb-green);font-size:13px}.tb-source-page h1{max-width:880px;margin:25px 0;font:500 clamp(52px,7vw,88px)/.94 var(--tb-serif);letter-spacing:-.04em}.tb-source-page>p:not(.tb-part-label){max-width:760px;font:18px/1.6 var(--tb-serif)}.tb-source-page>p code{padding:2px 5px;background:#e3ded3;font-size:13px}.tb-source-page>pre{margin:45px 0;padding:28px;color:#dcebe3;background:#12251e;overflow:auto;font:12px/1.7 var(--tb-mono)}.tb-home{min-height:100vh}.tb-home-hero{min-height:100vh;display:grid;grid-template-columns:1fr auto;grid-template-rows:auto 1fr auto;padding:30px max(5vw,52px) 38px;color:#f5f1e5;background:linear-gradient(125deg,#093629f7,#114836f0),repeating-linear-gradient(90deg,transparent 0 69px,rgb(255 255 255 / .025) 69px 70px)}.tb-home-hero>.tb-brand{grid-column:1;align-self:start}.tb-home-title{grid-column:1 / -1;align-self:center;max-width:1120px;padding:70px 0}.tb-home-title .tb-part-label{color:#f2d969}.tb-home-title h1{margin:18px 0 31px;font:500 clamp(58px,8vw,118px)/.85 var(--tb-serif);letter-spacing:-.055em}.tb-home-title h1 em{color:#f2d969;font-weight:400}.tb-home-title>p:not(.tb-part-label){max-width:760px;color:#ffffffba;font:20px/1.55 var(--tb-serif)}.tb-start{display:inline-flex;align-items:center;gap:45px;margin-top:28px;padding:15px 18px;border:1px solid rgb(255 255 255 / .28);color:#f7e597;text-decoration:none}.tb-start:hover{color:var(--tb-green-dark);background:#f7e597}.tb-core-atlas-link{display:inline-flex;align-items:center;gap:15px;margin:14px 0 0 14px;padding:15px 18px;border:1px solid rgb(190 242 100 / .48);color:#d7f99c;background:#03120d47;font:11px var(--tb-mono);letter-spacing:.04em;text-decoration:none;text-transform:uppercase}.tb-core-atlas-link:hover{border-color:#d7f99c;color:#0b2e22;background:#d7f99c}.tb-gpu-deep-link{margin-left:8px;border-color:#2dd4bf8a;color:#99f6e4}.tb-gpu-deep-link:hover{border-color:#99f6e4;color:#072a23;background:#99f6e4}.tb-home-facts{grid-column:1 / -1;display:grid;grid-template-columns:repeat(3,1fr);margin:0;border-top:1px solid rgb(255 255 255 / .2)}.tb-home-facts div{padding:20px 20px 0 0}.tb-home-facts dt{color:#ffffff80;font:9px var(--tb-mono);text-transform:uppercase}.tb-home-facts dd{margin:6px 0 0;font:500 20px var(--tb-serif)}.tb-lab-atlas{padding:105px max(5vw,52px);color:#f3efe4;background:#172c24}.tb-lab-atlas>header{max-width:820px}.tb-lab-atlas .tb-eyebrow{color:#f2d969}.tb-lab-atlas h2{margin:13px 0 25px;font:500 clamp(42px,6vw,72px)/.96 var(--tb-serif);letter-spacing:-.04em}.tb-lab-atlas>header>p:last-child{max-width:720px;color:#ffffffad;font:18px/1.6 var(--tb-serif)}.tb-lab-atlas>div{display:grid;grid-template-columns:repeat(5,minmax(180px,1fr));margin-top:60px;border-top:1px solid rgb(255 255 255 / .2);border-left:1px solid rgb(255 255 255 / .2)}.tb-lab-atlas article{display:flex;min-height:330px;flex-direction:column;padding:25px;border-right:1px solid rgb(255 255 255 / .2);border-bottom:1px solid rgb(255 255 255 / .2)}.tb-lab-atlas article>span{color:#f2d969;font:10px var(--tb-mono)}.tb-lab-atlas article h3{margin:24px 0 15px;font:600 25px/1.05 var(--tb-serif)}.tb-lab-atlas article p{color:#ffffff9e;font:15px/1.55 var(--tb-serif)}.tb-lab-atlas article a{margin-top:auto;color:#f2d969;font:12px/1.4 var(--tb-mono);text-decoration:none;text-transform:uppercase}.tb-lab-atlas article a:hover{color:#fff}.tb-toc{max-width:1160px;margin:0 auto;padding:110px 40px}.tb-toc>header{max-width:720px;margin-bottom:80px}.tb-toc h2,.tb-contract h2{margin:10px 0 20px;font:500 clamp(42px,6vw,68px)/.95 var(--tb-serif);letter-spacing:-.04em}.tb-toc>header>p:last-child{color:var(--tb-muted);font:18px/1.6 var(--tb-serif)}.tb-toc-chapter{display:grid;grid-template-columns:130px 1fr;padding:54px 0;border-top:1px solid var(--tb-rule)}.tb-toc-number{color:#c4bbaa;font:500 68px/.8 var(--tb-serif)}.tb-toc-body>p:first-child{margin:0;color:var(--tb-rust);font:10px var(--tb-mono);text-transform:uppercase}.tb-toc-body h3{margin:8px 0;font:600 37px var(--tb-serif)}.tb-toc-body>p:not(:first-child){margin:0 0 28px;color:var(--tb-muted);font:17px var(--tb-serif)}.tb-toc-body ol{margin:0;padding:0;list-style:none;border-top:1px solid var(--tb-rule)}.tb-toc-body li a{display:grid;grid-template-columns:50px 1fr auto;gap:18px;align-items:baseline;padding:13px 6px;border-bottom:1px solid var(--tb-rule);text-decoration:none}.tb-toc-body li a:hover strong{color:var(--tb-green)}.tb-toc-body li span,.tb-toc-body li small{color:var(--tb-muted);font:10px var(--tb-mono)}.tb-toc-body li strong{font:500 16px var(--tb-serif)}.tb-toc-body li strong em{display:inline-block;margin-left:10px;padding:3px 5px;color:var(--tb-green);background:#dce6dc;font:8px var(--tb-mono);letter-spacing:.08em;vertical-align:2px}.tb-contract{padding:100px max(7vw,70px);color:#f7f3e7;background:var(--tb-green-dark)}.tb-contract .tb-eyebrow{color:#f2d969}.tb-contract>div{display:grid;grid-template-columns:1fr 1fr;gap:70px;max-width:1000px}.tb-contract p:not(.tb-eyebrow){color:#ffffffb3;font:18px/1.6 var(--tb-serif)}.tb-deep-repository{margin-top:110px;padding-top:72px;border-top:4px double var(--tb-rule)}.tb-deep-repository>header{max-width:760px}.tb-deep-repository>header h2{margin:10px 0 24px;font:500 clamp(38px,5vw,58px)/1 var(--tb-serif);letter-spacing:-.035em}.tb-deep-repository>header>p:not(.tb-eyebrow){color:#2d352f;font:19px/1.72 var(--tb-serif)}.tb-reasoning-chain{margin:55px -55px;padding:40px 55px;color:#f5f1e7;background:var(--tb-green-dark)}.tb-reasoning-chain .tb-eyebrow{color:#f2d969}.tb-reasoning-chain ol{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:0;margin:20px 0 0;padding:0;list-style:none;counter-reset:reasoning}.tb-reasoning-chain li{min-height:135px;padding:0 20px;border-left:1px solid rgb(255 255 255 / .18)}.tb-reasoning-chain li:first-child{padding-left:0;border-left:0}.tb-reasoning-chain li span{display:block;margin-bottom:18px;color:#f2d969;font:12px var(--tb-mono)}.tb-reasoning-chain li p{margin:0;color:#ffffffc7;font:15px/1.55 var(--tb-serif)}.tb-worked-trace{display:grid;grid-template-columns:.75fr 1.25fr;gap:38px;margin:56px 0;padding:34px 0;border-block:1px solid var(--tb-rule)}.tb-worked-trace h3,.tb-code-lens h3,.tb-depth-columns h3{margin:7px 0 0;font:600 26px var(--tb-serif)}.tb-worked-trace ol{margin:0;padding-left:25px;font:17px/1.65 var(--tb-serif)}.tb-worked-trace>p{grid-column:1 / -1;margin:0;padding:17px 20px;background:#e4eadf;font:16px/1.55 var(--tb-serif)}.tb-code-lens{margin:60px -55px;padding:42px 55px;background:#182b24;color:#edf3ec}.tb-code-lens .tb-eyebrow{color:#f2d969}.tb-code-lens pre{margin:28px 0 20px;padding:25px;overflow-x:auto;border:1px solid #345246;background:#10221c;font:13px/1.65 var(--tb-mono)}.tb-code-lens>p{margin:0;color:#ffffffa6;font:15px/1.6 var(--tb-serif)}.tb-depth-columns{display:grid;grid-template-columns:1fr 1fr;gap:25px;margin:58px 0}.tb-depth-columns>section{padding:30px;border:1px solid var(--tb-rule);background:#eee9de}.tb-depth-columns ul,.tb-depth-columns ol{margin:23px 0 0;padding-left:22px}.tb-depth-columns li{margin:11px 0;font:16px/1.55 var(--tb-serif)}@media(max-width:1050px){.tb-topbar{grid-template-columns:1fr auto}.tb-progress-copy{display:none}.tb-sidebar{width:270px;padding-left:20px}.tb-main{margin-left:270px}.tb-content{padding-inline:44px}.tb-check,.tb-multiplication-lab,.tb-code-walkthrough,.tb-video-plate,.tb-marimo-lab,.tb-similarity-lab,.tb-index-equation-lab,.tb-cost-lab,.tb-scale-lab,.tb-handshake-lab,.tb-source-excerpt,.tb-hdl-source{margin-inline:0}}@media(max-width:760px){.tb-shell{padding-top:66px}.tb-topbar{height:66px;padding:0 15px}.tb-sidebar{display:none}.tb-main{margin-left:0}.tb-page-header{padding:48px 22px 45px;background:#ebe4d6}.tb-page-kicker{margin-bottom:35px}.tb-page-header h1{font-size:48px}.tb-page-header>p:last-child{font-size:17px}.tb-content{padding:54px 20px 75px}.tb-content>h2{margin-top:65px;font-size:32px}.tb-content>p{font-size:18px}.tb-definition{margin-inline:0;padding:72px 22px 24px}.tb-definition>span{top:21px;left:22px}.tb-warning{grid-template-columns:1fr;gap:7px}.tb-side-by-side,.tb-code-compare,.tb-two-calcs,.tb-property-list,.tb-wrap-comparison,.tb-contract>div{grid-template-columns:1fr}.tb-operation-pipeline{grid-template-columns:1fr;margin-inline:0}.tb-operation-pipeline b{transform:rotate(90deg);text-align:center}.tb-check{margin-inline:0;padding:25px 18px;box-shadow:5px 5px #cdd8cf}.tb-multiplication-inputs{grid-template-columns:1fr}.tb-video-plate figcaption{grid-template-columns:1fr}.tb-video-plate figcaption>span{grid-row:auto;margin-bottom:7px}.tb-marimo-lab iframe{height:680px}.tb-object-map,.tb-trust-diagram,.tb-limb-diagram,.tb-transform-pipeline,.tb-cycle-strip{flex-direction:column;margin-inline:0}.tb-object-map>div,.tb-trust-diagram article,.tb-limb-diagram>div,.tb-transform-pipeline>div,.tb-cycle-strip div{width:100%}.tb-operation-budget,.tb-resource-triangle,.tb-cost-lab>div,.tb-error-flow,.tb-verification-ladder{grid-template-columns:1fr;margin-inline:0}.tb-lab-vectors label{grid-template-columns:85px repeat(3,1fr)}.tb-lab-vectors span{grid-column:2 / -1;justify-self:start}.tb-lab-vectors input{width:100%}.tb-lab-sliders,.tb-proof-stack,.tb-final-checklist{grid-template-columns:1fr}.tb-equation-board p{grid-template-columns:1fr auto 1fr}.tb-equation-board p b:last-of-type,.tb-equation-board p em{display:none}.tb-proof-line{flex-wrap:wrap;margin-inline:0}.tb-comb-diagram{grid-template-columns:1fr 1fr}.tb-comb-diagram b{display:none}.tb-wide-joint,.tb-invariant-table,.tb-phase-table{margin-inline:-20px}.tb-code-body{grid-template-columns:1fr}.tb-code-body aside{border-top:1px solid #315044;border-left:0}.tb-product-matrix{grid-template-columns:82px repeat(3,minmax(62px,1fr));overflow-x:auto}.tb-output-buckets{grid-template-columns:repeat(5,minmax(76px,1fr));overflow-x:auto}.tb-convolution-steps{grid-template-columns:1fr 1fr}.tb-wrap-strip{margin-inline:0}.tb-footer-nav{grid-template-columns:1fr}.tb-footer-nav a:last-child{align-items:flex-start;border-top:1px solid var(--tb-rule);border-left:0;text-align:left}.tb-home-hero{padding:22px}.tb-home-title h1{font-size:56px}.tb-home-title>p:not(.tb-part-label){font-size:17px}.tb-home-facts{grid-template-columns:1fr}.tb-home-facts div{padding-top:10px}.tb-lab-atlas{padding:75px 20px}.tb-lab-atlas>div{grid-template-columns:1fr}.tb-lab-atlas article{min-height:230px}.tb-toc{padding:80px 20px}.tb-toc-chapter{grid-template-columns:1fr;gap:25px}.tb-toc-number{font-size:48px}.tb-toc-body li a{grid-template-columns:38px 1fr}.tb-toc-body li small{display:none}.tb-contract{padding:70px 23px}.tb-deep-repository{margin-top:75px}.tb-reasoning-chain,.tb-code-lens{margin-inline:-20px;padding-inline:20px}.tb-reasoning-chain ol,.tb-worked-trace,.tb-depth-columns{grid-template-columns:1fr}.tb-reasoning-chain li{min-height:0;padding:18px 0;border-top:1px solid rgb(255 255 255 / .18);border-left:0}.tb-worked-trace>p{grid-column:auto}}@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}*,*:before,*:after{transition-duration:.01ms!important}}