/*! tailwindcss v4.1.17 | MIT License | https://tailwindcss.com */.typst_typst____aSo{--tw-leading:1.625;max-width:100%;line-height:1.625}.typst_typst____aSo blockquote,.typst_typst____aSo ol,.typst_typst____aSo p,.typst_typst____aSo ul{margin-block:calc(var(--spacing,.25rem)*3)}.typst_typst____aSo h2{margin-block:calc(var(--spacing,.25rem)*6);--tw-border-style:dashed;border-bottom:1px #ffffff20;border-style:dashed}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo h2{border-bottom-color:color-mix(in oklab,var(--color-white,#fff)12.5%,transparent)}}.typst_typst____aSo h2{padding-bottom:calc(var(--spacing,.25rem)*2);font-size:var(--text-2xl,1.5rem);line-height:var(--tw-leading,var(--text-2xl--line-height,calc(2/1.5)));--tw-leading:var(--leading-snug,1.375);line-height:var(--leading-snug,1.375);--tw-font-weight:var(--font-weight-bold,700);font-weight:var(--font-weight-bold,700)}.typst_typst____aSo h3{font-size:var(--text-xl,1.25rem);line-height:var(--tw-leading,var(--text-xl--line-height,calc(1.75/1.25)));line-height:var(--leading-snug,1.375)}.typst_typst____aSo h3,.typst_typst____aSo h4{margin-block:calc(var(--spacing,.25rem)*4);--tw-leading:var(--leading-snug,1.375);--tw-font-weight:var(--font-weight-bold,700);font-weight:var(--font-weight-bold,700)}.typst_typst____aSo h4{font-size:var(--text-lg,1.125rem);line-height:var(--tw-leading,var(--text-lg--line-height,calc(1.75/1.125)));line-height:var(--leading-snug,1.375)}.typst_link__vQy_Z,.typst_typst____aSo a{color:#b0b0b0;transition:color .3s var(--ease-in-out),font-weight .4s var(--ease-in-out),font-variation-settings .4s var(--ease-in-out);line-height:1;-webkit-text-decoration:underline #616161;text-decoration:underline #616161}.typst_link__vQy_Z:is(:hover,:active,:focus,:focus-within),.typst_typst____aSo a:is(:hover,:active,:focus,:focus-within){transition:box-shadow .4s var(--ease-in-out),color .3s var(--ease-in-out),font-weight .4s var(--ease-in-out),font-variation-settings .4s var(--ease-in-out);color:#f6a373;text-decoration:underline}.typst_typst____aSo code{font-family:JetBrains Mono,monospace}.typst_typst____aSo :not(pre) code{border-radius:var(--radius-md,.375rem);border-style:var(--tw-border-style);border-width:.1rem;border-color:#ffffff0d}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo :not(pre) code{border-color:color-mix(in oklab,var(--color-white,#fff)5%,transparent)}}.typst_typst____aSo :not(pre) code{background-color:#ffffff12}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo :not(pre) code{background-color:color-mix(in oklab,var(--color-white,#fff)7%,transparent)}}.typst_typst____aSo :not(pre) code{padding-inline:calc(var(--spacing,.25rem)*1);padding-block:calc(var(--spacing,.25rem)*.5)}.typst_typst____aSo pre{margin-block:calc(var(--spacing,.25rem)*4);border-radius:var(--radius-md,.375rem);border-style:var(--tw-border-style);border-width:.1rem;border-color:#ffffff0d}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo pre{border-color:color-mix(in oklab,var(--color-white,#fff)5%,transparent)}}.typst_typst____aSo pre{background-color:#ffffff12}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo pre{background-color:color-mix(in oklab,var(--color-white,#fff)7%,transparent)}}.typst_typst____aSo pre{padding-inline:calc(var(--spacing,.25rem)*2);padding-block:calc(var(--spacing,.25rem)*1)}.typst_typst____aSo pre code{text-wrap:wrap}.typst_typst____aSo :not(h2) code{font-size:var(--text-sm,.875rem);line-height:var(--tw-leading,var(--text-sm--line-height,calc(1.25/.875)))}.typst_typst____aSo abbr{cursor:help;text-decoration-line:underline;text-decoration-style:dotted;text-decoration-color:#ec6f27}.typst_typst____aSo strong{--tw-font-weight:var(--font-weight-bold,700);font-weight:var(--font-weight-bold,700)}.typst_typst____aSo ul li{padding-left:calc(var(--spacing,.25rem)*4);position:relative}.typst_typst____aSo ul li:before{content:"";background-color:#ffffff80;border-radius:50%;width:.25rem;height:.25rem;position:absolute;top:.75rem;left:.25rem}.typst_typst____aSo ol{padding-left:calc(var(--spacing,.25rem)*5);list-style-type:decimal}.typst_typst____aSo img{margin-left:auto;margin-right:auto;display:block}.typst_typst____aSo td,.typst_typst____aSo th{--tw-border-style:solid;border:1px solid #ffffff1a}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo td,.typst_typst____aSo th{border-color:color-mix(in oklab,var(--color-white,#fff)10%,transparent)}}.typst_typst____aSo td,.typst_typst____aSo th{padding-inline:calc(var(--spacing,.25rem)*2);padding-block:calc(var(--spacing,.25rem)*1);text-align:left}.typst_typst____aSo th{background-color:#ffffff0d}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo th{background-color:color-mix(in oklab,var(--color-white,#fff)5%,transparent)}}.typst_typst____aSo th{--tw-font-weight:var(--font-weight-bold,700);font-weight:var(--font-weight-bold,700)}.typst_typst____aSo table{margin-block:calc(var(--spacing,.25rem)*4);width:100%}.typst_typst____aSo nav[role=doc-toc]{margin:calc(var(--spacing,.25rem)*0);padding:calc(var(--spacing,.25rem)*0)}.typst_typst____aSo nav[role=doc-toc]>h2{margin-top:calc(var(--spacing,.25rem)*0);margin-bottom:calc(var(--spacing,.25rem)*3);border-style:var(--tw-border-style);padding-bottom:calc(var(--spacing,.25rem)*0);font-size:var(--text-xl,1.25rem);line-height:var(--tw-leading,var(--text-xl--line-height,calc(1.75/1.25)));border-width:0}.typst_typst____aSo nav[role=doc-toc]>ol{margin-left:calc(var(--spacing,.25rem)*0);list-style-type:none}:where(.typst_typst____aSo nav[role=doc-toc]>ol>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing,.25rem)*2)*var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing,.25rem)*2)*calc(1 - var(--tw-space-y-reverse)))}.typst_typst____aSo nav[role=doc-toc] li,.typst_typst____aSo nav[role=doc-toc]>ol{padding-left:calc(var(--spacing,.25rem)*0)}.typst_typst____aSo nav[role=doc-toc] a{text-decoration-line:none}.typst_clickableSpan__FiIk6{transition:color .3s var(--ease-in-out),font-weight .4s var(--ease-in-out),font-variation-settings .4s var(--ease-in-out);cursor:pointer;line-height:1;-webkit-text-decoration:underline #ffffff40;text-decoration:underline #ffffff40}.typst_clickableSpan__FiIk6:is(:hover,:active,:focus,:focus-within){transition:box-shadow .4s var(--ease-in-out),color .3s var(--ease-in-out),font-weight .4s var(--ease-in-out),font-variation-settings .4s var(--ease-in-out);color:#f6a373;cursor:pointer;text-decoration:underline}.typst_typst____aSo hr{margin-block:calc(var(--spacing,.25rem)*4);border-top:1px var(--tw-border-style);border-color:#fff3}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo hr{border-color:color-mix(in oklab,var(--color-white,#fff)20%,transparent)}}.typst_typst____aSo .typst-fade{opacity:.25}.typst_typst____aSo .typst-full-equation{margin-block:calc(var(--spacing,.25rem)*2);text-align:center}.typst_typst____aSo .typst-full-equation>svg{margin-inline:auto;display:block}.typst_typst____aSo .typst-frame{width:100%!important}.typst_typst____aSo .typst-boxed-header{margin-block:calc(var(--spacing,.25rem)*2);border-style:var(--tw-border-style);border-width:1px;border-color:#fff3}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo .typst-boxed-header{border-color:color-mix(in oklab,var(--color-white,#fff)20%,transparent)}}.typst_typst____aSo .typst-boxed-header{text-align:center}.typst_typst____aSo .typst-boxed{border-style:var(--tw-border-style);border-width:1px;border-color:#fff3}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo .typst-boxed{border-color:color-mix(in oklab,var(--color-white,#fff)20%,transparent)}}.typst_typst____aSo .typst-boxed{padding:calc(var(--spacing,.25rem)*1)}.typst_typst____aSo .typst-simple-callout{padding-left:calc(var(--spacing,.25rem)*3)}.typst_typst____aSo .typst-showybox,.typst_typst____aSo .typst-simple-callout{margin-block:calc(var(--spacing,.25rem)*4)}.typst_typst____aSo .typst-proof{border-left:1px var(--tw-border-style);border-color:gray}:is(.typst_typst____aSo .typst-remark,.typst_typst____aSo .typst-notation){border-left:1px var(--tw-border-style);border-color:#007af5}:is(.typst_typst____aSo .typst-remark-marker,.typst_typst____aSo .typst-notation-marker){color:#8fc7ff}.typst_typst____aSo .typst-important{border-left:1px var(--tw-border-style);border-color:#ffc107}.typst_typst____aSo .typst-important-marker{color:#ffe38d}.typst_typst____aSo .typst-claim{border-left:1px var(--tw-border-style);border-color:#ec6f27}.typst_typst____aSo .typst-claim-marker{color:#f9bc98}.typst_typst____aSo .typst-exercise{border-left:1px var(--tw-border-style);border-color:#9154ff}.typst_typst____aSo .typst-exercise-marker{color:#c29eff}.typst_typst____aSo .typst-lecture-separator{margin-block:calc(var(--spacing,.25rem)*2);align-items:center;gap:calc(var(--spacing,.25rem)*3);opacity:.25;display:flex}.typst_typst____aSo .typst-lecture-separator:before{content:"";background-color:#ffffff80;flex:1;height:1px;display:block}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo .typst-lecture-separator:before{background-color:color-mix(in oklab,var(--color-white,#fff)50%,transparent)}}.typst_typst____aSo .typst-lecture-separator:after{content:"";background-color:#ffffff80;flex:1;height:1px;display:block}@supports (color:color-mix(in lab,red,red)){.typst_typst____aSo .typst-lecture-separator:after{background-color:color-mix(in oklab,var(--color-white,#fff)50%,transparent)}}.typst_typst____aSo .typst-showybox-body{margin-block:calc(var(--spacing,.25rem)*3);padding-left:calc(var(--spacing,.25rem)*3)}.typst_typst____aSo .typst-showybox-orange{border-left:1px var(--tw-border-style);border-color:#ec6f27}.typst_typst____aSo .typst-showybox-orange-title{padding-block:calc(var(--spacing,.25rem)*1);padding-left:calc(var(--spacing,.25rem)*3);color:#f9bc98;background-color:oklab(36.1661% .0625086 .0678167/.5)}.typst_typst____aSo .typst-showybox-yellow{border-left:1px var(--tw-border-style);border-color:#ffc107}.typst_typst____aSo .typst-showybox-yellow-title{padding-block:calc(var(--spacing,.25rem)*1);padding-left:calc(var(--spacing,.25rem)*3);color:#ffe38d;background-color:oklab(40.7741% .0183716 .0784298/.5)}.typst_typst____aSo .typst-showybox-red{border-left:1px var(--tw-border-style);border-color:#e43748}.typst_typst____aSo .typst-showybox-red-title{padding-block:calc(var(--spacing,.25rem)*1);padding-left:calc(var(--spacing,.25rem)*3);color:#fab2b9;background-color:oklab(32.3217% .0907922 .0316883/.5)}.typst_typst____aSo .typst-showybox-purple{border-left:1px var(--tw-border-style);border-color:#9154ff}.typst_typst____aSo .typst-showybox-purple-title{padding-block:calc(var(--spacing,.25rem)*1);padding-left:calc(var(--spacing,.25rem)*3);color:#c29eff;background-color:oklab(32.2917% .0518388 -.123599/.5)}.typst_typst____aSo .typst-showybox-blue{border-left:1px var(--tw-border-style);border-color:#007af5}.typst_typst____aSo .typst-showybox-blue-title{padding-block:calc(var(--spacing,.25rem)*1);padding-left:calc(var(--spacing,.25rem)*3);color:#8fc7ff;background-color:oklab(33.4996% -.0271222 -.113851/.5)}.typst_typst____aSo .typst-header-counter{opacity:.35}.typst_typst____aSo [id]{scroll-margin-top:56px}.typst_typst____aSo a[data-ponder-id]{color:inherit;cursor:pointer;text-underline-offset:.16em;-webkit-text-decoration:underline dotted #a3a3a380;text-decoration:underline dotted #a3a3a380;text-decoration-thickness:2px}:is(.typst_typst____aSo a[data-ponder-id]:hover,.typst_typst____aSo a[data-ponder-id]:focus-visible){color:#fff;text-decoration-color:#d4d4d4}.typst_typst____aSo a.ponder-anchor-block{line-height:inherit;display:block}@property --tw-leading{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}.ponder_entry__ydD4D{width:min(100%,900px);color:#f5f5f5}.ponder_ponderLabel__MjoNu{color:#858585;font-size:1rem}.ponder_entryTitle__FTDZ3{font-size:1.5rem;font-weight:700}.ponder_description__urPdC{color:#d4d4d4;font-size:1.05rem;margin-top:.75rem}.ponder_description__urPdC p{margin:0}.ponder_sections__eQpwq{margin-top:2rem}.ponder_section__NaZmO{margin-top:1.75rem}.ponder_sectionHeading__E0KHe{font-size:1.05rem;font-weight:700;margin-bottom:.75rem}.ponder_linkList__UfaJf,.ponder_relatedList___DJYR{list-style:none;margin:0;padding:0}.ponder_relatedList___DJYR{color:#d4d4d4;display:flex;flex-wrap:wrap;gap:.4rem 1.25rem}.ponder_relatedList___DJYR a[data-ponder-id]{color:inherit;cursor:pointer;text-decoration-color:#a3a3a380;text-decoration-line:underline;text-decoration-style:dotted;text-decoration-thickness:2px;text-underline-offset:.16em}.ponder_relatedList___DJYR a[data-ponder-id]:focus-visible,.ponder_relatedList___DJYR a[data-ponder-id]:hover{color:#fff;text-decoration-color:#d4d4d4}.ponder_linkList__UfaJf{display:grid;gap:.4rem}.ponder_sourceHeading__zF7XQ{color:#858585;display:block;font-size:.85rem;margin-top:.15rem}.ponder_linkList__UfaJf a{color:#d4d4d4;text-decoration:underline;text-decoration-color:#666;text-underline-offset:.2em}.ponder_linkList__UfaJf a:focus-visible,.ponder_linkList__UfaJf a:hover{color:#fff;text-decoration-color:var(--ponder-accent)}.ponder_variantList__owLGP{display:grid;gap:1rem}.ponder_variantHeading__CCefI{align-items:baseline;display:flex;gap:.75rem}.ponder_variantHeading__CCefI h3{color:#f5f5f5;font-size:1rem;font-weight:600}.ponder_variantHeading__CCefI span{color:#858585;font-family:JetBrains Mono,monospace;font-size:.72rem}.ponder_variant__iCRSK p{color:#d4d4d4;margin-top:.25rem}.ponder_tooltip__zY7fP{background:#171717;border:1px solid #3a3a3a;border-left:1px solid var(--ponder-accent);box-shadow:0 14px 35px rgb(0 0 0/45%);color:#f5f5f5;max-width:min(360px,calc(100vw - 24px));padding:.9rem 1rem;pointer-events:none;position:fixed;width:max-content;z-index:110}.ponder_tooltipKind__yz3cP{color:var(--ponder-accent);font-family:JetBrains Mono,monospace;font-size:.65rem;text-transform:uppercase}.ponder_tooltipTitle__LGLyK{font-weight:700}.ponder_tooltipSummary__zodB_{color:#d4d4d4;margin-top:.5rem}.ponder_tooltipSummary__zodB_ p{margin:0}.ponder_tooltipSubheading__VYO5Q{color:#858585;margin-top:.5rem}.ponder_tooltipProvenance__Z_2Bn{color:#d4d4d4;margin-left:2rem}.ponder_progress__dDPZS{align-items:center;display:flex;line-height:1;margin-top:1rem;white-space:nowrap}.ponder_progressBars__9l6jj{display:flex;letter-spacing:0}.ponder_progressBars__9l6jj span,.ponder_progressPrompt__2eW8n{color:#484848}.ponder_progressBars__9l6jj span[data-active=true],.ponder_progressKey__2H38M{color:#858585}.ponder_modalOverlay__Cz0YG{align-items:center;background:rgb(0 0 0/76%);display:flex;inset:0;opacity:1;overflow:auto;padding:1rem;position:fixed;transition:opacity 90ms ease-out;z-index:90}.ponder_modalOverlayLeaving__EjQ5r{opacity:0;pointer-events:none}.ponder_modalStack__l4ylZ{margin:auto;padding-top:var(--stack-offset);perspective:1200px;position:relative;transform-style:preserve-3d;width:min(940px,100%)}.ponder_modalLayer__HhSmx{appearance:none;animation:ponder_ponder-layer-push__Ys6YH .26s cubic-bezier(.16,1,.3,1);background:#1b1b1b;border:1px solid #3a3a3a;bottom:0;cursor:pointer;left:0;opacity:1;padding:0;position:absolute;right:0;top:var(--stack-offset);transform:translateY(var(--layer-shift)) scaleX(var(--layer-scale));transform-origin:bottom center;transition:opacity .2s ease-out,transform .26s cubic-bezier(.16,1,.3,1);width:100%}.ponder_modalLayer__HhSmx:focus-visible,.ponder_modalLayer__HhSmx:hover{border-color:#686868;outline:none}.ponder_modalSurface__5FbpX{animation:ponder_ponder-surface-enter__HGEqE .3s cubic-bezier(.16,1,.3,1) both;background:#171717;border:1px solid #3a3a3a;box-shadow:0 24px 80px rgb(0 0 0/55%);contain:layout paint;max-height:min(88dvh,920px);overflow:auto;padding:16px;position:relative;width:100%;z-index:5}.ponder_modalSurfaceRestored__TSGVZ{animation:ponder_ponder-surface-restore__xILTP 90ms ease-out both}.ponder_modalSurface__5FbpX:focus{outline:none}@keyframes ponder_ponder-layer-push__Ys6YH{0%{opacity:1;transform:translateY(0) scaleX(1)}to{opacity:1;transform:translateY(var(--layer-shift)) scaleX(var(--layer-scale))}}@keyframes ponder_ponder-surface-enter__HGEqE{0%{opacity:0;transform:translateY(56px) scale(.985)}to{opacity:1;transform:translateY(0) scale(1)}}@keyframes ponder_ponder-surface-restore__xILTP{0%{opacity:0}to{opacity:1}}.ponder_close__5SEfR{align-items:center;background:transparent;display:flex;height:2.5rem;justify-content:center;opacity:.25;position:absolute;right:.75rem;top:.75rem;transition:opacity .14s ease-out;width:2.5rem;z-index:2}.ponder_close__5SEfR:focus-visible,.ponder_close__5SEfR:hover{opacity:.5}.ponder_directPage__WLk4c{display:flex;justify-content:center;padding:1rem;width:100%}.ponder_directSurface__UThaA{backdrop-filter:blur(4px);background:rgb(38 38 38/50%);border:1px solid #262626;padding:16px;width:min(1000px,100%)}@media (max-width:640px){.ponder_entryHeader__Upn_e h1{font-size:2rem}.ponder_modalOverlay__Cz0YG{padding:0}.ponder_modalStack__l4ylZ{width:100%}.ponder_modalSurface__5FbpX{max-height:calc(100dvh - var(--stack-offset));min-height:calc(100dvh - var(--stack-offset))}}@media (prefers-reduced-motion:reduce){.ponder_modalLayer__HhSmx,.ponder_modalOverlay__Cz0YG,.ponder_modalSurface__5FbpX{animation:none;transition:none}}