.icon-sun[data-astro-cid-lfoluaxz]{display:none}.icon-moon[data-astro-cid-lfoluaxz],[data-astro-cid-lfoluaxz][data-theme=dark] .icon-sun[data-astro-cid-lfoluaxz]{display:block}[data-astro-cid-lfoluaxz][data-theme=dark] .icon-moon[data-astro-cid-lfoluaxz]{display:none}@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-space-y-reverse:0;--tw-border-style:solid;--tw-leading:initial;--tw-font-weight:initial;--tw-tracking:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial;--tw-backdrop-blur:initial;--tw-backdrop-brightness:initial;--tw-backdrop-contrast:initial;--tw-backdrop-grayscale:initial;--tw-backdrop-hue-rotate:initial;--tw-backdrop-invert:initial;--tw-backdrop-opacity:initial;--tw-backdrop-saturate:initial;--tw-backdrop-sepia:initial}}}@layer theme{:root,:host{--font-sans:"Inter", ui-sans-serif, system-ui, sans-serif;--font-serif:"Source Serif 4", "Charter", "Georgia", ui-serif, serif;--font-mono:"JetBrains Mono", "Fira Code", ui-monospace, monospace;--color-red-100:oklch(93.6% .032 17.717);--color-red-800:oklch(44.4% .177 26.899);--color-amber-100:oklch(96.2% .059 95.617);--color-amber-800:oklch(47.3% .137 46.201);--color-green-100:oklch(96.2% .044 156.743);--color-green-800:oklch(44.8% .119 151.328);--color-gray-50:oklch(98.5% .002 247.839);--color-gray-100:oklch(96.7% .003 264.542);--color-gray-200:oklch(92.8% .006 264.531);--color-gray-300:oklch(87.2% .01 258.338);--color-gray-400:oklch(70.7% .022 261.325);--color-black:#000;--color-white:#fff;--spacing:.25rem;--container-xl:36rem;--container-3xl:48rem;--container-4xl:56rem;--container-5xl:64rem;--text-xs:.75rem;--text-xs--line-height:calc(1 / .75);--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--text-base:1rem;--text-base--line-height: 1.5 ;--text-lg:1.125rem;--text-lg--line-height:calc(1.75 / 1.125);--text-xl:1.25rem;--text-xl--line-height:calc(1.75 / 1.25);--text-2xl:1.5rem;--text-2xl--line-height:calc(2 / 1.5);--text-3xl:1.875rem;--text-3xl--line-height: 1.2 ;--text-4xl:2.25rem;--text-4xl--line-height:calc(2.5 / 2.25);--text-5xl:3rem;--text-5xl--line-height:1;--font-weight-medium:500;--font-weight-semibold:600;--tracking-tight:-.025em;--tracking-wider:.05em;--leading-tight:1.25;--leading-relaxed:1.625;--radius-lg:.5rem;--radius-xl:.75rem;--blur-sm:8px;--aspect-video:16 / 9;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--default-font-family:var(--font-sans);--default-mono-font-family:var(--font-mono);--color-bg:#fafaf8;--color-text:#1a1a1a;--color-text-secondary:#6b6b6b;--color-accent:#0f6e56;--color-accent-secondary:#534ab7;--color-surface:#fff;--color-border:#e5e5e0;--color-code-bg:#f5f5f0;--color-muted-bg:#f5f5f0;--color-muted-border:#d1d1cc;--color-definition-bg:#e1f5ee;--color-definition-border:#0f6e56;--color-theorem-bg:#eeedfe;--color-theorem-border:#534ab7;--color-badge-green-bg:#dcfce7;--color-badge-green-text:#166534;--color-badge-amber-bg:#fef3c7;--color-badge-amber-text:#92400e;--color-badge-red-bg:#fee2e2;--color-badge-red-text:#991b1b;--color-disabled-text:#9ca3af}}@layer base{[data-astro-cid-37fxchfa],[data-astro-cid-37fxchfa]:after,[data-astro-cid-37fxchfa]:before,[data-astro-cid-37fxchfa]::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}[data-astro-cid-37fxchfa]::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,[data-astro-cid-37fxchfa]:host{-webkit-text-size-adjust:100%;tab-size:4;line-height:1.5;font-family:var(--default-font-family,ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji");font-feature-settings:var(--default-font-feature-settings,normal);font-variation-settings:var(--default-font-variation-settings,normal);-webkit-tap-highlight-color:transparent}hr[data-astro-cid-37fxchfa]{height:0;color:inherit;border-top-width:1px}abbr[data-astro-cid-37fxchfa]:where([title]){-webkit-text-decoration:underline dotted;text-decoration:underline dotted}h1[data-astro-cid-37fxchfa],h2[data-astro-cid-37fxchfa],h3[data-astro-cid-37fxchfa],h4[data-astro-cid-37fxchfa],h5[data-astro-cid-37fxchfa],h6[data-astro-cid-37fxchfa]{font-size:inherit;font-weight:inherit}a[data-astro-cid-37fxchfa]{color:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b[data-astro-cid-37fxchfa],strong[data-astro-cid-37fxchfa]{font-weight:bolder}code[data-astro-cid-37fxchfa],kbd[data-astro-cid-37fxchfa],samp[data-astro-cid-37fxchfa],pre[data-astro-cid-37fxchfa]{font-family:var(--default-mono-font-family,ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace);font-feature-settings:var(--default-mono-font-feature-settings,normal);font-variation-settings:var(--default-mono-font-variation-settings,normal);font-size:1em}small[data-astro-cid-37fxchfa]{font-size:80%}sub[data-astro-cid-37fxchfa],sup[data-astro-cid-37fxchfa]{vertical-align:baseline;font-size:75%;line-height:0;position:relative}sub[data-astro-cid-37fxchfa]{bottom:-.25em}sup[data-astro-cid-37fxchfa]{top:-.5em}table[data-astro-cid-37fxchfa]{text-indent:0;border-color:inherit;border-collapse:collapse}[data-astro-cid-37fxchfa]:-moz-focusring{outline:auto}progress[data-astro-cid-37fxchfa]{vertical-align:baseline}summary[data-astro-cid-37fxchfa]{display:list-item}ol[data-astro-cid-37fxchfa],ul[data-astro-cid-37fxchfa],menu[data-astro-cid-37fxchfa]{list-style:none}img[data-astro-cid-37fxchfa],svg[data-astro-cid-37fxchfa],video[data-astro-cid-37fxchfa],canvas[data-astro-cid-37fxchfa],audio[data-astro-cid-37fxchfa],iframe[data-astro-cid-37fxchfa],embed[data-astro-cid-37fxchfa],object[data-astro-cid-37fxchfa]{vertical-align:middle;display:block}img[data-astro-cid-37fxchfa],video[data-astro-cid-37fxchfa]{max-width:100%;height:auto}button[data-astro-cid-37fxchfa],input[data-astro-cid-37fxchfa],select[data-astro-cid-37fxchfa],optgroup[data-astro-cid-37fxchfa],textarea[data-astro-cid-37fxchfa]{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}[data-astro-cid-37fxchfa]::file-selector-button{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}[data-astro-cid-37fxchfa]:where(select:is([multiple],[size])) optgroup[data-astro-cid-37fxchfa]{font-weight:bolder}[data-astro-cid-37fxchfa]:where(select:is([multiple],[size])) optgroup[data-astro-cid-37fxchfa] option[data-astro-cid-37fxchfa]{padding-inline-start:20px}[data-astro-cid-37fxchfa]::file-selector-button{margin-inline-end:4px}[data-astro-cid-37fxchfa]::placeholder{opacity:1}@supports (not ((-webkit-appearance:-apple-pay-button))) or (contain-intrinsic-size:1px){[data-astro-cid-37fxchfa]::placeholder{color:currentColor}@supports (color:color-mix(in lab,red,red)){[data-astro-cid-37fxchfa]::placeholder{color:color-mix(in oklab,currentcolor 50%,transparent)}}}textarea[data-astro-cid-37fxchfa]{resize:vertical}[data-astro-cid-37fxchfa]::-webkit-search-decoration{-webkit-appearance:none}[data-astro-cid-37fxchfa]::-webkit-date-and-time-value{min-height:1lh;text-align:inherit}[data-astro-cid-37fxchfa]::-webkit-datetime-edit{display:inline-flex}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-fields-wrapper{padding:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-year-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-month-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-day-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-hour-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-minute-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-second-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-millisecond-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-datetime-edit-meridiem-field{padding-block:0}[data-astro-cid-37fxchfa]::-webkit-calendar-picker-indicator{line-height:1}[data-astro-cid-37fxchfa]:-moz-ui-invalid{box-shadow:none}button[data-astro-cid-37fxchfa],input[data-astro-cid-37fxchfa]:where([type=button],[type=reset],[type=submit]){appearance:button}[data-astro-cid-37fxchfa]::file-selector-button{appearance:button}[data-astro-cid-37fxchfa]::-webkit-inner-spin-button{height:auto}[data-astro-cid-37fxchfa]::-webkit-outer-spin-button{height:auto}[data-astro-cid-37fxchfa][hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.fixed{position:fixed}.relative{position:relative}.static{position:static}.sticky{position:sticky}.inset-0{inset:calc(var(--spacing) * 0)}.start{inset-inline-start:var(--spacing)}.end{inset-inline-end:var(--spacing)}.top-0{top:calc(var(--spacing) * 0)}.z-50{z-index:50}.float-right{float:right}.container{width:100%}@media(min-width:40rem){.container{max-width:40rem}}@media(min-width:48rem){.container{max-width:48rem}}@media(min-width:64rem){.container{max-width:64rem}}@media(min-width:80rem){.container{max-width:80rem}}@media(min-width:96rem){.container{max-width:96rem}}.mx-6{margin-inline:calc(var(--spacing) * 6)}.mx-auto{margin-inline:auto}.my-6{margin-block:calc(var(--spacing) * 6)}.mt-0\.5{margin-top:calc(var(--spacing) * .5)}.mt-1{margin-top:calc(var(--spacing) * 1)}.mt-2{margin-top:calc(var(--spacing) * 2)}.mt-3{margin-top:calc(var(--spacing) * 3)}.mt-4{margin-top:calc(var(--spacing) * 4)}.mt-6{margin-top:calc(var(--spacing) * 6)}.mt-12{margin-top:calc(var(--spacing) * 12)}.mt-16{margin-top:calc(var(--spacing) * 16)}.mt-24{margin-top:calc(var(--spacing) * 24)}.mr-2{margin-right:calc(var(--spacing) * 2)}.mb-1{margin-bottom:calc(var(--spacing) * 1)}.mb-2{margin-bottom:calc(var(--spacing) * 2)}.mb-3{margin-bottom:calc(var(--spacing) * 3)}.mb-4{margin-bottom:calc(var(--spacing) * 4)}.mb-6{margin-bottom:calc(var(--spacing) * 6)}.mb-8{margin-bottom:calc(var(--spacing) * 8)}.mb-10{margin-bottom:calc(var(--spacing) * 10)}.mb-12{margin-bottom:calc(var(--spacing) * 12)}.line-clamp-3{-webkit-line-clamp:3;-webkit-box-orient:vertical;display:-webkit-box;overflow:hidden}.block{display:block}.flex{display:flex}.grid{display:grid}.hidden{display:none}.inline{display:inline}.inline-block{display:inline-block}.inline-flex{display:inline-flex}.aspect-video{aspect-ratio:var(--aspect-video)}.h-1\.5{height:calc(var(--spacing) * 1.5)}.h-5{height:calc(var(--spacing) * 5)}.h-full{height:100%}.min-h-screen{min-height:100vh}.w-1\.5{width:calc(var(--spacing) * 1.5)}.w-5{width:calc(var(--spacing) * 5)}.w-full{width:100%}.max-w-3xl{max-width:var(--container-3xl)}.max-w-4xl{max-width:var(--container-4xl)}.max-w-5xl{max-width:var(--container-5xl)}.max-w-xl{max-width:var(--container-xl)}.flex-shrink-0{flex-shrink:0}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.cursor-pointer{cursor:pointer}.grid-cols-1{grid-template-columns:repeat(1,minmax(0,1fr))}.flex-col{flex-direction:column}.flex-wrap{flex-wrap:wrap}.items-baseline{align-items:baseline}.items-center{align-items:center}.items-start{align-items:flex-start}.justify-between{justify-content:space-between}.justify-center{justify-content:center}.justify-end{justify-content:flex-end}.gap-1{gap:calc(var(--spacing) * 1)}.gap-2{gap:calc(var(--spacing) * 2)}.gap-3{gap:calc(var(--spacing) * 3)}.gap-4{gap:calc(var(--spacing) * 4)}.gap-6{gap:calc(var(--spacing) * 6)}:where(.space-y-2>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 2) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 2) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-3>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 3) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 3) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-8>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 8) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 8) * calc(1 - var(--tw-space-y-reverse)))}:where(.space-y-10>:not(:last-child)){--tw-space-y-reverse:0;margin-block-start:calc(calc(var(--spacing) * 10) * var(--tw-space-y-reverse));margin-block-end:calc(calc(var(--spacing) * 10) * calc(1 - var(--tw-space-y-reverse)))}.overflow-hidden{overflow:hidden}.scroll-smooth{scroll-behavior:smooth}.rounded{border-radius:.25rem}.rounded-full{border-radius:3.40282e38px}.rounded-lg{border-radius:var(--radius-lg)}.rounded-xl{border-radius:var(--radius-xl)}.rounded-r-lg{border-top-right-radius:var(--radius-lg);border-bottom-right-radius:var(--radius-lg)}.border{border-style:var(--tw-border-style);border-width:1px}.border-t{border-top-style:var(--tw-border-style);border-top-width:1px}.border-b{border-bottom-style:var(--tw-border-style);border-bottom-width:1px}.border-l-4{border-left-style:var(--tw-border-style);border-left-width:4px}.border-\[var\(--color-border\)\]{border-color:var(--color-border)}.border-current{border-color:currentColor}.border-gray-200{border-color:var(--color-gray-200)}.border-gray-200\/60{border-color:#e5e7eb99}@supports (color:color-mix(in lab,red,red)){.border-gray-200\/60{border-color:color-mix(in oklab,var(--color-gray-200) 60%,transparent)}}.border-gray-200\/80{border-color:#e5e7ebcc}@supports (color:color-mix(in lab,red,red)){.border-gray-200\/80{border-color:color-mix(in oklab,var(--color-gray-200) 80%,transparent)}}.border-l-\[var\(--color-definition-border\)\]{border-left-color:var(--color-definition-border)}.border-l-\[var\(--color-muted-border\)\]{border-left-color:var(--color-muted-border)}.border-l-\[var\(--color-theorem-border\)\]{border-left-color:var(--color-theorem-border)}.border-l-gray-300{border-left-color:var(--color-gray-300)}.bg-\[var\(--color-accent\)\]{background-color:var(--color-accent)}.bg-\[var\(--color-badge-amber-bg\)\]{background-color:var(--color-badge-amber-bg)}.bg-\[var\(--color-badge-green-bg\)\]{background-color:var(--color-badge-green-bg)}.bg-\[var\(--color-badge-red-bg\)\]{background-color:var(--color-badge-red-bg)}.bg-\[var\(--color-bg\)\]{background-color:var(--color-bg)}.bg-\[var\(--color-bg\)\]\/95{background-color:#fafaf8f2}@supports (color:color-mix(in lab,red,red)){.bg-\[var\(--color-bg\)\]\/95{background-color:color-mix(in oklab,var(--color-bg) 95%,transparent)}}.bg-\[var\(--color-definition-bg\)\]{background-color:var(--color-definition-bg)}.bg-\[var\(--color-muted-bg\)\]{background-color:var(--color-muted-bg)}.bg-\[var\(--color-surface\)\]{background-color:var(--color-surface)}.bg-\[var\(--color-theorem-bg\)\]{background-color:var(--color-theorem-bg)}.bg-amber-100{background-color:var(--color-amber-100)}.bg-black\/50{background-color:#00000080}@supports (color:color-mix(in lab,red,red)){.bg-black\/50{background-color:color-mix(in oklab,var(--color-black) 50%,transparent)}}.bg-gray-50{background-color:var(--color-gray-50)}.bg-gray-100{background-color:var(--color-gray-100)}.bg-green-100{background-color:var(--color-green-100)}.bg-red-100{background-color:var(--color-red-100)}.bg-transparent{background-color:#0000}.bg-white{background-color:var(--color-white)}.p-6{padding:calc(var(--spacing) * 6)}.px-1\.5{padding-inline:calc(var(--spacing) * 1.5)}.px-3{padding-inline:calc(var(--spacing) * 3)}.px-6{padding-inline:calc(var(--spacing) * 6)}.py-0\.5{padding-block:calc(var(--spacing) * .5)}.py-1{padding-block:calc(var(--spacing) * 1)}.py-4{padding-block:calc(var(--spacing) * 4)}.py-12{padding-block:calc(var(--spacing) * 12)}.pt-8{padding-top:calc(var(--spacing) * 8)}.pt-20{padding-top:calc(var(--spacing) * 20)}.pt-24{padding-top:calc(var(--spacing) * 24)}.pb-16{padding-bottom:calc(var(--spacing) * 16)}.pb-24{padding-bottom:calc(var(--spacing) * 24)}.text-center{text-align:center}.text-right{text-align:right}.font-\[family-name\:var\(--font-sans\)\]{font-family:var(--font-sans)}.font-\[family-name\:var\(--font-serif\)\]{font-family:var(--font-serif)}.text-2xl{font-size:var(--text-2xl);line-height:var(--tw-leading,var(--text-2xl--line-height))}.text-3xl{font-size:var(--text-3xl);line-height:var(--tw-leading,var(--text-3xl--line-height))}.text-4xl{font-size:var(--text-4xl);line-height:var(--tw-leading,var(--text-4xl--line-height))}.text-5xl{font-size:var(--text-5xl);line-height:var(--tw-leading,var(--text-5xl--line-height))}.text-base{font-size:var(--text-base);line-height:var(--tw-leading,var(--text-base--line-height))}.text-lg{font-size:var(--text-lg);line-height:var(--tw-leading,var(--text-lg--line-height))}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.text-xl{font-size:var(--text-xl);line-height:var(--tw-leading,var(--text-xl--line-height))}.text-xs{font-size:var(--text-xs);line-height:var(--tw-leading,var(--text-xs--line-height))}.text-\[0\.65rem\]{font-size:.65rem}.leading-relaxed{--tw-leading:var(--leading-relaxed);line-height:var(--leading-relaxed)}.leading-tight{--tw-leading:var(--leading-tight);line-height:var(--leading-tight)}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.font-semibold{--tw-font-weight:var(--font-weight-semibold);font-weight:var(--font-weight-semibold)}.tracking-tight{--tw-tracking:var(--tracking-tight);letter-spacing:var(--tracking-tight)}.tracking-wider{--tw-tracking:var(--tracking-wider);letter-spacing:var(--tracking-wider)}.whitespace-nowrap{white-space:nowrap}.text-\[var\(--color-accent\)\]{color:var(--color-accent)}.text-\[var\(--color-badge-amber-text\)\]{color:var(--color-badge-amber-text)}.text-\[var\(--color-badge-green-text\)\]{color:var(--color-badge-green-text)}.text-\[var\(--color-badge-red-text\)\]{color:var(--color-badge-red-text)}.text-\[var\(--color-disabled-text\)\]{color:var(--color-disabled-text)}.text-\[var\(--color-text\)\]{color:var(--color-text)}.text-\[var\(--color-text-secondary\)\]{color:var(--color-text-secondary)}.text-amber-800{color:var(--color-amber-800)}.text-gray-400{color:var(--color-gray-400)}.text-green-800{color:var(--color-green-800)}.text-red-800{color:var(--color-red-800)}.capitalize{text-transform:capitalize}.uppercase{text-transform:uppercase}.italic{font-style:italic}.accent-\[var\(--color-accent\)\]{accent-color:var(--color-accent)}.opacity-40{opacity:.4}.shadow-xl{--tw-shadow:0 20px 25px -5px var(--tw-shadow-color,#0000001a), 0 8px 10px -6px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.backdrop-blur-sm{--tw-backdrop-blur:blur(var(--blur-sm));-webkit-backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,);backdrop-filter:var(--tw-backdrop-blur,) var(--tw-backdrop-brightness,) var(--tw-backdrop-contrast,) var(--tw-backdrop-grayscale,) var(--tw-backdrop-hue-rotate,) var(--tw-backdrop-invert,) var(--tw-backdrop-opacity,) var(--tw-backdrop-saturate,) var(--tw-backdrop-sepia,)}.transition-all{transition-property:all;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.transition-colors{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.select-none{-webkit-user-select:none;user-select:none}@media(hover:hover){.group-hover\:text-\[var\(--color-accent\)\]:is(:where(.group):hover *){color:var(--color-accent)}.hover\:border-\[var\(--color-accent\)\]\/30:hover{border-color:#0f6e564d}@supports (color:color-mix(in lab,red,red)){.hover\:border-\[var\(--color-accent\)\]\/30:hover{border-color:color-mix(in oklab,var(--color-accent) 30%,transparent)}}.hover\:bg-\[var\(--color-muted-bg\)\]:hover{background-color:var(--color-muted-bg)}.hover\:bg-gray-50:hover{background-color:var(--color-gray-50)}.hover\:text-\[var\(--color-accent\)\]:hover{color:var(--color-accent)}.hover\:text-\[var\(--color-text\)\]:hover{color:var(--color-text)}.hover\:underline:hover{text-decoration-line:underline}.hover\:shadow-sm:hover{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a), 0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow),var(--tw-inset-ring-shadow),var(--tw-ring-offset-shadow),var(--tw-ring-shadow),var(--tw-shadow)}}@media(min-width:40rem){.sm\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(min-width:48rem){.md\:grid-cols-2{grid-template-columns:repeat(2,minmax(0,1fr))}}@media(min-width:64rem){.lg\:grid-cols-3{grid-template-columns:repeat(3,minmax(0,1fr))}}}[data-astro-cid-37fxchfa][data-theme=dark]{--color-bg:#171715;--color-text:#e5e5e1;--color-text-secondary:#9e9e98;--color-accent:#34d399;--color-accent-secondary:#8b83e0;--color-surface:#1f1f1d;--color-border:#2e2e2c;--color-code-bg:#222220;--color-muted-bg:#222220;--color-muted-border:#3a3a38;--color-definition-bg:#0f2e24;--color-definition-border:#34d399;--color-theorem-bg:#1e1c38;--color-theorem-border:#8b83e0;--color-badge-green-bg:#14532d;--color-badge-green-text:#86efac;--color-badge-amber-bg:#451a03;--color-badge-amber-text:#fcd34d;--color-badge-red-bg:#450a0a;--color-badge-red-text:#fca5a5;--color-disabled-text:#6b7280}html{background-color:var(--color-bg);color:var(--color-text)}html.theme-transitioning,html.theme-transitioning [data-astro-cid-37fxchfa]{transition:background-color .2s,color .2s,border-color .2s}.prose[data-astro-cid-37fxchfa]{font-family:var(--font-serif);max-width:45rem;font-size:1.125rem;line-height:1.7}.prose[data-astro-cid-37fxchfa] h1[data-astro-cid-37fxchfa],.prose[data-astro-cid-37fxchfa] h2[data-astro-cid-37fxchfa],.prose[data-astro-cid-37fxchfa] h3[data-astro-cid-37fxchfa],.prose[data-astro-cid-37fxchfa] h4[data-astro-cid-37fxchfa]{font-family:var(--font-sans);font-weight:600}.katex-display[data-astro-cid-37fxchfa]{padding:.5rem 0;overflow:auto hidden}pre[data-astro-cid-37fxchfa]{border-radius:.5rem;padding:1rem;font-size:.875rem;overflow-x:auto;background-color:var(--color-code-bg)!important}code[data-astro-cid-37fxchfa]{font-family:var(--font-mono)}svg[data-astro-cid-37fxchfa] text[data-astro-cid-37fxchfa]{fill:var(--color-text)}svg[data-astro-cid-37fxchfa] .domain[data-astro-cid-37fxchfa],svg[data-astro-cid-37fxchfa] .tick[data-astro-cid-37fxchfa] line[data-astro-cid-37fxchfa]{stroke:var(--color-muted-border)}[data-astro-cid-37fxchfa][data-theme=dark] .katex[data-astro-cid-37fxchfa]{color:var(--color-text)}[data-astro-cid-37fxchfa][data-theme=dark] .pagefind-ui[data-astro-cid-37fxchfa]{--pagefind-ui-background:var(--color-surface);--pagefind-ui-text:var(--color-text);--pagefind-ui-border:var(--color-border)}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-space-y-reverse{syntax:"*";inherits:false;initial-value:0}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-leading{syntax:"*";inherits:false}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-tracking{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}@property --tw-backdrop-blur{syntax:"*";inherits:false}@property --tw-backdrop-brightness{syntax:"*";inherits:false}@property --tw-backdrop-contrast{syntax:"*";inherits:false}@property --tw-backdrop-grayscale{syntax:"*";inherits:false}@property --tw-backdrop-hue-rotate{syntax:"*";inherits:false}@property --tw-backdrop-invert{syntax:"*";inherits:false}@property --tw-backdrop-opacity{syntax:"*";inherits:false}@property --tw-backdrop-saturate{syntax:"*";inherits:false}@property --tw-backdrop-sepia{syntax:"*";inherits:false}