:root{--base-primary: oklch(64% .2 252);--base-accent: oklch(70% .2 30);--base-error: oklch(53% .24 29);--base-success: oklch(55% .13 150);--base-warning: oklch(63% .2 40);--base-info: oklch(64% .04 220);--base-math-definition: oklch(56% .13 252);--base-math-theorem: oklch(60% .15 142);--base-math-proof: oklch(40% .05 250);--base-math-example: oklch(55% .13 150);--base-math-note: oklch(50% .06 250);--base-neutral-0: oklch(100% 0 0);--base-neutral-100: oklch(98% .01 100);--base-neutral-200: oklch(96% .01 100);--base-neutral-300: oklch(91% .01 210);--base-neutral-700: oklch(52% .03 210);--base-neutral-800: oklch(26% .02 100);--base-neutral-900: oklch(0% 0 0);--color-primary: var(--base-primary);--color-primary-light: color-mix(in oklch, var(--base-primary) 10%, transparent);--color-primary-dark: oklch(52% .22 252);--color-primary-hover: color-mix(in oklch, var(--base-primary) 10%, transparent);--color-primary-active: color-mix(in oklch, var(--base-primary) 20%, transparent);--color-accent: var(--base-accent);--color-bg: var(--base-neutral-100);--color-bg-secondary: var(--base-neutral-0);--color-card-bg: var(--base-neutral-0);--color-code-bg: oklch(97% .01 210);--color-text: var(--base-neutral-800);--color-text-secondary: var(--base-neutral-700);--color-heading: var(--base-neutral-800);--color-link: var(--color-primary);--color-link-hover: oklch(58% .22 252);--color-button-bg: var(--base-neutral-200);--color-button-hover: var(--base-neutral-300);--color-button-text: var(--base-neutral-800);--color-border: var(--base-neutral-300);--color-border-light: oklch(94% .01 100);--color-error: var(--base-error);--color-error-bg: oklch(95% .09 25);--color-error-border: var(--base-error);--color-error-text-dark: oklch(35% .15 29);--color-info-bg: color-mix(in oklch, var(--base-info) 15%, var(--color-bg));--color-overlay-light: color-mix(in oklch, var(--base-neutral-900) 2%, transparent);--color-overlay-medium: color-mix(in oklch, var(--base-neutral-900) 5%, transparent);--color-overlay-dark: color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--color-spinner-border: color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--color-tooltip-bg: var(--base-neutral-0);--color-tooltip-footer-bg: var(--base-neutral-100);--color-definition: var(--base-math-definition);--color-theorem: var(--base-math-theorem);--color-lemma: oklch(58% .14 241);--color-proposition: oklch(62% .12 230);--color-corollary: oklch(54% .08 250);--color-proof: var(--base-math-proof);--color-example: var(--base-math-example);--color-remark: var(--base-math-note);--color-note: var(--base-math-note);--color-intuition: oklch(65% .12 180);--color-exercise: var(--base-math-definition);--color-solution: var(--base-math-note);--color-type-definition: oklch(60% .17 252);--color-type-theorem: var(--base-error);--color-type-proposition: oklch(55% .18 300);--color-type-lemma: var(--base-warning);--color-type-corollary: oklch(50% .15 142);--color-type-example: oklch(52% .12 85);--color-type-note: oklch(48% .06 250);--color-nested-definition: color-mix(in oklch, var(--color-definition) 3%, transparent);--color-nested-theorem: color-mix(in oklch, var(--color-theorem) 3%, transparent);--color-nested-lemma: color-mix(in oklch, var(--color-lemma) 3%, transparent);--color-nested-proposition: color-mix(in oklch, var(--color-proposition) 3%, transparent);--color-nested-corollary: color-mix(in oklch, var(--color-corollary) 2.5%, transparent);--color-nested-proof: color-mix(in oklch, var(--color-proof) 3%, transparent);--color-nested-example: color-mix(in oklch, var(--color-example) 3%, transparent);--color-embedded-bg: color-mix(in oklch, var(--base-neutral-900) 3%, transparent);--color-slider-track-dark: oklch(30% 0 0);--color-white: var(--base-neutral-0);--color-black: var(--base-neutral-900);--space-3xs: .125rem;--space-2xs: .375rem;--space-xs: .25rem;--space-sm: .5rem;--space-md: 1rem;--space-lg: 1.5rem;--space-xl: 2rem;--space-2xl: 3rem;--space-3xl: 4rem;--space-micro-1: 2px;--space-micro-2: 4px;--space-micro-3: 6px;--space-micro-4: 8px;--space-micro-5: 10px;--space-micro-6: 12px;--font-size-xs: .75rem;--font-size-sm: .875rem;--font-size-base: 1rem;--font-size-lg: 1.125rem;--font-size-xl: 1.25rem;--font-size-2xl: 1.5rem;--font-size-3xl: 2rem;--line-height-tight: 1.25;--line-height-base: 1.6;--line-height-relaxed: 1.8;--border-width-thin: 1px;--border-width-base: 2px;--border-width-thick: 3px;--border-width-heavy: 4px;--border-width-extra: 5px;--radius-xs: 3px;--radius-sm: 4px;--radius-md: 6px;--radius-lg: 8px;--radius-xl: 12px;--radius-2xl: 16px;--radius-full: 9999px;--shadow-sm: 0 1px 2px 0 color-mix(in oklch, var(--base-neutral-900) 5%, transparent);--shadow-md: 0 4px 6px -1px color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--shadow-lg: 0 10px 15px -3px color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--shadow-xl: 0 20px 25px -5px color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--shadow-button: 0 2px 4px color-mix(in oklch, var(--base-neutral-900) 30%, transparent);--shadow-button-hover: 0 4px 8px color-mix(in oklch, var(--base-neutral-900) 40%, transparent);--transition-fast: .15s ease;--transition-base: .2s ease;--transition-slow: .3s ease;--z-base: 0;--z-dropdown: 100;--z-sticky: 200;--z-overlay: 300;--z-modal: 400;--z-tooltip: 500;--size-input-sm: 100px;--size-input-base: 120px;--size-input-md: 160px;--size-input-lg: 200px;--size-button-icon: 16px;--size-thumb: 15px;--size-slider-track: 4px;--size-scrollbar: 8px;--size-tooltip-min: 200px;--size-tooltip-max: 500px;--size-spinner: 14px;--size-nav-button: 24px;--line-height-nav-button: 20px;--width-content-base: 1200px;--width-content-wide: 1440px;--width-grid-min: 250px;--width-grid-min-sm: 150px;--width-card-min: 350px;--height-input-min: 60px;--height-card-sm: 200px;--height-card-base: 300px;--height-demo-min: 300px;--gap-xs: 10px;--gap-sm: 15px;--gap-base: 20px;--gap-lg: 30px;--gap-xl: 40px;--gap-2xl: 50px;--breakpoint-phone: 640px;--breakpoint-tablet: 768px;--breakpoint-desktop: 1024px;--breakpoint-wide: 1440px;--container-sm: 600px;--container-md: 900px;--container-lg: 1200px;--translate-subtle: -1px;--translate-sm: -2px;--translate-base: 1rem;--outline-offset-sm: 2px;--outline-offset-base: 3px}@media (prefers-color-scheme: dark){:root{--base-neutral-0: oklch(15% .02 240);--base-neutral-100: oklch(18% .02 240);--base-neutral-200: oklch(22% .02 240);--base-neutral-300: oklch(30% .01 210);--base-neutral-700: oklch(65% .02 210);--base-neutral-800: oklch(85% .01 210);--base-neutral-900: oklch(100% 0 0);--base-primary: oklch(73% .15 220);--base-error: oklch(67% .24 25);--color-bg: var(--base-neutral-0);--color-bg-secondary: var(--base-neutral-0);--color-card-bg: var(--base-neutral-200);--color-code-bg: var(--base-neutral-100);--color-text: var(--base-neutral-800);--color-text-secondary: var(--base-neutral-700);--color-heading: oklch(96% .01 210);--color-link-hover: oklch(68% .17 220);--color-button-bg: oklch(28% .02 240);--color-button-hover: oklch(34% .02 240);--color-button-text: var(--base-neutral-900);--color-border-light: oklch(26% .01 240);--color-error-bg: oklch(25% .1 25);--color-error-text-dark: oklch(90% .09 25);--color-info-bg: oklch(20% .05 220);--color-overlay-light: color-mix(in oklch, var(--base-neutral-900) 2%, transparent);--color-overlay-medium: color-mix(in oklch, var(--base-neutral-900) 5%, transparent);--color-overlay-dark: color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--color-spinner-border: color-mix(in oklch, var(--base-neutral-900) 10%, transparent);--color-tooltip-bg: var(--base-neutral-100);--color-tooltip-footer-bg: var(--base-neutral-0);--color-definition: oklch(65% .13 252);--color-theorem: oklch(68% .15 142);--color-lemma: oklch(66% .14 241);--color-proposition: oklch(70% .12 230);--color-corollary: oklch(62% .08 250);--color-proof: oklch(55% .05 250);--color-example: oklch(63% .13 150);--color-remark: oklch(60% .06 250);--color-note: oklch(60% .06 250);--color-intuition: oklch(72% .12 180);--color-exercise: oklch(65% .13 252);--color-solution: oklch(60% .06 250);--color-type-definition: var(--base-primary);--color-type-theorem: var(--base-error);--color-type-proposition: oklch(75% .15 300);--color-type-lemma: oklch(72% .17 40);--color-type-corollary: oklch(65% .12 142);--color-type-example: oklch(70% .1 85);--color-type-note: oklch(65% .04 250);--color-nested-definition: color-mix(in oklch, var(--color-definition) 6%, transparent);--color-nested-theorem: color-mix(in oklch, var(--color-theorem) 6%, transparent);--color-nested-lemma: color-mix(in oklch, var(--color-lemma) 6%, transparent);--color-nested-proposition: color-mix(in oklch, var(--color-proposition) 6%, transparent);--color-nested-corollary: color-mix(in oklch, var(--color-corollary) 5%, transparent);--color-nested-proof: color-mix(in oklch, var(--color-proof) 6%, transparent);--color-nested-example: color-mix(in oklch, var(--color-example) 6%, transparent);--color-embedded-bg: color-mix(in oklch, var(--base-neutral-900) 3%, transparent);--shadow-sm: 0 1px 2px 0 color-mix(in oklch, var(--base-neutral-900) 20%, transparent);--shadow-md: 0 4px 6px -1px color-mix(in oklch, var(--base-neutral-900) 30%, transparent);--shadow-lg: 0 10px 15px -3px color-mix(in oklch, var(--base-neutral-900) 40%, transparent);--shadow-xl: 0 20px 25px -5px color-mix(in oklch, var(--base-neutral-900) 50%, transparent)}}.theme-primary{color:var(--color-primary)}.theme-bg-primary{background-color:var(--color-primary)}.theme-border-primary{border-color:var(--color-primary)}.mt-sm{margin-top:var(--space-sm)}.mt-lg{margin-top:var(--space-lg)}.text-center{text-align:center}.demo-controls{margin-top:var(--space-lg);text-align:center;padding:var(--space-md)}.demo-control-row{display:flex;justify-content:center;align-items:center;gap:var(--gap, var(--space-lg))}.demo-control-row[data-wrap=true]{flex-wrap:wrap}.demo-control-column{display:flex;flex-direction:column;align-items:center;gap:var(--space-sm)}.demo-control-group{border:var(--border-width-thin) solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-md);margin-bottom:var(--space-md)}.demo-control-group-header{margin-bottom:var(--space-sm);font-weight:600;font-size:var(--font-size-sm);text-align:center}.demo-control-group-header.demo-control-group-header--clickable{cursor:pointer;-webkit-user-select:none;-moz-user-select:none;user-select:none}.demo-control-group-content{display:flex;flex-direction:column;gap:var(--space-sm)}.demo-control-group-content.demo-control-group-content--row{flex-direction:row;gap:var(--space-md);align-items:center;justify-content:center}.demo-control-grid{display:grid;gap:var(--space-md);grid-template-columns:repeat(auto-fit,minmax(var(--width-grid-min-sm),1fr))}.demo-control-grid.demo-control-grid--2-cols{grid-template-columns:repeat(2,1fr)}.demo-control-grid.demo-control-grid--3-cols{grid-template-columns:repeat(3,1fr)}.demo-slider-container{display:flex;flex-direction:column;align-items:center;gap:var(--space-xs);margin-bottom:var(--space-sm)}.demo-label{text-align:center;font-size:var(--font-size-sm);color:var(--color-text);font-weight:500}.demo-input-container{display:inline-flex;align-items:center;gap:var(--space-sm)}.demo-text-input{width:var(--gap-2xl);padding:var(--space-xs);font-size:var(--font-size-sm);border:var(--border-width-thin) solid var(--color-border);background-color:var(--color-bg);color:var(--color-text);border-radius:var(--radius-sm)}.demo-text-input:focus{outline:var(--border-width-base) solid var(--color-primary);outline-offset:var(--outline-offset-sm)}.demo-select{padding:var(--space-xs) var(--space-sm);font-size:var(--font-size-sm);border:var(--border-width-thin) solid var(--color-border);background-color:var(--color-bg);color:var(--color-text);border-radius:var(--radius-sm);cursor:pointer}.demo-select:focus{outline:var(--border-width-base) solid var(--color-primary);outline-offset:var(--outline-offset-sm)}.demo-info{margin-top:var(--space-lg);text-align:center;color:var(--color-text)}.demo-info-display{display:inline-flex;align-items:center;gap:var(--space-xs);font-size:var(--font-size-sm);color:var(--color-text)}.demo-info-label{font-weight:500}.demo-instructions{margin-top:var(--space-lg);text-align:center;color:var(--color-text-secondary);font-size:var(--font-size-sm)}.demo-canvas-container{display:inline-block;position:relative;text-align:center}.demo-overlay{position:absolute;top:var(--space-xs);left:var(--space-sm);z-index:var(--z-dropdown)}@media (max-width: 768px){.demo-control-row{gap:var(--gap, var(--space-sm))}.demo-control-row[data-mobile-stack=true]{flex-direction:column}.demo-control-grid{grid-template-columns:1fr!important;gap:var(--space-sm)}.demo-control-group{padding:var(--space-sm);margin-bottom:var(--space-sm)}.demo-control-group-content--row{flex-direction:column;gap:var(--space-sm)}.demo-label{font-size:var(--font-size-xs)}.demo-instructions,.demo-controls{margin-top:var(--space-md);padding:var(--space-sm)}.demo-info,.mt-lg{margin-top:var(--space-md)}.mt-sm{margin-top:var(--space-xs)}.demo-slider-container{margin-bottom:var(--space-xs)}}.demo-viewer-page header{display:none!important}.demo-viewer-page main{margin-top:0!important;padding-top:0!important}.demo-viewer-page footer{margin-top:var(--space-xs)!important;margin-bottom:0!important;display:flex;align-items:center;justify-content:space-between;padding:var(--space-xs) var(--gap-base) 0 var(--gap-base)}.footer-nav-controls{display:flex;align-items:center;gap:var(--gap-sm);white-space:nowrap}.footer-demo-info{display:flex;align-items:center;white-space:nowrap;font-size:.9em}#footer-demo-title{font-weight:600;color:var(--footer-color)}.footer-copyright{font-size:.5em;color:var(--footer-color);opacity:.6}.footer-copyright p{margin:0;line-height:1}.viewer-container{max-width:var(--width-content-base);margin:0 auto;padding:var(--space-micro-2) var(--gap-base) var(--gap-xs) var(--gap-base)}.nav-button{background:var(--button-background);color:var(--button-text);border:var(--border-width-thin) solid var(--border-color);padding:var(--space-micro-1) var(--space-sm);border-radius:var(--radius-xs);cursor:pointer;font-size:.75em;transition:background .2s;white-space:nowrap;height:var(--size-nav-button);line-height:var(--line-height-nav-button);margin:0;font-family:inherit}.nav-button:hover:not(:disabled){background:var(--button-hover)}.nav-button:disabled{opacity:.5;cursor:not-allowed}.demo-counter{font-size:.75em;color:var(--text-secondary);text-align:center;white-space:nowrap;margin:0;line-height:var(--size-nav-button)}.demo-component{position:relative;margin:0;width:100%;box-sizing:border-box}.demo-component canvas{max-width:100%;height:auto;display:block;margin:0 auto}#demo-content{width:100%;box-sizing:border-box}.demo-loading{text-align:center;padding:var(--gap-2xl);color:var(--text-secondary)}.demo-error{text-align:center;padding:var(--gap-base);color:var(--color-error);background:var(--color-error-bg);border-radius:var(--radius-sm)}@media (prefers-color-scheme: dark){:root{--button-background: var(--color-button-bg);--button-hover: var(--color-button-hover);--button-text: var(--color-button-text);--card-background: var(--color-card-bg);--border-color: var(--color-border);--border-light: var(--color-border-light);--background-secondary: var(--color-bg-secondary);--text-secondary: var(--color-text-secondary);--error-background: var(--color-error-bg);--info-background: var(--color-info-bg)}}@media (prefers-color-scheme: light){:root{--button-background: var(--color-button-bg);--button-hover: var(--color-button-hover);--button-text: var(--color-button-text);--card-background: var(--color-card-bg);--border-color: var(--color-border);--border-light: var(--color-border-light);--background-secondary: var(--color-bg-secondary);--text-secondary: var(--color-text-secondary);--error-background: var(--color-error-bg);--info-background: var(--color-info-bg)}}@media (--phone-xs){.nav-button{font-size:.8em;padding:var(--space-micro-2) var(--space-sm)}.demo-counter{font-size:.8em}}@media (--phone){footer{flex-direction:column;gap:var(--space-xs);text-align:center;padding:var(--space-xs) var(--gap-xs) 0 var(--gap-xs);margin-bottom:0!important}.footer-copyright{width:100%;font-size:.45em}.footer-copyright p{margin:0;text-align:center;line-height:1.1}.footer-copyright .separator{display:none!important}.footer-copyright .copyright,.footer-copyright .version{display:block!important;width:100%;white-space:nowrap}.footer-copyright .copyright{margin-bottom:var(--space-3xs)}.footer-nav-controls{gap:var(--gap-xs)}.footer-demo-info{font-size:.85em}}.sections-container{margin-block:var(--space-lg)}.collapsible-section{margin-bottom:var(--space-md)}.section-header{background-color:var(--color-code-bg);padding:calc(var(--space-sm) + var(--space-xs)) var(--space-md);cursor:pointer;border:var(--border-width-thin) solid var(--color-border);border-radius:var(--radius-md);display:flex;align-items:center;justify-content:space-between;transition:background-color .2s}.section-header:hover{background-color:var(--color-border)}.section-header.active{background-color:var(--color-link);color:var(--color-white);border-bottom-left-radius:0;border-bottom-right-radius:0}.section-title{font-size:1.2rem;font-weight:600;margin:0}.toggle-icon{font-size:1.2rem;transition:transform .3s}.section-header.active .toggle-icon{transform:rotate(90deg)}.section-content{display:none;border:var(--border-width-thin) solid var(--color-border);border-top:none;border-bottom-left-radius:var(--radius-md);border-bottom-right-radius:var(--radius-md);padding:var(--space-md);background-color:var(--color-bg)}.section-content.show{display:block}.content-list{list-style:none;padding:0;margin:0}.content-item{padding:var(--space-sm) 0;border-bottom:var(--border-width-thin) solid var(--color-border)}.content-item:last-child{border-bottom:none}.content-link{color:var(--color-link);text-decoration:none;display:block;padding:var(--space-xs) var(--space-sm);margin:0 calc(-1 * var(--space-sm));border-radius:var(--radius-sm);transition:all var(--transition-fast);font-weight:500;position:relative}.content-link:before{content:"\2192";opacity:0;margin-right:var(--space-xs);transition:opacity var(--transition-fast);color:var(--color-link)}.content-link:hover{color:var(--color-link-hover);text-decoration:underline;background-color:var(--color-primary-hover);transform:translate(var(--space-xs))}.content-link:hover:before{opacity:1}.content-link:focus-visible{outline:var(--border-width-base) solid var(--color-link);outline-offset:var(--outline-offset-sm)}.subdirectory{margin-left:var(--space-lg);margin-top:var(--space-sm)}.subdir-header{font-weight:600;color:var(--color-text-secondary);margin:var(--space-sm) 0;font-size:1.1rem}.subdir-files{list-style:none;padding:0;margin-left:var(--space-md)}.index-help-text{color:var(--color-text-secondary);margin-bottom:var(--space-lg)}.meta-pages{margin-top:var(--space-xl);margin-bottom:var(--space-xl)}.meta-pages-list{list-style:none;padding:0;margin:0}.meta-pages-list li{margin-bottom:var(--space-sm);padding-left:var(--space-md);position:relative}.meta-pages-list li:before{content:"\2192";position:absolute;left:0;color:var(--color-text-secondary)}.meta-link{font-weight:600;text-decoration:none;color:var(--color-link);transition:color .2s ease}.meta-link:hover{color:var(--color-link-hover);text-decoration:underline}.subdirectory[data-level="1"]{margin-left:1.5rem}.subdirectory[data-level="2"]{margin-left:3rem}.subdirectory[data-level="3"]{margin-left:4.5rem}.subdirectory[data-level="4"]{margin-left:6rem}.section-list{list-style:none;padding:0}.section-list li{margin-bottom:var(--space-sm)}.section-list a{color:var(--color-link);text-decoration:none;font-size:var(--font-size-lg)}.section-list a:hover{text-decoration:underline}.file-list{list-style:none;padding:0}.file-list li{margin-bottom:var(--space-sm)}.definition-index-page .definition-index-container{max-width:var(--width-content-base);margin:0 auto;padding:var(--gap-base)}.definition-index-page h2{margin-bottom:var(--gap-base)}.definition-index-page .index-description{color:var(--text-secondary);margin-bottom:var(--gap-xl);font-size:var(--font-size-base)}.definition-index-page .definition-count{color:var(--text-secondary);font-size:var(--font-size-sm);margin-bottom:var(--gap-base);font-style:italic}.definition-index-page .definitions-list{display:flex;flex-direction:column;gap:var(--gap-base)}.definition-index-page .math-definition .math-block-type{display:none}.definition-index-page .math-definition .math-block-title{margin-left:0}.definition-index-page .no-definitions{text-align:center;color:var(--text-secondary);padding:var(--gap-2xl);font-style:italic}@media (prefers-color-scheme: dark){.definition-index-page{--card-background: var(--color-card-bg);--border-color: var(--color-border);--text-secondary: var(--color-text-secondary)}.definition-index-page .definition-entry:hover{box-shadow:0 2px 8px #ffffff0d}}@media (--phone){.definition-index-page .definition-link{flex-direction:column;gap:var(--gap-xs)}.definition-index-page .definition-location{font-size:var(--font-size-xs)}.definition-index-page .definition-entry{padding:var(--gap-sm)}}*,*:before,*:after{box-sizing:border-box}*{margin:0}html{font-size:var(--font-size-base);-webkit-text-size-adjust:100%}@media (prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}body{font-family:-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,Helvetica Neue,Arial,sans-serif;line-height:1.6;color:var(--color-text);background-color:var(--color-bg);min-height:100vh;text-rendering:optimizeLegibility;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;max-width:var(--width-content-base);margin:0 auto;padding:var(--gap-base);display:flex;flex-direction:column;overflow-x:hidden}.container{container-type:inline-size;width:min(100% - calc(var(--space-md) * 2),var(--width-content-base));margin-inline:auto;padding-block:var(--space-lg)}header{border-bottom:var(--border-width-thin) solid var(--color-border);margin-bottom:var(--space-md);padding-bottom:var(--space-md)}header h1{margin:0;font-size:var(--font-size-3xl);font-weight:400}header h1 a{color:var(--color-text);text-decoration:none}header h1 a:hover{text-decoration:underline}main{flex:1;padding:0;max-width:100%}main>*:first-child{margin-top:var(--space-sm)}h1,h2,h3,h4,h5,h6{color:var(--color-heading);margin-top:var(--space-md);margin-bottom:var(--space-sm)}h1{font-size:2em}h2{font-size:1.5em}h3{font-size:1.17em}h4{font-size:1em}h5{font-size:.83em}h6{font-size:.67em}p{text-wrap:pretty}p+p{margin-block-start:var(--space-md)}a{color:var(--color-link);text-decoration-thickness:var(--border-width-base);text-underline-offset:.1em;transition:color var(--transition-fast)}a:hover{text-decoration-thickness:var(--border-width-thick)}a:focus-visible{outline:var(--border-width-base) solid var(--color-link);outline-offset:var(--outline-offset-base);border-radius:var(--radius-sm)}blockquote{border-inline-start:var(--border-width-heavy) solid var(--color-border);margin:0;padding-inline-start:var(--space-md);color:var(--color-text-secondary);font-style:italic}img{max-width:100%;height:auto}@media (prefers-color-scheme: dark){img{opacity:.9}}article{margin:0;padding:0}article>h1:first-child{margin-top:0}.block-reference{color:var(--color-link);text-decoration:none;font-weight:500;transition:background-color .2s ease}.block-reference:hover,.block-reference:active{text-decoration:underline}.block-reference-error{color:var(--color-error);font-family:monospace;font-size:.9em}@media (prefers-color-scheme: dark){.block-reference-error{color:var(--color-error)}}pre{background-color:var(--color-code-bg);padding:var(--space-md);border-radius:var(--radius-md);overflow-x:auto;-moz-tab-size:2;-o-tab-size:2;tab-size:2}pre::-webkit-scrollbar{height:var(--size-scrollbar)}pre::-webkit-scrollbar-track{background:transparent}pre::-webkit-scrollbar-thumb{background-color:var(--color-border);border-radius:var(--radius-full)}pre::-webkit-scrollbar-thumb:hover{background-color:var(--color-text-secondary)}code{font-family:ui-monospace,Cascadia Code,Source Code Pro,Menlo,monospace;font-size:.9em;background-color:var(--color-code-bg);padding:var(--space-3xs) var(--space-xs);border-radius:var(--radius-sm)}pre code{background:none;padding:0}table{width:100%;border-collapse:collapse}table th,table td{padding:var(--space-sm);text-align:start;border-block-end:var(--border-width-thin) solid var(--color-border)}table th{font-weight:600;background-color:var(--color-code-bg)}table tbody tr{transition:background-color var(--transition-fast)}table tbody tr:hover{background-color:var(--color-code-bg)}input,textarea,select{font:inherit;color:inherit;background-color:var(--color-bg);border:var(--border-width-thin) solid var(--color-border);border-radius:var(--radius-md);padding:var(--space-sm)}input:focus-visible,textarea:focus-visible,select:focus-visible{outline:var(--border-width-base) solid var(--color-primary);outline-offset:0;border-color:transparent}.demo-component{container-type:inline-size;margin-block:var(--space-lg)}.demo-component canvas{max-width:100%;height:auto;display:block;margin-inline:auto;border:var(--border-width-base) dashed var(--color-text);border-radius:var(--radius-md)}@media (prefers-color-scheme: dark){.demo-component canvas{border-color:var(--color-text)}}@container (max-width: 600px){.demo-component .demo-controls{font-size:var(--font-size-sm)}}.math-block{margin-block:var(--space-lg);padding:var(--space-md);border-inline-start:var(--border-width-thick) solid;border-radius:0 var(--radius-md) var(--radius-md) 0;background-color:var(--color-code-bg);position:relative}.math-block.math-definition{border-color:var(--color-definition);background-color:color-mix(in oklch,var(--color-definition),transparent 95%)}.math-block.math-theorem{border-color:var(--color-theorem);background-color:color-mix(in oklch,var(--color-theorem),transparent 95%)}.math-block.math-lemma{border-color:var(--color-lemma);background-color:color-mix(in oklch,var(--color-lemma),transparent 95%)}.math-block.math-proposition{border-color:var(--color-proposition);background-color:color-mix(in oklch,var(--color-proposition),transparent 95%)}.math-block.math-corollary{border-color:var(--color-corollary);background-color:color-mix(in oklch,var(--color-corollary),transparent 96%)}.math-block.math-proof{border-color:var(--color-proof);background-color:color-mix(in oklch,var(--color-proof),transparent 95%)}.math-block.math-example{border-color:var(--color-example);background-color:color-mix(in oklch,var(--color-example),transparent 95%)}.math-block.math-remark,.math-block.math-note{border-color:var(--color-remark);background-color:color-mix(in oklch,var(--color-remark),transparent 96%)}.math-block.math-intuition{border-color:var(--color-intuition);background-color:color-mix(in oklch,var(--color-intuition),transparent 95%)}.math-block.math-exercise{border-color:var(--color-exercise);background-color:color-mix(in oklch,var(--color-exercise),transparent 94%)}.math-block.math-solution{border-color:var(--color-solution);background-color:color-mix(in oklch,var(--color-solution),transparent 96%);margin-inline-start:var(--space-xl)}.math-block .math-block{margin-inline-start:var(--space-sm);background-color:color-mix(in oklch,currentColor,transparent 98%)}.math-block-header{margin-bottom:var(--space-sm);font-weight:700;color:var(--color-heading)}.math-block-type{font-style:normal}.math-block-title{margin-left:var(--space-sm);font-weight:400;font-style:normal}.math-block-title a{color:inherit;text-decoration:none}.math-block-title a:hover{text-decoration:underline}.math-block-content{color:var(--color-text);line-height:var(--line-height-relaxed)}.math-block-nested{margin:var(--space-md) 0;margin-inline-start:.25rem;padding:calc(var(--space-sm) + var(--space-xs));padding-inline-start:var(--space-md);border-inline-start-width:var(--border-width-thick);background-color:var(--color-overlay-light);position:relative}.math-block-nested .math-block-content{line-height:1.7}.math-block-nested:last-child{margin-bottom:var(--space-sm)}.math-block-nested:before{content:"";position:absolute;left:-3px;top:-1rem;bottom:-1rem;width:3px;background-color:inherit;opacity:.3}@media (prefers-color-scheme: dark){.math-block-nested{background-color:var(--color-overlay-light)}}.math-block-nested.math-definition{background-color:var(--color-nested-definition)}.math-block-nested.math-theorem{background-color:var(--color-nested-theorem)}.math-block-nested.math-lemma{background-color:var(--color-nested-lemma)}.math-block-nested.math-proposition{background-color:var(--color-nested-proposition)}.math-block-nested.math-corollary{background-color:var(--color-nested-corollary)}.math-block-nested.math-proof{background-color:var(--color-nested-proof)}.math-block-nested.math-example{background-color:var(--color-nested-example)}@media (prefers-color-scheme: dark){.math-block-nested.math-definition{background-color:var(--color-nested-definition)}.math-block-nested.math-theorem{background-color:var(--color-nested-theorem)}.math-block-nested.math-lemma{background-color:var(--color-nested-lemma)}.math-block-nested.math-proposition{background-color:var(--color-nested-proposition)}.math-block-nested.math-corollary{background-color:var(--color-nested-corollary)}.math-block-nested.math-proof{background-color:var(--color-nested-proof)}.math-block-nested.math-example{background-color:var(--color-nested-example)}}.math-block-error{margin:var(--space-lg) 0;padding:var(--space-md);border:var(--border-width-base) solid var(--color-error-border);border-inline-start:var(--border-width-extra) solid var(--color-error-border);background-color:var(--color-error-bg);border-radius:var(--radius-md);color:var(--color-error-text-dark)}.math-block-error-header{margin-bottom:var(--space-sm);font-size:var(--font-size-lg)}.math-block-error-content{font-family:monospace;font-size:.9em;line-height:1.4}@media (prefers-color-scheme: dark){.math-block-error{background-color:var(--color-error-bg);color:var(--color-error-text-dark);border-color:var(--color-error-border)}}footer{margin-block-start:auto;padding-block:var(--space-xl);border-block-start:var(--border-width-thin) solid var(--color-border);text-align:center;font-size:var(--font-size-sm);color:var(--color-text-secondary)}footer a{color:inherit}footer a:hover{color:var(--color-link)}.math-content-toggle-container{position:sticky;top:var(--space-micro-5);z-index:var(--z-sticky);display:flex;justify-content:flex-end;margin:0;padding:0 var(--space-md);float:right;width:auto}.math-content-toggle{background-color:var(--color-bg);color:var(--color-text);border:var(--border-width-base) solid var(--color-border);border-radius:var(--radius-lg);padding:var(--space-sm) var(--space-md);font-size:var(--font-size-sm);cursor:pointer;transition:all var(--transition-base);box-shadow:var(--shadow-sm)}.math-content-toggle:hover{background-color:var(--color-link);color:var(--color-bg);border-color:var(--color-link);transform:translateY(-1px);box-shadow:var(--shadow-md)}.math-content-toggle:active{transform:translateY(0);box-shadow:var(--shadow-sm)}@media (prefers-color-scheme: dark){.math-content-toggle{box-shadow:var(--shadow-button)}.math-content-toggle:hover{box-shadow:var(--shadow-button-hover)}}.embedded-block{margin:var(--space-lg) 0;position:relative}.embedded-block .math-block{margin:0}.embedded-header{display:none}.embedded-source{margin-top:.75rem;font-size:.85em;color:var(--color-text-secondary);text-align:right}.embedded-source a{color:var(--color-link);text-decoration:none}.embedded-source a:hover{text-decoration:underline}.embed-error{color:var(--color-error);font-weight:700;background-color:var(--color-error-bg);padding:var(--space-micro-1) var(--space-micro-3);border-radius:var(--radius-sm)}@media (prefers-color-scheme: dark){.embed-error{background-color:var(--color-error-bg);color:var(--color-error-text-dark)}}.math-tooltip{position:absolute;z-index:10000;max-width:var(--size-tooltip-max);min-width:var(--size-tooltip-min);background:var(--color-tooltip-bg);border:var(--border-width-thin) solid var(--color-border);border-radius:var(--radius-lg);box-shadow:var(--shadow-md);padding:0;pointer-events:auto;opacity:0;transition:opacity .2s ease}.math-tooltip.visible{opacity:1}@media (prefers-color-scheme: dark){.math-tooltip{background:var(--color-tooltip-bg);box-shadow:var(--shadow-lg)}}.math-tooltip-content{padding:var(--space-micro-6) var(--space-md)}.math-tooltip-content .math-block-nested{display:none}.math-tooltip-content .math-block{margin:0;padding:0;border:none;background:none;border-radius:0}.math-tooltip-content .math-block-header{display:none}.math-tooltip-header{font-weight:600;margin-bottom:var(--space-sm);color:var(--color-text)}.math-tooltip-type{font-size:.85em;text-transform:uppercase;letter-spacing:.5px}.math-tooltip-body{color:var(--color-text-secondary)}.math-tooltip-body p{margin:0 0 var(--space-micro-4) 0}.math-tooltip-body p:last-child{margin-bottom:0}.math-tooltip-content.math-definition .math-tooltip-type{color:var(--color-type-definition)}.math-tooltip-content.math-theorem .math-tooltip-type{color:var(--color-type-theorem)}.math-tooltip-content.math-proposition .math-tooltip-type{color:var(--color-type-proposition)}.math-tooltip-content.math-lemma .math-tooltip-type{color:var(--color-type-lemma)}.math-tooltip-content.math-corollary .math-tooltip-type{color:var(--color-type-corollary)}.math-tooltip-content.math-example .math-tooltip-type{color:var(--color-type-example)}.math-tooltip-content.math-remark .math-tooltip-type,.math-tooltip-content.math-note .math-tooltip-type{color:var(--color-type-note)}@media (prefers-color-scheme: dark){.math-tooltip-content.math-definition .math-tooltip-type{color:var(--color-type-definition)}.math-tooltip-content.math-theorem .math-tooltip-type{color:var(--color-type-theorem)}.math-tooltip-content.math-proposition .math-tooltip-type{color:var(--color-type-proposition)}.math-tooltip-content.math-lemma .math-tooltip-type{color:var(--color-type-lemma)}.math-tooltip-content.math-corollary .math-tooltip-type{color:var(--color-type-corollary)}.math-tooltip-content.math-example .math-tooltip-type{color:var(--color-type-example)}.math-tooltip-content.math-remark .math-tooltip-type,.math-tooltip-content.math-note .math-tooltip-type{color:var(--color-type-note)}}.math-tooltip-footer{border-top:var(--border-width-thin) solid var(--color-border);padding:var(--space-sm) var(--space-md);background:var(--color-tooltip-footer-bg);border-bottom-left-radius:var(--radius-lg);border-bottom-right-radius:var(--radius-lg)}@media (prefers-color-scheme: dark){.math-tooltip-footer{background:var(--color-tooltip-footer-bg)}}.math-tooltip-link{font-size:.85em;color:var(--color-link);text-decoration:none}.math-tooltip-link:hover{text-decoration:underline}.math-tooltip-loading{padding:var(--space-md);display:flex;align-items:center;gap:var(--space-sm);color:var(--color-text-secondary)}.loading-spinner{display:inline-block;width:var(--size-spinner);height:var(--size-spinner);border:var(--border-width-base) solid var(--color-spinner-border);border-top-color:var(--color-primary);border-radius:50%;animation:spin .8s linear infinite}@keyframes spin{to{transform:rotate(360deg)}}@media (max-width: 768px){.math-tooltip{max-width:calc(100vw - var(--space-md));font-size:.85em}.math-tooltip-content{padding:var(--gap-xs) var(--space-micro-6)}.math-tooltip-footer{padding:var(--space-micro-3) var(--space-micro-6)}}@media (max-width: 768px){body{max-width:100%;padding:var(--gap-sm)}footer{padding:var(--space-md) var(--space-sm)}footer p{font-size:var(--font-size-sm);line-height:1.8;white-space:normal;text-align:center}footer .separator{display:none}footer .copyright,footer .version{display:block;width:100%;margin:var(--space-xs) 0}.demo-component{margin:var(--space-sm) 0;width:100%}.demo-component .demo-content{padding:0;width:100%}.demo-component canvas{width:100%!important;height:auto!important}mjx-container{font-size:120%!important}mjx-container[display=false]{font-size:inherit!important;vertical-align:baseline}mjx-container[display=true]{overflow-x:auto;overflow-y:hidden;max-width:100%;-webkit-overflow-scrolling:touch}mjx-container[display=true] mjx-math{padding:var(--space-sm) 0}.mjx-chtml{min-font-size:16px!important}mjx-container{vertical-align:middle!important}.demo-controls{padding:var(--space-sm)}.demo-slider-container{margin-bottom:calc(var(--space-sm) + var(--space-xs))!important}.demo-label{font-size:var(--font-size-sm);margin-bottom:var(--space-xs)!important}.demo-radio label{font-size:var(--font-size-sm);margin:0 .25rem}}.demo-loading{text-align:center;padding:var(--space-3xl);color:var(--color-text-secondary)}@media print{body{background:var(--color-white);color:var(--color-black)}.demo-component,footer{display:none}}
/*# sourceMappingURL=/static/dist/main-DRFB2TJV.css.map */