/*! tailwindcss v4.2.1 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){:root,:host{--shimmer-angle:20deg}*,:before,:after{--tw-border-style:solid;--tw-font-weight:initial;--tw-outline-style:solid;--tw-content:"";--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-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}::backdrop{--tw-border-style:solid;--tw-font-weight:initial;--tw-outline-style:solid;--tw-content:"";--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-animation-delay:0s;--tw-animation-direction:normal;--tw-animation-duration:initial;--tw-animation-fill-mode:none;--tw-animation-iteration-count:1;--tw-enter-blur:0;--tw-enter-opacity:1;--tw-enter-rotate:0;--tw-enter-scale:1;--tw-enter-translate-x:0;--tw-enter-translate-y:0;--tw-exit-blur:0;--tw-exit-opacity:1;--tw-exit-rotate:0;--tw-exit-scale:1;--tw-exit-translate-x:0;--tw-exit-translate-y:0;--scroll-fade-t:0px;--scroll-fade-b:0px;--scroll-fade-s:0px;--scroll-fade-e:0px;--scroll-fade-mask:initial;--shimmer-image:initial;--shimmer-text-fill:initial}}}@layer theme{:root,:host{--font-sans:ui-sans-serif, system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--font-mono:ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;--spacing:.25rem;--text-sm:.875rem;--text-sm--line-height:calc(1.25 / .875);--font-weight-medium:500;--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)}}@layer base{*,:after,:before{box-sizing:border-box;border:0 solid;margin:0;padding:0}::backdrop{box-sizing:border-box;border:0 solid;margin:0;padding:0}::file-selector-button{box-sizing:border-box;border:0 solid;margin:0;padding:0}html,: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{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;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;-webkit-text-decoration:inherit;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{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{font-size:80%}sub,sup{vertical-align:baseline;font-size:75%;line-height:0;position:relative}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{vertical-align:middle;display:block}img,video{max-width:100%;height:auto}button,input,select,optgroup,textarea{font:inherit;font-feature-settings:inherit;font-variation-settings:inherit;letter-spacing:inherit;color:inherit;opacity:1;background-color:#0000;border-radius:0}::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}:where(select:is([multiple],[size])) optgroup{font-weight:bolder}: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:currentColor}@supports (color:color-mix(in lab, red, red)){::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{padding-block:0}::-webkit-datetime-edit-year-field{padding-block:0}::-webkit-datetime-edit-month-field{padding-block:0}::-webkit-datetime-edit-day-field{padding-block:0}::-webkit-datetime-edit-hour-field{padding-block:0}::-webkit-datetime-edit-minute-field{padding-block:0}::-webkit-datetime-edit-second-field{padding-block:0}::-webkit-datetime-edit-millisecond-field{padding-block:0}::-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]){-webkit-appearance:button;appearance:button}::file-selector-button{-webkit-appearance:button;appearance:button}::-webkit-inner-spin-button{height:auto}::-webkit-outer-spin-button{height:auto}[hidden]:where(:not([hidden=until-found])){display:none!important}}@layer components;@layer utilities{.relative{position:relative}.contents{display:contents}.flex{display:flex}.inline-flex{display:inline-flex}.h-\[calc\(100\%-1px\)\]{height:calc(100% - 1px)}.w-fit{width:fit-content}.flex-1{flex:1}.items-center{align-items:center}.justify-center{justify-content:center}.gap-1{gap:calc(var(--spacing) * 1)}.gap-1\.5{gap:calc(var(--spacing) * 1.5)}.gap-2{gap:calc(var(--spacing) * 2)}.rounded-lg{border-radius:.5rem}.rounded-md{border-radius:.375rem}.border{border-style:var(--tw-border-style);border-width:1px}.border-transparent{border-color:#0000}.bg-muted{background-color:var(--muted)}.bg-transparent{background-color:#0000}.p-\[3px\]{padding:3px}.px-1\.5{padding-inline:calc(var(--spacing) * 1.5)}.py-0\.5{padding-block:calc(var(--spacing) * .5)}.text-sm{font-size:var(--text-sm);line-height:var(--tw-leading,var(--text-sm--line-height))}.font-medium{--tw-font-weight:var(--font-weight-medium);font-weight:var(--font-weight-medium)}.whitespace-nowrap{white-space:nowrap}.text-foreground\/60{color:var(--foreground)}@supports (color:color-mix(in lab, red, red)){.text-foreground\/60{color:color-mix(in oklab, var(--foreground) 60%, transparent)}}.text-muted-foreground{color:var(--muted-foreground)}.overline{text-decoration-line:overline}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.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))}.outline-none{--tw-outline-style:none;outline-style:none}.group-data-\[variant\=line\]\/tabs-list\:bg-transparent:is(:where(.group\/tabs-list)[data-variant=line] *){background-color:#0000}.group-data-horizontal\/tabs\:h-8:is(:where(.group\/tabs):where([data-orientation=horizontal]) *){height:calc(var(--spacing) * 8)}.group-data-vertical\/tabs\:h-fit:is(:where(.group\/tabs):where([data-orientation=vertical]) *){height:fit-content}.group-data-vertical\/tabs\:w-full:is(:where(.group\/tabs):where([data-orientation=vertical]) *){width:100%}.group-data-vertical\/tabs\:flex-col:is(:where(.group\/tabs):where([data-orientation=vertical]) *){flex-direction:column}.group-data-vertical\/tabs\:justify-start:is(:where(.group\/tabs):where([data-orientation=vertical]) *){justify-content:flex-start}.after\:absolute:after{content:var(--tw-content);position:absolute}.after\:bg-foreground:after{content:var(--tw-content);background-color:var(--foreground)}.after\:opacity-0:after{content:var(--tw-content);opacity:0}.after\:transition-opacity:after{content:var(--tw-content);transition-property:opacity;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.group-data-horizontal\/tabs\:after\:inset-x-0:is(:where(.group\/tabs):where([data-orientation=horizontal]) *):after{content:var(--tw-content);inset-inline:calc(var(--spacing) * 0)}.group-data-horizontal\/tabs\:after\:bottom-\[-5px\]:is(:where(.group\/tabs):where([data-orientation=horizontal]) *):after{content:var(--tw-content);bottom:-5px}.group-data-horizontal\/tabs\:after\:h-0\.5:is(:where(.group\/tabs):where([data-orientation=horizontal]) *):after{content:var(--tw-content);height:calc(var(--spacing) * .5)}.group-data-vertical\/tabs\:after\:inset-y-0:is(:where(.group\/tabs):where([data-orientation=vertical]) *):after{content:var(--tw-content);inset-block:calc(var(--spacing) * 0)}.group-data-vertical\/tabs\:after\:-right-1:is(:where(.group\/tabs):where([data-orientation=vertical]) *):after{content:var(--tw-content);right:calc(var(--spacing) * -1)}.group-data-vertical\/tabs\:after\:w-0\.5:is(:where(.group\/tabs):where([data-orientation=vertical]) *):after{content:var(--tw-content);width:calc(var(--spacing) * .5)}@media (hover:hover){.hover\:text-foreground:hover{color:var(--foreground)}}.focus-visible\:border-ring:focus-visible{border-color:var(--ring)}.focus-visible\:ring-\[3px\]:focus-visible{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(3px + 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)}.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:var(--ring)}@supports (color:color-mix(in lab, red, red)){.focus-visible\:ring-ring\/50:focus-visible{--tw-ring-color:color-mix(in oklab, var(--ring) 50%, transparent)}}.focus-visible\:outline-1:focus-visible{outline-style:var(--tw-outline-style);outline-width:1px}.focus-visible\:outline-ring:focus-visible{outline-color:var(--ring)}.disabled\:pointer-events-none:disabled{pointer-events:none}.disabled\:opacity-50:disabled{opacity:.5}.has-data-\[icon\=inline-end\]\:pr-1:has([data-icon=inline-end]){padding-right:calc(var(--spacing) * 1)}.has-data-\[icon\=inline-start\]\:pl-1:has([data-icon=inline-start]){padding-left:calc(var(--spacing) * 1)}.aria-disabled\:pointer-events-none[aria-disabled=true]{pointer-events:none}.aria-disabled\:opacity-50[aria-disabled=true]{opacity:.5}.data-\[variant\=line\]\:rounded-none[data-variant=line]{border-radius:0}.dark\:text-muted-foreground:is(.dark *){color:var(--muted-foreground)}@media (hover:hover){.dark\:hover\:text-foreground:is(.dark *):hover{color:var(--foreground)}}.data-active\:bg-background:where([data-state=active]),.data-active\:bg-background:where([data-active]:not([data-active=false])){background-color:var(--background)}.data-active\:text-foreground:where([data-state=active]),.data-active\:text-foreground:where([data-active]:not([data-active=false])){color:var(--foreground)}.group-data-\[variant\=default\]\/tabs-list\:data-active\:shadow-sm:is(:where(.group\/tabs-list)[data-variant=default] *):where([data-state=active]),.group-data-\[variant\=default\]\/tabs-list\:data-active\:shadow-sm:is(:where(.group\/tabs-list)[data-variant=default] *):where([data-active]:not([data-active=false])){--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)}.group-data-\[variant\=line\]\/tabs-list\:data-active\:bg-transparent:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-state=active]),.group-data-\[variant\=line\]\/tabs-list\:data-active\:bg-transparent:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-active]:not([data-active=false])){background-color:#0000}.group-data-\[variant\=line\]\/tabs-list\:data-active\:shadow-none:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-state=active]),.group-data-\[variant\=line\]\/tabs-list\:data-active\:shadow-none:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-active]:not([data-active=false])){--tw-shadow:0 0 #0000;box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}:is(.group-data-\[variant\=line\]\/tabs-list\:data-active\:after\:opacity-100:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-state=active]),.group-data-\[variant\=line\]\/tabs-list\:data-active\:after\:opacity-100:is(:where(.group\/tabs-list)[data-variant=line] *):where([data-active]:not([data-active=false]))):after{content:var(--tw-content);opacity:1}.dark\:data-active\:border-input:is(.dark *):where([data-state=active]),.dark\:data-active\:border-input:is(.dark *):where([data-active]:not([data-active=false])){border-color:var(--border)}.dark\:data-active\:bg-input\/30:is(.dark *):where([data-state=active]),.dark\:data-active\:bg-input\/30:is(.dark *):where([data-active]:not([data-active=false])){background-color:var(--border)}@supports (color:color-mix(in lab, red, red)){.dark\:data-active\:bg-input\/30:is(.dark *):where([data-state=active]),.dark\:data-active\:bg-input\/30:is(.dark *):where([data-active]:not([data-active=false])){background-color:color-mix(in oklab, var(--border) 30%, transparent)}}.dark\:data-active\:text-foreground:is(.dark *):where([data-state=active]),.dark\:data-active\:text-foreground:is(.dark *):where([data-active]:not([data-active=false])){color:var(--foreground)}.dark\:group-data-\[variant\=line\]\/tabs-list\:data-active\:border-transparent:is(.dark *):is(:where(.group\/tabs-list)[data-variant=line] *):where([data-state=active]),.dark\:group-data-\[variant\=line\]\/tabs-list\:data-active\:border-transparent:is(.dark *):is(:where(.group\/tabs-list)[data-variant=line] *):where([data-active]:not([data-active=false])){border-color:#0000}.dark\:group-data-\[variant\=line\]\/tabs-list\:data-active\:bg-transparent:is(.dark *):is(:where(.group\/tabs-list)[data-variant=line] *):where([data-state=active]),.dark\:group-data-\[variant\=line\]\/tabs-list\:data-active\:bg-transparent:is(.dark *):is(:where(.group\/tabs-list)[data-variant=line] *):where([data-active]:not([data-active=false])){background-color:#0000}.data-horizontal\:flex-col:where([data-orientation=horizontal]){flex-direction:column}.\[\&_svg\]\:pointer-events-none svg{pointer-events:none}.\[\&_svg\]\:shrink-0 svg{flex-shrink:0}.\[\&_svg\:not\(\[class\*\=\'size-\'\]\)\]\:size-4 svg:not([class*=size-]){width:calc(var(--spacing) * 4);height:calc(var(--spacing) * 4)}}@property --tw-animation-delay{syntax:"*";inherits:false;initial-value:0s}@property --tw-animation-direction{syntax:"*";inherits:false;initial-value:normal}@property --tw-animation-duration{syntax:"*";inherits:false}@property --tw-animation-fill-mode{syntax:"*";inherits:false;initial-value:none}@property --tw-animation-iteration-count{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-enter-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-enter-translate-y{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-blur{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-opacity{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-rotate{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-scale{syntax:"*";inherits:false;initial-value:1}@property --tw-exit-translate-x{syntax:"*";inherits:false;initial-value:0}@property --tw-exit-translate-y{syntax:"*";inherits:false;initial-value:0}@property --scroll-fade-t{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-b{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-s{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-e{syntax:"<length-percentage>";inherits:false;initial-value:0}@property --scroll-fade-mask{syntax:"*";inherits:false}@property --shimmer-angle{syntax:"<angle>";inherits:true;initial-value:20deg}@property --shimmer-image{syntax:"*";inherits:false}@property --shimmer-text-fill{syntax:"*";inherits:false}@media (prefers-reduced-motion:reduce){.shimmer{-webkit-text-fill-color:currentColor;background-image:none;animation:none}}:root{--background:#fff;--foreground:#182830;--primary:#185969;--primary-foreground:#fff;--muted:#f0f5f6;--muted-foreground:#526772;--accent:#e8f1f3;--border:#d6e0e4;--ring:#367d90;--paper-font:Georgia,"Times New Roman",serif}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:5rem}body{color:var(--foreground);background:var(--background);margin:0;font-family:Arial,Helvetica,sans-serif;font-size:16px;line-height:1.65}a{color:var(--primary);text-underline-offset:4px}button,summary{cursor:pointer}button,input{font:inherit}:is(button:focus-visible,a:focus-visible,summary:focus-visible){outline:2px solid var(--ring);outline-offset:4px}button{touch-action:manipulation}p{margin:0 0 1rem}pre{white-space:pre-wrap;overflow-wrap:anywhere;background:#f1f4f5;border-radius:.4rem;padding:1rem;font-size:.875rem;line-height:1.65}code{font-family:ui-monospace,SFMono-Regular,Consolas,monospace}strong{font-weight:600}.reader-header{border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;gap:1rem;padding:1.2rem 4vw;display:flex}.wordmark{color:var(--foreground);font-weight:600;text-decoration:none}.wordmark span{color:var(--muted-foreground);font-weight:400}.edition{color:var(--muted-foreground);font-size:.875rem}.paper{max-width:850px;font-family:var(--paper-font);margin:auto;padding:3rem 2rem;font-size:1.125rem;line-height:1.8}.paper-title{padding-bottom:2.5rem}.paper-title h1{letter-spacing:-.02em;margin:.7rem 0 1.3rem;font-size:clamp(1.7rem,3.6vw,2.6rem);font-weight:500;line-height:1.24}.overline{color:var(--muted-foreground);letter-spacing:.05em;text-transform:uppercase;margin:0 0 .6rem;font-family:Arial,Helvetica,sans-serif;font-size:.8125rem}.chapter-list{flex-wrap:wrap;max-width:100%;margin-bottom:1rem;font-family:Arial,Helvetica,sans-serif;height:auto!important}.chapter-list button{min-height:44px;padding:.65rem .7rem;font-size:.9rem}.paper h2{margin:1.5rem 0 1.2rem;font-size:1.5rem;font-weight:500;line-height:1.4}.paper [data-slot=tabs-content]{font-size:inherit;line-height:inherit}.paper-paragraph{margin-bottom:1rem}.paper-paragraph>summary{padding-left:1.4rem;list-style:none;position:relative}.paper-paragraph>summary::-webkit-details-marker{display:none}.paper-paragraph>summary:before{content:"+";color:var(--primary);font-family:Arial,Helvetica,sans-serif;position:absolute;left:0}.paper-paragraph[open]>summary:before{content:"−"}.paper-paragraph>summary:hover{color:var(--primary)}.explanation{background:var(--muted);border-left:2px solid var(--primary);margin:1rem 0 1.5rem 1.4rem;padding:1.2rem 1.4rem;font-family:Arial,Helvetica,sans-serif;font-size:1rem;line-height:1.7}.explanation .explanation{border-color:var(--border);background:0 0;margin:.4rem 0 .8rem .2rem;padding:.7rem 0 .1rem 1rem}.claim>summary,.source-link>summary{color:var(--primary);text-underline-offset:4px;min-height:44px;padding:.45rem 0;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.source-group{padding-top:1rem}.source-link{overflow-wrap:anywhere;font-size:.9rem}.display-math{max-width:100%;margin:1.1rem 0;display:block;overflow-x:auto}.katex{font-size:1.04em}.katex-display{margin:0!important}.qed{float:right}.reader-footer{max-width:850px;color:var(--muted-foreground);border-top:1px solid var(--border);margin:auto;padding:1rem 2rem 3rem;font-size:.875rem}@media (max-width:620px){.reader-header{flex-direction:column;align-items:flex-start;gap:.3rem;padding:1rem}.paper{padding:1.8rem 1rem;font-size:1.0625rem}.paper-title{padding-bottom:1rem}.explanation{margin-left:.4rem;padding:1rem}.paper-paragraph>summary{padding-left:1.15rem}.chapter-list{gap:.3rem}.reader-footer{padding:1rem}.display-math{font-size:.95em}}.skip-link{z-index:99;background:#fff;padding:.7rem;position:absolute;top:1rem;left:-9999px}.skip-link:focus{left:1rem}.reader-header{z-index:10;background:#fffffff7;position:sticky;top:0}.header-actions{align-items:center;gap:1.25rem;font-size:.9rem;display:flex}.header-actions button{min-height:44px;color:var(--primary)}.header-actions a{text-decoration:none}.paper-title .author{font-size:1.2rem}.reader-intro{color:var(--muted-foreground);margin-top:1.8rem;font-family:Arial,Helvetica,sans-serif;font-size:1rem;line-height:1.65}.edition-links{flex-wrap:wrap;gap:.5rem 1.4rem;font-family:Arial,Helvetica,sans-serif;font-size:.875rem;display:flex}.contents{border-block:1px solid var(--border);margin-bottom:2rem;padding:1rem 0;font-family:Arial,Helvetica,sans-serif;font-size:.9375rem}.contents summary{min-height:32px}.contents nav{flex-direction:column;margin-top:.8rem;display:flex}.contents nav a{gap:1rem;padding:.4rem;text-decoration:none;display:flex}.contents nav a:hover{text-decoration:underline}.contents nav span{min-width:1rem}.abstract{margin-bottom:2.5rem;font-size:1.05rem}.abstract h2{font-size:1.2rem}.paper>section{scroll-margin-top:5.5rem}.paper>section+section{margin-top:2.5rem}.paper h2 .section-number{color:var(--muted-foreground)}.paper .theorem>summary,.paper .lemma>summary,.paper .proposition>summary,.paper .corollary>summary{font-style:italic}.paper .theorem strong,.paper .lemma strong,.paper .proposition strong,.paper .corollary strong{font-style:normal}.paper-reference{white-space:nowrap}.publication-pending{overflow-wrap:anywhere;font-family:ui-monospace,monospace;font-size:.875em}.small-caps{font-variant:small-caps}blockquote{margin:1rem 0;padding-left:1.2rem}.explanation-text{margin-bottom:.75rem}.formal-link-row{overflow-wrap:anywhere;padding:.45rem 0;line-height:1.55}.formal-link-row>span{color:var(--muted-foreground);text-transform:uppercase;letter-spacing:.025em;font-size:.8125rem;display:block}.declaration-link{overflow-wrap:anywhere;text-decoration:underline;text-decoration-thickness:1px}.references{font-size:1rem}.references ol{padding-left:1.8rem;list-style:decimal}.references li{margin-bottom:1rem;padding-left:.5rem}.source-hash{overflow-wrap:anywhere;font-size:.75rem}.reader-footer{line-height:1.7}.reading-mode .paper-paragraph>summary{pointer-events:none;padding-left:0}.reading-mode .paper-paragraph>summary a{pointer-events:auto}.reading-mode .paper-paragraph>summary:before,.reading-mode .paper-paragraph>.explanation{display:none}.with-proof .paper-column{width:52%}.with-proof .paper{padding:2.5rem 2rem;font-size:1.0625rem}.with-proof .paper-title h1{font-size:1.95rem}.proof-panel,.library-panel{border-left:1px solid var(--border);z-index:20;background:#fff;flex-direction:column;width:48%;font-family:Arial,Helvetica,sans-serif;font-size:1rem;line-height:1.65;display:flex;position:fixed;top:83px;bottom:0;right:0;box-shadow:-8px 0 24px #162d3607}.proof-toolbar{background:var(--muted);border-bottom:1px solid var(--border);justify-content:space-between;align-items:center;gap:1rem;padding:.6rem 1.4rem;font-size:.875rem;display:flex}.proof-toolbar button{min-height:40px;color:var(--primary)}button:disabled{opacity:.4;cursor:default}.proof-scroll{overscroll-behavior:contain;padding:1.8rem 1.6rem 4rem;overflow:auto}.proof-scroll h2{overflow-wrap:anywhere;margin-bottom:1rem;font-size:1.3rem;font-weight:600;line-height:1.4}.proof-scroll h3{margin:1.3rem 0 .7rem;font-size:1.1rem;font-weight:600}.proof-scroll h4{margin:1rem 0 .5rem;font-size:.9rem;font-weight:600}.proof-scroll summary{min-height:40px;padding:.5rem 0}.proof-scroll p{font-size:.9375rem}.proof-meta{flex-wrap:wrap;gap:1rem;margin-bottom:1.5rem;font-size:.875rem;display:flex}.proof-meta button{color:var(--primary);text-underline-offset:4px;text-decoration:underline}.meta{color:var(--muted-foreground);overflow-wrap:anywhere;font-size:.8125rem!important}.formal-type{border-block:1px solid var(--border);margin:1rem 0}.formal-type pre{margin:.5rem 0 1rem;font-size:.875rem}.axiom-list{margin:1rem 0}.proof-tabs>[data-slot=tabs-list]{flex-wrap:wrap;max-width:100%;height:auto;margin:1rem 0}.proof-tabs [data-slot=tabs-trigger]{min-height:44px;padding:.65rem .7rem;font-size:.875rem}.proof-tabs [data-slot=tabs-content]{min-width:0;font-size:1rem;line-height:1.65}.lean-source{white-space:pre;tab-size:2;background:#f5f7f8;font-size:.8125rem;line-height:1.8;overflow:auto}.source-line{display:inline}.line-number{color:#71838c;-webkit-user-select:none;user-select:none;min-width:3.3em;padding-right:1em;display:inline-block}.step-card{border-top:1px solid var(--border);margin:.4rem 0}.step-card>summary{overflow-wrap:anywhere;font-size:.875rem}.step-card .line-label{color:var(--muted-foreground);font-size:.75rem;display:block}.step-body{border-left:2px solid var(--border);margin-bottom:.7rem;padding:.5rem .2rem .6rem .85rem}.step-body pre{padding:.85rem;font-size:.8125rem}.nested-steps{margin:.5rem 0}.no-goals{color:#28533d;background:#eaf4ef;padding:.65rem .8rem;font-size:.875rem!important}.expression{border-left:2px solid var(--border);margin:.6rem 0;padding-left:.8rem}.expression>summary{overflow-wrap:anywhere;list-style:none}.expression>summary:before{content:"+ ";color:var(--primary)}.expression[open]>summary:before{content:"− "}.expression-label{color:var(--muted-foreground);font-size:.8125rem;display:block}.expression>summary>code{font-size:.8125rem}.expression-body{padding:.4rem 0}.expression-body p{font-size:.875rem}.raw-node summary{color:var(--muted-foreground);font-size:.8125rem}.foundation-note{background:#faf6eb;border-left:2px solid #ab7e32;margin:1rem 0;padding:.2rem 1rem 1rem}.external-input{background:#faf6eb;border-color:#ab7e32}.dependency-list{font-size:.875rem;line-height:1.6}.dependency-list>div{border-bottom:1px solid var(--border);padding:.5rem 0}.proof-scroll input,.proof-scroll select{border:1px solid var(--border);background:#fff;border-radius:.3rem;width:100%;min-height:44px;margin-bottom:.8rem;padding:.6rem .7rem;font-size:.9375rem}.proof-scroll select{font-family:inherit}.library-entry{border-bottom:1px solid var(--border);padding:.75rem 0;font-size:.875rem}.library-entry span{color:var(--muted-foreground);margin-top:.2rem;font-size:.8125rem;display:block}.version-note{background:#faf6eb;border-left:2px solid #ab7e32;padding:.8rem 1rem}.library-panel{width:min(750px,90vw)}@media (min-width:1600px){.with-proof .paper{max-width:850px}.proof-scroll{padding-inline:2.5rem}}@media (max-width:1000px){.proof-panel,.library-panel{z-index:30;width:94%;top:0;box-shadow:-16px 0 40px #162d3630}.with-proof .paper-column{width:100%}.proof-toolbar{padding:.7rem 1rem}.proof-scroll{padding:1.4rem 1.2rem 3rem}}@media (max-width:620px){.header-actions{gap:1rem}.reader-header{position:relative}.edition-links{gap:.7rem 1rem}.proof-panel,.library-panel{width:100%}.proof-scroll{padding:1.2rem 1rem 3rem}.proof-tabs [data-slot=tabs-trigger]{padding:.6rem .4rem}.paper>section+section{margin-top:2rem}.with-proof .paper{padding:1.8rem 1rem}.paper-paragraph:target{background:#f7f3df}.reader-intro br{display:none}}@media print{.reader-header,.reader-intro,.edition-links,.contents,.reader-footer,.proof-panel,.library-panel,.explanation{display:none!important}.paper-column{width:100%!important}.paper{max-width:none;padding:0!important;font-size:11pt!important}.paper-paragraph>summary{padding-left:0!important}.paper-paragraph>summary:before{display:none}.paper-title h1{font-size:20pt!important}a{color:inherit;text-decoration:none}details{break-inside:avoid}.paper h2{break-after:avoid;font-size:14pt}.display-math{overflow:visible}}.lean-source,.step-body pre,.expression>summary>code{font-size:.875rem}.lean-source .declaration-link{text-underline-offset:3px;text-decoration-style:dotted}.lean-source .declaration-link:hover{background:#dfedef}.paper-title-link{color:inherit;text-decoration:none}.paper-title-link:hover{text-underline-offset:6px;-webkit-text-decoration:underline dotted;text-decoration:underline dotted;text-decoration-thickness:1px}.authors-note{margin:0 0 1.5rem;scroll-margin-top:6rem}.authors-note>summary{color:var(--primary);text-underline-offset:4px;min-height:44px;padding:.4rem 0;font-family:Arial,Helvetica,sans-serif;font-size:.9375rem;-webkit-text-decoration:underline dotted;text-decoration:underline dotted}.authors-note-text{border-left:2px solid var(--primary);margin:1rem 0 1.5rem;padding:.3rem 0 .3rem 1.5rem;font-size:1.0625rem;line-height:1.85}.authors-note-text .overline{margin-bottom:1.2rem}.authors-note-text .history-sources{color:var(--muted-foreground);margin:1.5rem 0 0;font-family:Arial,Helvetica,sans-serif;font-size:.875rem;line-height:1.65}.history-math{white-space:nowrap}@media (max-width:620px){.authors-note{scroll-margin-top:1rem}.authors-note-text{padding-left:1rem}}@media print{.authors-note{display:none!important}}.resource-error{border:1px solid var(--border);border-radius:.5rem;margin:1rem 0;padding:1rem}.resource-error p{margin:0 0 .75rem}.resource-error button{font:inherit;cursor:pointer;border:1px solid;border-radius:.3rem;padding:.4rem .8rem}.resource-error a{margin:.5rem 0 .5rem 1rem;display:inline-block}.resource-error button:focus-visible{outline-offset:3px;outline:2px solid}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-font-weight{syntax:"*";inherits:false}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-content{syntax:"*";inherits:false;initial-value:""}@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}