*,:after,:before,::backdrop,::file-selector-button{box-sizing:border-box;margin:0;padding:0;border:0 solid}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;tab-size:4;-webkit-tap-highlight-color:transparent}hr{height:0;color:inherit;border-top-width:1px}abbr:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1,h2,h3,h4,h5,h6{font-size:inherit;font-weight:inherit}a{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}:where(b,strong,th){font-weight:400}:where(code,kbd,samp,pre){font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}:-moz-focusring{outline:auto}progress{vertical-align:baseline}summary{display:list-item}ol,ul,menu{list-style:none}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea,::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;border-radius:0;background-color:transparent;opacity:1}:where(select:is([multiple],[size])) optgroup{font-weight:400}:where(select:is([multiple],[size])) optgroup option{padding-inline-start:20px}::file-selector-button{margin-inline-end:4px}::placeholder{opacity:1}@supports (not (-webkit-appearance: -apple-pay-button)) or (contain-intrinsic-size: 1px){::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}textarea{resize:vertical}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}::-webkit-datetime-edit{display:inline-flex}::-webkit-datetime-edit-fields-wrapper{padding:0}::-webkit-datetime-edit,::-webkit-datetime-edit-year-field,::-webkit-datetime-edit-month-field,::-webkit-datetime-edit-day-field,::-webkit-datetime-edit-hour-field,::-webkit-datetime-edit-minute-field,::-webkit-datetime-edit-second-field,::-webkit-datetime-edit-millisecond-field,::-webkit-datetime-edit-meridiem-field{padding-block:0}::-webkit-calendar-picker-indicator{line-height:1}:-moz-ui-invalid{box-shadow:none}button,input:where([type=button],[type=reset],[type=submit]),::file-selector-button{appearance:button}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}@media(prefers-reduced-motion:reduce){*,:before,:after{animation-duration:.01ms!important;animation-iteration-count:1!important;transition-duration:.01ms!important;scroll-behavior:auto!important}}:root{--motion-duration-feedback: .12s;--motion-duration-exit: .18s;--motion-duration-state: .24s;--motion-duration-enter: .32s;--motion-duration-layout: .42s;--motion-duration-caret: .8s;--motion-duration-pulse: 1.4s;--motion-stagger-step: 24ms;--motion-ease-out-quart: cubic-bezier(.25, 1, .5, 1);--motion-ease-out-quint: cubic-bezier(.22, 1, .36, 1);--motion-ease-pulse: cubic-bezier(.45, 0, .55, 1)}@keyframes motion-enter{0%{opacity:0;transform:translateY(var(--motion-enter-distance, .25rem))}to{opacity:1;transform:translateY(0)}}@keyframes motion-fade-in{0%{opacity:0}to{opacity:1}}@keyframes motion-exit-up{0%{opacity:1;transform:translateY(0)}to{opacity:0;transform:translateY(-.125rem)}}@keyframes motion-caret-blink{0%,48%{opacity:1}49%,to{opacity:0}}@keyframes motion-pulse{0%,to{opacity:.35}50%{opacity:.9}}@font-face{font-family:IBM Plex Mono;src:url(/cdn/_astro/IBMPlexMono-Regular.DMJ8VG8y.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:IBM Plex Mono;src:url(/cdn/_astro/IBMPlexMono-Italic.BqAiT5Ww.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:IBM Plex Mono Fallback;src:local("Courier New");font-weight:400;font-style:normal;size-adjust:99.9837%;ascent-override:102.5167%;descent-override:27.5045%}@font-face{font-family:IBM Plex Mono Fallback;src:local("Courier New");font-weight:400;font-style:italic;size-adjust:99.9837%;ascent-override:102.5167%;descent-override:27.5045%}@font-face{font-family:"STIX Two Math";src:url(/cdn/_astro/STIXTwoMath-Regular.BJu8nNzt.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Test Söhne;src:url(/cdn/_astro/TestSohne-Buch.9sGethcS.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:Geist Mono V12;src:url(/cdn/_astro/GeistMono-V12.pyAoGB9p.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}:root{--font-sans: "Test Söhne", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;--font-mono: "IBM Plex Mono", "IBM Plex Mono Fallback", monospace;--font-math: "STIX Two Math", math;--font-display: var(--font-sans);--font-v12-sans: var(--font-sans);--font-v12-mono: "Geist Mono V12", monospace;--font-v12-display: var(--font-sans)}:root{--mauve-1: light-dark(#fdfcfd, #121113);--mauve-2: light-dark(#faf9fb, #1a191b);--mauve-3: light-dark(#f2eff3, #232225);--mauve-4: light-dark(#eae7ec, #2b292d);--mauve-5: light-dark(#e3dfe6, #323035);--mauve-6: light-dark(#dbd8e0, #3c393f);--mauve-7: light-dark(#d0cdd7, #49474e);--mauve-8: light-dark(#bcbac7, #625f69);--mauve-9: light-dark(#8e8c99, #6f6d78);--mauve-11: light-dark(#65636d, #b5b2bc);--mauve-12: light-dark(#211f26, #eeeef0);--page: var(--mauve-3);--raised: var(--mauve-4);--inset: var(--mauve-5);--faint: var(--mauve-9);--background: var(--mauve-2);--foreground: var(--mauve-12);--muted: var(--mauve-3);--muted-foreground: var(--mauve-11);--border: var(--mauve-6);--ring: var(--mauve-11);--tone-red: light-dark(#ce2c31, #ff9592);--tone-orange: light-dark(#cc4e00, #ffa057);--tone-yellow: light-dark(#9e6c00, #f5e147);--tone-green: light-dark(#218358, #3dd68c);--tone-cyan: light-dark(#107d98, #4ccce6);--tone-blue: light-dark(#0d74ce, #70b8ff);--tone-magenta: light-dark(#953ea3, #e796f3);color-scheme:light dark}:root[data-theme=light]{color-scheme:light}:root[data-theme=dark]{color-scheme:dark}img[data-scheme=dark]{display:none}@media(prefers-color-scheme:dark){img[data-scheme=light]{display:none}img[data-scheme=dark]{display:block}}:root[data-theme=light] img[data-scheme=light],:root[data-theme=dark] img[data-scheme=dark]{display:block}:root[data-theme=light] img[data-scheme=dark],:root[data-theme=dark] img[data-scheme=light]{display:none}*,:before,:after,::backdrop,::file-selector-button{border-color:var(--border);&:focus-visible{outline:2px solid var(--ring);outline-offset:.25rem;border-radius:var(--radius-sm)}}body{background-color:var(--page);color:var(--foreground)}:root{--step--1: clamp(.8889rem, .8709rem + .0877vw, .9375rem);--step-0: clamp(1rem, .9538rem + .2255vw, 1.125rem);--step-1: clamp(1.125rem, 1.0418rem + .4059vw, 1.35rem);--step-2: clamp(1.2656rem, 1.1346rem + .6392vw, 1.62rem);--step-3: clamp(1.4238rem, 1.2315rem + .9383vw, 1.944rem);--step-4: clamp(1.6018rem, 1.3315rem + 1.3186vw, 2.3328rem);--font-weight-normal: 400;--font-weight-medium: 400;--font-weight-bold: 600;--leading-offset: .5625rem;--prose-foreground: color-mix(in oklab, var(--foreground) 80%, transparent);--prose-marker: color-mix(in oklab, var(--foreground) 30%, transparent);--measure: 40rem}body{font-family:var(--font-sans);font-synthesis:none;text-wrap:pretty}:where(h1,h2,h3,h4,h5,h6){text-wrap:balance}a{text-decoration:underline;text-decoration-color:var(--underline, transparent);text-decoration-thickness:max(1px,.0625em);text-decoration-skip-ink:none;text-underline-position:under;text-underline-offset:-.06em;&:hover{text-decoration-color:currentColor}}prose-content{display:block;font-size:var(--step-0);line-height:calc(var(--leading-offset) + 1em);color:var(--foreground);text-wrap:pretty;overflow-wrap:break-word;:where(p,ul,ol,blockquote,pre,table,table-scroll,figure,hr,details,[data-callout],math-display,.expressive-code){margin-block:0 1.125em}>:first-child{margin-block-start:0}>:last-child{margin-block-end:0}:is(p,li){color:var(--prose-foreground)}}prose-content{--heading-2: clamp(1.4238rem, 1.3143rem + .5343vw, 1.72rem);--heading-3: clamp(1.2656rem, 1.1715rem + .4589vw, 1.52rem);:is(h1,h2,h3,h4,h5,h6){margin-block:1.6em .6em;font-weight:var(--font-weight-medium);line-height:calc(var(--leading-offset) + 1em);color:var(--foreground);text-wrap:balance}:is(h2,h3,h4,h5,h6){.heading-anchor{margin-inline-start:.5ch;color:var(--muted-foreground);text-decoration-line:none;opacity:0;&:before{content:"#"}&:hover{color:var(--foreground)}}&:is(:hover,:target) .heading-anchor{opacity:1}@media(hover:none){.heading-anchor{opacity:1}}}h1{font-size:var(--step-4)}h2{margin-block:2em .75em;padding-block-end:.3em;border-block-end:1.5px solid var(--border);font-size:var(--heading-2)}h3{margin-block:1.8em .5em;font-size:var(--heading-3)}h4{margin-block:1.6em .4em;font-size:var(--step-1)}:is(h5,h6){margin-block:1.5em .4em;font-size:var(--step-0);letter-spacing:.06em;color:var(--muted-foreground);text-transform:uppercase}}prose-content{counter-reset:chapter;>h2{counter-increment:chapter;counter-reset:section}>h3{counter-increment:section;counter-reset:subsection}>h4{counter-increment:subsection}>:is(h2,h3,h4):before{margin-inline-end:.6ch;color:color-mix(in oklab,var(--muted-foreground) 50%,transparent);font-variant-numeric:tabular-nums;white-space:nowrap}>h2:before{content:counter(chapter) ".";font-size:var(--step-1)}>h3:before{content:counter(chapter) "." counter(section) ".";font-size:var(--step-0)}>h4:before{content:counter(chapter) "." counter(section) "." counter(subsection) ".";font-size:var(--step--1)}}@media(width>=56rem){page-grid:not([data-sidebar]) prose-content>:is(h2,h3,h4):before{--heading-number-rail: 4.5rem;display:inline-block;inline-size:var(--heading-number-rail);margin-inline:calc(-1 * var(--heading-number-rail)) 0;padding-inline-end:.75rem;text-align:end}}:where(code){font-family:var(--font-mono);font-size:.9em;padding:.1em .3em;border-radius:var(--radius-sm);background-color:var(--mauve-4)}.expressive-code .frame .header [data-rich-title] code{font-family:var(--font-mono);font-size:inherit;line-height:inherit;padding:0;border-radius:0;background-color:transparent}.code-tone{color:var(--tone, inherit);&:is(.is-dim,.is-dimmed){opacity:.5}}.expressive-code :where(span[style^=--]:not([class])),code[data-ec] :where(span[style^=--]:not([class])){color:light-dark(var(--0, inherit),var(--1, inherit));background-color:light-dark(var(--0bg, transparent),var(--1bg, transparent));font-style:light-dark(var(--0fs, inherit),var(--1fs, inherit));font-weight:400!important;text-decoration:light-dark(var(--0td, inherit),var(--1td, inherit))}.expressive-code .frame.is-terminal .header{font-weight:400!important}code[data-code-path] [data-code-path-glue]{white-space:nowrap}code[data-code-path] svg{display:inline-block;inline-size:1em;block-size:1em;vertical-align:-.125em;margin-inline-end:.5ch;color:var(--muted-foreground)}.code-placeholder{opacity:.6}prose-content{a{--underline: var(--muted-foreground);color:var(--foreground)}:is(strong,b){color:var(--foreground);font-weight:var(--font-weight-bold);font-synthesis:weight}:is(em,i){font-style:italic}kbd{display:inline-block;font-family:var(--font-mono);font-size:var(--step--1);line-height:1;vertical-align:middle;padding:.25em .4em;margin-block-end:.2em;color:var(--foreground);border:1px solid var(--border);border-radius:var(--radius-md);box-shadow:inset 0 -1px 0 var(--border)}copy-command{cursor:pointer;.shell-prompt{margin-inline-end:1ch;color:var(--muted-foreground);font-weight:var(--font-weight-medium);&:before{content:"$"}}&:hover code{background-color:color-mix(in oklab,var(--muted) 90%,transparent)}&[data-copied] .shell-prompt{color:var(--tone-green);&:before{content:"✓"}}}}prose-content{:is(ul,ol){padding-inline-start:1.5rem;:is(ul,ol){margin-block:.5em 0}}ul{list-style-type:disc;&.contains-task-list{list-style-type:none;padding-inline-start:0}}ol{list-style-type:decimal;&[type=A]{list-style-type:upper-alpha}&[type=a]{list-style-type:lower-alpha}&[type=I]{list-style-type:upper-roman}&[type=i]{list-style-type:lower-roman}}li{margin-block-start:.5em;padding-inline-start:.5rem;&::marker{color:var(--prose-marker)}>blockquote,.expressive-code,file-tree{margin-block-start:1em}>p{margin-block:0}&.task-list-item{padding-inline-start:0;input[type=checkbox]{margin-inline-end:.5em;vertical-align:middle;accent-color:var(--foreground)}}}}prose-content{blockquote{border-inline-start:2px solid var(--border);padding-inline-start:1.25em;color:var(--muted-foreground);:is(p,li){color:inherit}}hr{margin-block:var(--space-l);border-block-start:1.5px solid var(--border)}:is(img,video){margin-inline:auto}[data-media-size=half]{width:50%}summary{cursor:pointer;font-weight:var(--font-weight-medium)}details[open] summary{margin-block-end:.5em}.footnotes{margin-block-start:var(--space-l);padding-block-start:var(--space-s);border-block-start:1.5px solid var(--border)}:is(math,math *){letter-spacing:normal}math{font-family:var(--font-math)}math-display{display:flex;justify-content:safe center;overflow-x:auto;overflow-y:hidden}.expressive-code{content-visibility:auto;contain-intrinsic-block-size:auto 20rem;pre{max-block-size:min(68vh,1000px);overflow-y:auto;&::-webkit-scrollbar-corner{display:none}}.tm-label .code:before{font-family:var(--font-sans)}.frame.is-terminal .header{font-weight:var(--font-weight-normal)}.expand{margin-block-end:.1em}.ec-section summary{list-style:none}.ec-section summary .gutter{font-family:var(--font-mono)}.collapsible-start summary{margin-block:var(--space-3xs)}}}prose-content{table-scroll{display:block;max-inline-size:100%;overflow-x:auto}table{--table-border: color-mix( in oklab, var(--muted-foreground) 30%, transparent );inline-size:100%;margin-block:0;font-size:var(--step--1);line-height:calc(var(--leading-offset) + 1em);thead{border-block-end:1.5px solid var(--table-border)}tr{border-block:1.5px solid var(--table-border);&:first-child{border-block-start:0}&:last-child{border-block-end:0}}:is(th,td){overflow-wrap:normal;word-break:normal;hyphens:none}:is(th,td)[data-col=nowrap]{white-space:nowrap}:is(th,td)[data-col=wrap]{white-space:normal;min-inline-size:16rem}:is(th,td)[data-col=fixed]{white-space:normal}th{padding:.5em 1em;font-weight:var(--font-weight-medium);color:var(--foreground);text-align:start}td{padding:.5em 1em;color:var(--prose-foreground);text-align:start;vertical-align:top;>:first-child{margin-block-start:0}>:last-child{margin-block-end:0}}}}prose-content{counter-reset:tmlEqnNo;:is(math,math *){letter-spacing:normal}math{font-family:var(--font-math);font-style:normal;font-weight:400;line-height:normal;font-size-adjust:none;text-indent:0;text-transform:none;word-wrap:normal;direction:ltr;font-feature-settings:"dtls" off;display:inline-flex;flex-wrap:wrap;align-items:baseline;& *{border-color:currentColor}&.tml-display{display:block}>mrow{padding-block:.5ex}&.tml-display>mrow{padding-block:0}.tml-right{text-align:right;text-align:-webkit-right}.tml-left{text-align:left;text-align:-webkit-left}mtd{padding-block:.5ex}mtable.tml-jot mtd{padding-block:.7ex}mtable.tml-small mtd{padding-block:.35ex}.mathscr{font-feature-settings:"ss01"}mo.tml-prime{font-feature-settings:"ss04"}mfrac>:nth-child(2),msqrt,mover>:first-child{math-shift:compact}.menclose,menclose{display:inline-block;position:relative;padding:.5ex 0}menclose{-webkit-print-color-adjust:exact;print-color-adjust:exact}.tml-cancelto{display:inline-block;position:absolute;top:0;left:0;padding:.5ex 0;background-color:currentColor;-webkit-mask-image:url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg'><defs><marker id='a' markerHeight='5' markerUnits='strokeWidth' markerWidth='7' orient='auto' refX='7' refY='2.5'><path fill='black' d='m0 0 7 2.5L0 5z'/></marker></defs><line x2='100%25' y1='100%25' stroke='black' stroke-width='.06em' marker-end='url(%23a)' vector-effect='non-scaling-stroke'/></svg>");mask-image:url("data:image/svg+xml,<svg xmlns='http://www.w3.org/2000/svg'><defs><marker id='a' markerHeight='5' markerUnits='strokeWidth' markerWidth='7' orient='auto' refX='7' refY='2.5'><path fill='black' d='m0 0 7 2.5L0 5z'/></marker></defs><line x2='100%25' y1='100%25' stroke='black' stroke-width='.06em' marker-end='url(%23a)' vector-effect='non-scaling-stroke'/></svg>");-webkit-mask-repeat:no-repeat;mask-repeat:no-repeat;-webkit-mask-size:100% 100%;mask-size:100% 100%;-webkit-mask-position:0 0;mask-position:0 0}.tml-shift-left{margin-left:-200%}.tml-eqn:before{counter-increment:tmlEqnNo;content:"(" counter(tmlEqnNo) ")"}@supports (-moz-appearance: none){display:inline;&.tml-display{display:block}>mrow{padding-block:0}mtd,mtable.tml-small mtd{padding-block:0}mtable.tml-jot mtd{padding-block:.2ex 0}.tml-vec{transform:scale(.75)}.ff-narrow{width:0}.ff-nudge-left{margin-left:-.2em}.ff-squash mtd{display:block;height:0}}@supports (not (-moz-appearance: none)){.tml-sml-pad{padding-left:.05em}.tml-med-pad{padding-left:.1em}.tml-lrg-pad{padding-left:.15em}}@supports (-webkit-backdrop-filter: blur(1px)){.wbk-acc{transform:translateY(.431em)}.wbk-sml{transform:translate(.07em)}.wbk-sml-acc{transform:translate(.07em,.431em)}.wbk-sml-vec{transform:scale(.75) translate(.07em)}.wbk-med{transform:translate(.14em)}.wbk-med-acc{transform:translate(.14em,.431em)}.wbk-med-vec{transform:scale(.75) translate(.14em)}.wbk-lrg{transform:translate(.21em)}.wbk-lrg-acc{transform:translate(.21em,.431em)}.wbk-lrg-vec{transform:scale(.75) translate(.21em)}}@supports (not (-webkit-backdrop-filter: blur(1px))) and (not (-moz-appearance: none)){.chr-sml{transform:translate(.07em)}.chr-sml-vec{transform:scale(.75) translate(.07em)}.chr-med{transform:translate(.14em)}.chr-med-vec{transform:scale(.75) translate(.14em)}.chr-lrg{transform:translate(.21em)}.chr-lrg-vec{transform:scale(.75) translate(.21em)}.tml-shift-left{margin-left:-100%}.tml-right{text-align:-webkit-right}.tml-left{text-align:-webkit-left}.menclose,menclose{text-align:left;position:relative;padding:.5ex 0}.tml-overline{padding:.1em 0 0;border-top:.065em solid}.tml-underline{padding:0 0 .1em;border-bottom:.065em solid}.tml-cancel{display:inline-block;position:absolute;left:.5px;bottom:0;width:100%;height:100%;background-color:currentColor}.upstrike{clip-path:polygon(.05em 100%,0 calc(100% - .05em),calc(100% - .05em) 0,100% .05em)}.downstrike{clip-path:polygon(0 .05em,.05em 0,100% calc(100% - .05em),calc(100% - .05em) 100%)}.sout{clip-path:polygon(0 calc(55% + .0333em),0 calc(55% - .0333em),100% calc(55% - .0333em),100% calc(55% + .0333em))}.tml-xcancel{clip-path:polygon(.05em 0,0 .05em,calc(50% - .05em) 50%,0 calc(100% - .05em),.05em 100%,50% calc(50% + .05em),calc(100% - .05em) 100%,100% calc(100% - .05em),calc(50% + .05em) 50%,100% .05em,calc(100% - .05em) 0,50% calc(50% - .05em))}.longdiv-top{border-top:.067em solid;padding:.1em .2em .2em .433em}.longdiv-arc{position:absolute;top:0;bottom:.1em;left:-.4em;width:.7em;border:.067em solid;transform:translateY(-.067em);border-radius:70%;clip-path:inset(0 0 0 .4em);box-sizing:border-box}.phasor-bottom{border-bottom:.067em solid;padding:.2em .2em .1em .6em}.phasor-angle{display:inline-block;position:absolute;left:.5px;bottom:-.04em;height:100%;aspect-ratio:.5;background-color:currentColor;clip-path:polygon(.05em 100%,0 calc(100% - .05em),calc(100% - .05em) 0,100% .05em)}.tml-fbox{padding:3pt;border:1px solid}.circle-pad{padding:.267em}.textcircle{position:absolute;inset:0;border:.067em solid;border-radius:50%}.actuarial{padding:.03889em .03889em 0;border-width:.08em .08em 0 0;border-style:solid;margin-right:.03889em}.tml-crooked-2{transform:scale(2,1.1)}.tml-crooked-3{transform:scale(3,1.3)}.tml-crooked-4{transform:scale(4,1.4)}}}math-display{display:flex;justify-content:safe center;overflow-x:auto;overflow-y:hidden}}prose-content{[data-callout]{--accent: var(--muted-foreground);--callout-text: light-dark( oklch(from var(--accent) .48 calc(c*1.05) h), oklch(from var(--accent) .83 calc(c/2) h) );padding-inline-start:1.25em;border-inline-start:2px solid var(--callout-text);font-size:var(--step--1);line-height:calc(var(--leading-offset) + 1em);>[data-callout-title]{margin-block-end:.375em;color:var(--callout-text);:is(strong,b){color:inherit}>span>span{opacity:.7}}>:last-child{margin-block-end:0}&[data-callout=note]{--accent: #0090ff}&[data-callout=tip]{--accent: #30a46c}&[data-callout=warning]{--accent: #ffc53d}&[data-callout=caution]{--accent: #e5484d}&[data-callout=important]{--accent: #8e4ec6}&[data-callout=definition]{--accent: #5b5bd6}&[data-callout=notation]{--accent: #3e63dd}&[data-callout=theorem]{--accent: #6e56cf}&[data-callout=proposition]{--accent: #ab4aba}&[data-callout=lemma]{--accent: #d6409f}&[data-callout=corollary]{--accent: #e93d82}&[data-callout=axiom]{--accent: #e54666}&[data-callout=conjecture]{--accent: #e54d2e}&[data-callout=proof]{--accent: #00a2c7}&[data-callout=recall]{--accent: #7ce2fe}&[data-callout=remark]{--accent: #12a594}&[data-callout=explanation]{--accent: #29a383}&[data-callout=intuition]{--accent: #ffe629}&[data-callout=example]{--accent: #46a758}&[data-callout=exercise]{--accent: #f76b15}&[data-callout=solution]{--accent: #30a46c}}}prose-content step-list{display:block;margin-block:0 1em;>ol{list-style:none;counter-reset:steps;padding-inline-start:0;>li{--step-circle-top: calc((var(--leading-offset) + 1em - 1.75rem) / 2);counter-increment:steps;position:relative;margin-block-start:0;padding-inline-start:calc(1.75rem + var(--space-xs));padding-block-end:var(--space-m);&:before{content:counter(steps);position:absolute;inset-inline-start:0;inset-block-start:var(--step-circle-top);display:flex;align-items:center;justify-content:center;inline-size:1.75rem;block-size:1.75rem;font-size:var(--step--1);font-weight:var(--font-weight-medium);color:var(--foreground);background-color:color-mix(in oklab,var(--muted) 50%,transparent);border:2px solid var(--border);border-radius:var(--radius-full)}&:after{content:"";position:absolute;inset-inline-start:calc(.875rem - 1px);inset-block-start:calc(var(--step-circle-top) + 1.75rem + .25em);inset-block-end:.25em;inline-size:2px;background-color:var(--border)}&:last-child{padding-block-end:0;&:after{display:none}}>:is(p,ul,ol,blockquote,pre,table-scroll,figure,details,[data-callout],math-display,.expressive-code){margin-block:0 var(--space-xs)}>:first-child{margin-block-end:var(--space-2xs)}>:last-child{margin-block-end:0}}}}prose-content{card-grid{display:grid;grid-template-columns:repeat(auto-fit,minmax(14rem,1fr));gap:var(--space-xs);margin-block:0 1em;>[data-card]{margin-block:0}}[data-card]{display:block;margin-block:0 1em;padding:var(--space-s);border-radius:var(--radius-md);background:var(--raised);color:var(--prose-foreground);[data-card-title]{margin-block:0 var(--space-3xs);font-weight:var(--font-weight-medium);color:var(--foreground)}>:last-child{margin-block-end:0}}a[data-card]{--underline: transparent;text-decoration-line:none;transition:background-color var(--motion-duration-feedback) ease-out;&:hover{background:var(--inset)}}}prose-content file-tree{display:block;margin-block:0 1em;padding:var(--space-xs) var(--space-m);font-family:var(--font-sans);font-size:var(--step--1);line-height:calc(var(--leading-offset) + 1em);background-color:color-mix(in oklab,var(--muted) 25%,transparent);border:2px solid var(--border);overflow-x:auto;ul{list-style:none;margin-block:0;padding-inline-start:0}ul ul{position:relative;margin-block:0;padding-inline-start:1.25rem;&:before{content:"";position:absolute;inset-block:0;inset-inline-start:calc(.5em - 1px);inline-size:2px;background-color:color-mix(in oklab,var(--muted-foreground) 40%,transparent)}}li{margin-block:0;padding-inline-start:0}details{margin-block:0}details[open] summary{margin-block-end:0}svg{display:inline-block;flex-shrink:0;inline-size:1em;block-size:1em;color:var(--muted-foreground)}.tree-entry,summary{display:flex;align-items:center;gap:.75ch}summary{cursor:pointer;list-style:none;width:fit-content;&::-webkit-details-marker{display:none}}.tree-name{color:var(--prose-foreground);&.is-highlighted{color:var(--foreground);font-weight:var(--font-weight-medium)}}.tree-comment,.tree-placeholder{color:color-mix(in oklab,var(--muted-foreground) 75%,transparent)}}prose-content tab-group{display:block;margin-block:0 1em;>[role=tablist]{display:flex;flex-wrap:wrap;column-gap:var(--space-xs);border-block-end:2px solid var(--border);>[role=tab]{padding-block:.35em;margin-block-end:-2px;font-size:var(--step--1);line-height:calc(var(--leading-offset) + 1em);font-weight:var(--font-weight-medium);color:var(--muted-foreground);border-block-end:2px solid transparent;cursor:pointer;&:hover{color:var(--foreground)}&[aria-selected=true]{color:var(--foreground);border-color:var(--foreground)}}}>[role=tabpanel]{padding:var(--space-s);border-inline-start:2px solid var(--border);>:last-child{margin-block-end:0}}&[data-code-tabs]{>[role=tablist]{column-gap:0;border:2px solid var(--border);background:transparent;>[role=tab]{margin-block-end:0;padding:.45rem var(--space-xs);border:0;background:transparent;font-size:var(--step--1);font-weight:var(--font-weight-medium);line-height:1.45;&:hover{background:color-mix(in oklab,var(--muted) 60%,transparent)}&[aria-selected=true]{background:var(--muted)}code{padding:0;background:none;border-radius:0}}}>[role=tabpanel]{padding:0;border-inline-start:0;.expressive-code{margin-block-start:0}.frame pre{border-block-start:0;border-start-start-radius:0;border-start-end-radius:0}}}}:root{--space-3xs: clamp(.25rem, .2269rem + .1127vw, .3125rem);--space-2xs: clamp(.5rem, .4769rem + .1127vw, .5625rem);--space-xs: clamp(.75rem, .7038rem + .2255vw, .875rem);--space-s: clamp(1rem, .9538rem + .2255vw, 1.125rem);--space-m: clamp(1.5rem, 1.4307rem + .3382vw, 1.6875rem);--space-l: clamp(2rem, 1.9076rem + .451vw, 2.25rem);--space-xl: clamp(3rem, 2.8613rem + .6764vw, 3.375rem);--space-s-m: clamp(1rem, .7458rem + 1.2401vw, 1.6875rem);--frame-max-width: 90rem;--grid-max-width: 75.94rem;--grid-gutter: var(--space-s-m);--grid-columns: 12;--grid-edge: max( var(--grid-gutter), (100% - var(--grid-max-width)) / 2 + var(--grid-gutter) );--grid-column-width: calc( ( min(100%, var(--grid-max-width)) - (var(--grid-columns) + 1) * var(--grid-gutter) ) / var(--grid-columns) );--bar-gutter: var(--grid-edge);--page-start-offset: calc(var(--space-xl) - var(--grid-gutter));--page-offset-top: calc( var(--bar-nav-height) + var(--bar-toc-height) + var(--grid-gutter) + var(--page-start-offset) );--page-offset-bottom: var(--space-m)}html{--bar-nav-height: calc(2rem + 2 * var(--space-2xs) + 2px);--bar-toc-height: 0px;scrollbar-gutter:stable;overflow-x:clip;scroll-padding-block-start:var(--page-offset-top);@media(width>=48rem){overscroll-behavior-y:none}@media(width<64rem){&:has(page-toc){--bar-toc-height: calc(1.5 * var(--step--1) + 2 * var(--space-2xs) + 2px)}}}@media(width>=64rem){article[data-reference]{--aside-gap: var(--space-l);--aside-width: min(26rem, 38%);--prose-width: calc(100% - var(--aside-width) - var(--aside-gap))}article[data-reference]>header,article[data-reference]>prose-content:not(:has(>[data-aside])){max-inline-size:var(--prose-width)}article[data-reference]>prose-content:has(>[data-aside]){display:grid;grid-template-columns:var(--prose-width) var(--aside-width);column-gap:var(--aside-gap);align-items:start}article[data-reference]>prose-content:has(>[data-aside])>:not([data-aside]){grid-column:1;min-inline-size:0}article[data-reference]>prose-content>[data-aside]{grid-column:2;grid-row:1 / span 9999;align-self:start;position:sticky;top:var(--page-offset-top);max-block-size:calc(100svh - var(--page-offset-top) - var(--page-offset-bottom));overflow-y:auto;overscroll-behavior:contain;scrollbar-width:none;&::-webkit-scrollbar{display:none}}}@property --scroll-fade-top{syntax: "<length>"; inherits: false; initial-value: 0px;}@property --scroll-fade-bottom{syntax: "<length>"; inherits: false; initial-value: 0px;}@property --scroll-fade-left{syntax: "<length>"; inherits: false; initial-value: 0px;}@property --scroll-fade-right{syntax: "<length>"; inherits: false; initial-value: 0px;}[data-scroll-fade]:not([data-scroll-fade=horizontal]){--scroll-fade-size: .75rem;--scroll-fade-top: 0px;--scroll-fade-bottom: 0px;mask-image:linear-gradient(to bottom,transparent,black var(--scroll-fade-top),black calc(100% - var(--scroll-fade-bottom)),transparent);transition:--scroll-fade-top var(--motion-duration-feedback) var(--motion-ease-out-quart),--scroll-fade-bottom var(--motion-duration-feedback) var(--motion-ease-out-quart)}[data-scroll-fade]:not([data-scroll-fade=horizontal])[data-fade-top]{--scroll-fade-top: var(--scroll-fade-size)}[data-scroll-fade]:not([data-scroll-fade=horizontal])[data-fade-bottom]{--scroll-fade-bottom: var(--scroll-fade-size)}[data-scroll-fade=horizontal]{--scroll-fade-size: 1.5rem;--scroll-fade-left: 0px;--scroll-fade-right: 0px;mask-image:linear-gradient(to right,transparent,black var(--scroll-fade-left),black calc(100% - var(--scroll-fade-right)),transparent);transition:--scroll-fade-left var(--motion-duration-feedback) var(--motion-ease-out-quart),--scroll-fade-right var(--motion-duration-feedback) var(--motion-ease-out-quart)}[data-scroll-fade=horizontal][data-fade-left]{--scroll-fade-left: var(--scroll-fade-size)}[data-scroll-fade=horizontal][data-fade-right]{--scroll-fade-right: var(--scroll-fade-size)}[data-icon-button]{display:inline-flex;align-items:center;justify-content:center;width:2rem;height:2rem;border-radius:var(--radius-md);cursor:pointer;&:hover{background-color:color-mix(in oklab,var(--muted) 50%,transparent)}svg{width:1rem;height:1rem}}[data-bar]{@media(width<64rem){padding-block:var(--space-2xs);padding-inline:var(--bar-gutter);background-color:color-mix(in oklab,var(--background) 90%,transparent);backdrop-filter:blur(var(--blur-sm));border-block-end:2px solid var(--border)}}[data-bar][data-mobile-bar]{@media(width<64rem){border-block-end:0;background-color:var(--mauve-4);backdrop-filter:none}}[data-bar][data-header]{padding-block:var(--space-2xs);padding-inline:var(--bar-gutter);background-color:color-mix(in oklab,var(--background) 90%,transparent);backdrop-filter:blur(var(--blur-sm));border-block-end:2px solid var(--border)}:root{--radius-sm: .25rem;--radius-md: .375rem;--radius-lg: .5rem;--radius-xl: .75rem;--radius-2xl: 1rem;--radius-full: 9999px;--blur-sm: 8px}dialog[data-astro-cid-otpdt6jm]{inline-size:min(38rem,calc(100vw - 2 * var(--grid-gutter)));margin-inline:auto;margin-block-start:12svh;padding:0;background-color:var(--background);color:var(--foreground);border:2px solid var(--border);&::backdrop{background-color:color-mix(in oklab,var(--background) 60%,transparent);backdrop-filter:blur(var(--blur-sm))}search{display:block;form{display:flex;align-items:center;gap:var(--space-2xs);padding-inline:var(--space-s);svg{flex-shrink:0;inline-size:1em;block-size:1em;color:var(--muted-foreground)}input{flex:1;min-width:0;padding-block:var(--space-xs);background:transparent;font-size:var(--step-0);color:var(--foreground);&:focus-visible{outline:none}&::-webkit-search-cancel-button{display:none}}}search-results{display:block;border-block-start:2px solid var(--border);[data-hint]{padding:var(--space-xs) var(--space-s);font-size:var(--step--1);color:var(--muted-foreground);&[hidden]{display:none}}ul{max-block-size:min(24rem,50svh);overflow-y:auto;overscroll-behavior:contain;li+li{border-block-start:2px solid color-mix(in oklab,var(--border) 50%,transparent)}a{display:block;padding:var(--space-2xs) var(--space-s);&:is(:hover,:focus-visible){background-color:color-mix(in oklab,var(--muted) 35%,transparent);outline:none}strong{display:block;font-weight:var(--font-weight-medium);color:var(--foreground)}p{margin-block-start:.1em;font-size:var(--step--1);color:var(--muted-foreground);mark{background-color:color-mix(in oklab,var(--foreground) 15%,transparent);color:var(--foreground)}}}}}}}@keyframes astroFadeInOut{0%{opacity:1}to{opacity:0}}@keyframes astroFadeIn{0%{opacity:0;mix-blend-mode:plus-lighter}to{opacity:1;mix-blend-mode:plus-lighter}}@keyframes astroFadeOut{0%{opacity:1;mix-blend-mode:plus-lighter}to{opacity:0;mix-blend-mode:plus-lighter}}@keyframes astroSlideFromRight{0%{transform:translate(100%)}}@keyframes astroSlideFromLeft{0%{transform:translate(-100%)}}@keyframes astroSlideToRight{to{transform:translate(100%)}}@keyframes astroSlideToLeft{to{transform:translate(-100%)}}@media(prefers-reduced-motion){::view-transition-group(*),::view-transition-old(*),::view-transition-new(*){animation:none!important}[data-astro-transition-scope]{animation:none!important}}page-grid>footer[data-astro-cid-sz7xmlte][data-site-footer]{margin-block-start:var(--space-xl)}footer[data-astro-cid-sz7xmlte][data-site-footer]{--footer-surface: var(--mauve-4);view-timeline-name:--site-footer;view-timeline-axis:block;position:relative;z-index:5;grid-column:1 / -1;grid-row:3;margin-inline:calc(50% - 50vw);background:var(--footer-surface);font-family:var(--font-v12-sans);landing-page &{--footer-surface: var(--mauve-3)}footer-shell{display:block;max-inline-size:var(--frame-max-width);margin-inline:auto;padding-block-start:var(--space-m);padding-inline:var(--grid-gutter);footer-columns{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:var(--space-m) var(--grid-gutter);@media(width>=64rem){grid-template-columns:repeat(var(--grid-columns),minmax(0,1fr))}nav{font-size:var(--step--1);@media(width>=64rem){grid-column:span 2;&:first-of-type{grid-column:5 / 7}}>p{color:var(--foreground)}ul{display:flex;flex-direction:column;gap:2px;margin-block-start:2px}a{display:inline-flex;align-items:center;color:var(--muted-foreground);text-decoration-line:none;&:hover{color:var(--foreground)}}}footer-meta{grid-column:1 / -1;display:flex;flex-direction:column;align-items:flex-start;gap:var(--space-2xs);@media(width>=64rem){grid-column:1 / 3}>p{font-size:var(--step--1);color:var(--muted-foreground)}}theme-switch{display:flex;align-items:center;inline-size:100%;max-inline-size:13rem;padding:2px;border-radius:var(--radius-full);background:var(--mauve-5);label{flex:1;display:flex;align-items:center;justify-content:center;min-inline-size:0;padding-block:2px;border-radius:var(--radius-full);color:var(--muted-foreground);cursor:pointer;&:has(input:checked){background:var(--mauve-6);color:var(--foreground)}&:has(input:focus-visible){outline:2px solid var(--ring);outline-offset:2px}[data-svg-mask]{inline-size:1rem;block-size:1rem}input{position:absolute;opacity:0;pointer-events:none}}}}footer-wordmark{--wordmark-start: var(--mauve-6);--wordmark-end: var(--footer-surface);display:block;margin-block-start:var(--space-m);margin-inline:calc(50% - 50vw);[data-svg-mask]{display:block;inline-size:100%;aspect-ratio:1445.35 / 327;block-size:auto;background:linear-gradient(to right,var(--wordmark-start),var(--wordmark-end))}}}}ul[data-astro-cid-yq2ufrww]{display:flex;flex-direction:column;gap:var(--space-3xs);a,summary>span{color:var(--muted-foreground)}a:hover,a[aria-current=page]{color:var(--foreground)}summary{display:flex;align-items:center;gap:.375rem;cursor:pointer;list-style:none;&::-webkit-details-marker{display:none}svg{flex-shrink:0;margin-inline-start:auto;inline-size:1em;block-size:1em;color:var(--muted-foreground)}&:hover svg[data-astro-cid-yq2ufrww]{color:var(--foreground)}}details[open]>summary svg{rotate:180deg}details>ul{margin-block-start:var(--space-3xs);margin-inline-start:var(--space-xs)}}html:has([data-site-header]){--bar-nav-height: calc(2.45rem + 2 * var(--space-xs))}header[data-astro-cid-4lunwx2e][data-site-header]{--header-fade-color: var(--page);position:sticky;inset-block-start:0;z-index:30;display:flex;align-items:center;justify-content:space-between;max-inline-size:var(--frame-max-width);margin-inline:auto;padding-block:var(--space-xs);padding-inline:var(--grid-gutter);font-family:var(--font-v12-sans);header-backdrop{position:absolute;inset-block-start:0;inset-inline-start:calc(50% - 50vw);z-index:-2;display:block;inline-size:100vw;block-size:calc(100% + var(--space-xl));pointer-events:none;background:radial-gradient(ellipse at top left,var(--header-fade-color),transparent 70%) top left / 42% 100% no-repeat,radial-gradient(ellipse at top right,var(--header-fade-color),transparent 70%) top right / 42% 100% no-repeat}@media(width>=64rem){page-grid[data-sidebar] &:before{content:"";position:absolute;inset-block:0;inset-inline-start:calc(50% - 50vw);z-index:-1;inline-size:calc(var(--frame-edge) + var(--sidebar-nav-width));background-color:var(--raised)}page-grid[data-sidebar] &:after{content:"";position:absolute;inset-block-start:100%;inset-inline-start:calc(50% - 50vw);z-index:-1;inline-size:calc(var(--frame-edge) + var(--sidebar-nav-width));block-size:var(--space-m);pointer-events:none;background:linear-gradient(to bottom,var(--raised),transparent)}}@media(width<64rem){page-grid[data-header-surface] &{--header-fade-color: var(--mauve-4)}}[data-site-brand]{display:inline-flex;align-items:center;flex-shrink:0;color:var(--foreground);text-decoration-line:none;[data-svg-mask]{aspect-ratio:88.5 / 39.2;block-size:2.45rem;inline-size:auto}}header-actions{display:flex;align-items:center;flex-shrink:0;gap:var(--space-3xs);[data-header-pill]{position:relative;display:inline-flex;align-items:center;justify-content:center;gap:var(--space-3xs);padding:var(--space-3xs) var(--space-xs);border-radius:var(--radius-full);background-color:color-mix(in oklab,var(--raised) 55%,transparent);color:var(--foreground);font-size:var(--step--1);text-decoration-line:none;transition:background-color var(--motion-duration-feedback) var(--motion-ease-out-quart);&:hover{background-color:var(--raised)}&[data-solid]{background-color:var(--foreground);color:var(--page, var(--background));&:hover{background-color:color-mix(in oklab,var(--foreground) 85%,var(--page, var(--background)))}}&:before{content:"";position:absolute;inset-block-start:50%;inset-inline:0;block-size:2.75rem;transform:translateY(-50%)}}}}@property --footer-cover{syntax: "<length>"; inherits: false; initial-value: 0px;}@keyframes follow-footer{0%{--footer-cover: 0px}to{--footer-cover: 100svh}}page-grid[data-astro-cid-sckkx6r4]{--frame-edge: max( var(--grid-gutter), calc((100vw - var(--frame-max-width)) / 2 + var(--grid-gutter)) );--side-rail-width: calc( (min(100vw, var(--frame-max-width)) - var(--measure)) / 2 - 2 * var(--grid-gutter) );--sidebar-nav-width: max(calc(2 * var(--grid-column-width) + var(--grid-gutter)), 9rem);--page-actions-reserve: 0px;position:relative;isolation:isolate;timeline-scope:--site-footer;display:grid;grid-template-columns:repeat(var(--grid-columns),minmax(0,1fr));grid-template-rows:calc(var(--bar-nav-height) + var(--bar-toc-height) + var(--page-start-offset)) 1fr auto;gap:var(--grid-gutter);max-width:var(--frame-max-width);min-height:100svh;margin-inline:auto;padding-inline:var(--grid-gutter);@media(width<48rem){grid-template-columns:1fr}@media(width>=48rem)and (width<76rem){--sidebar-nav-width: clamp(13rem, 24vw, 15rem)}@media(width>=76rem){--sidebar-nav-width: var(--side-rail-width)}&:has(page-actions){--page-actions-reserve: calc(2rem + var(--space-2xs))}&[data-sidebar]{@media(width>=48rem)and (width<76rem){grid-template-columns:var(--sidebar-nav-width) minmax(0,1fr)}}page-header{display:contents;@media(width<64rem){display:block;position:fixed;inset-block-start:0;inset-inline:0;z-index:10}}page-nav{display:block;min-width:0;@media(width>=64rem){position:fixed;inset-block-start:0;inset-inline:0;z-index:10}}&[data-header-surface] page-nav[data-astro-cid-sckkx6r4]{@media(width<64rem){background-color:var(--mauve-4)}}page-toc{display:block;min-width:0;@media(width>=64rem){position:fixed;inset-block-start:var(--page-offset-top);inset-inline-end:var(--frame-edge);z-index:6;container-type:size;inline-size:var(--side-rail-width);bottom:max(calc(var(--page-offset-bottom) + var(--page-actions-reserve)),var(--footer-cover));@supports (animation-timeline: --site-footer) and (timeline-scope: --site-footer) and (animation-range: entry 0% exit 0%){animation:follow-footer 1ms linear both;animation-timeline:--site-footer;animation-range:entry 0% exit 0%}}}page-sidebar{display:none;@media(width>=48rem){display:block;grid-row:1 / 3;grid-column:1 / -1;justify-self:start;z-index:1;inline-size:calc(var(--frame-edge) + var(--sidebar-nav-width));margin-inline-start:calc(0px - var(--frame-edge));margin-block-end:calc(0px - var(--grid-gutter) - var(--space-xl));padding-block-start:var(--page-offset-top);padding-inline-start:var(--frame-edge);padding-inline-end:var(--space-s);background:var(--raised);overscroll-behavior:none}nav{position:sticky;inset-block-start:var(--page-offset-top);max-block-size:calc(100svh - var(--page-offset-top) - var(--page-offset-bottom));padding-block-end:var(--space-s);overflow-y:auto;overscroll-behavior:none;overscroll-behavior-block:none;scrollbar-width:none;&::-webkit-scrollbar{display:none}}}page-actions{display:flex;align-items:center;grid-row:2;grid-column:1 / -1;justify-self:end;align-self:end;position:sticky;inset-block-end:var(--page-offset-bottom);z-index:3;margin-inline-end:-.5rem;@media(width<64rem){display:none}}page-content{display:block;grid-column:1 / -1;grid-row:2;min-width:0;inline-size:100%;max-inline-size:var(--measure);margin-inline:auto}&[data-sidebar] page-content[data-astro-cid-sckkx6r4]{@media(width>=48rem)and (width<76rem){grid-column:2 / 3;margin-inline:0}}@media(width>=76rem){&[data-sidebar] page-content[data-astro-cid-sckkx6r4][data-wide]{inline-size:auto;max-inline-size:none;margin-inline:calc(50% - var(--measure) / 2) 0}}}