@font-face{font-family:"Libertinus Serif";src:url("/_assets/758bf734961f8be69dbe.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:"Libertinus Serif";src:url("/_assets/5655de96ddb5a99dae79.woff2") format("woff2");font-style:italic;font-weight:400;font-display:swap}@font-face{font-family:"Libertinus Serif";src:url("/_assets/c0d5eb8f5bfb5ce48637.woff2") format("woff2");font-style:normal;font-weight:600;font-display:swap}@font-face{font-family:"Libertinus Serif";src:url("/_assets/5e1a1938db8b8756d745.woff2") format("woff2");font-style:italic;font-weight:600;font-display:swap}@font-face{font-family:"Libertinus Serif";src:url("/_assets/6351a2915edbabb1753c.woff2") format("woff2");font-style:normal;font-weight:700;font-display:swap}@font-face{font-family:"Libertinus Serif";src:url("/_assets/81b2ce8b57c19415f45a.woff2") format("woff2");font-style:italic;font-weight:700;font-display:swap}@font-face{font-family:"Manufacturing Consent";src:url("/_assets/cf4838eaa4c3d67df25e.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:"Inria Sans";src:url("/_assets/6d6f5c9dfd88ed172e26.woff2") format("woff2");font-style:normal;font-weight:400;font-display:swap}
:root{color-scheme:light dark;--content-gap:15px;--radius:3px;--article-max-width:56rem;--page-gutter:clamp(0.75rem,3vw,2rem);--bar-height:3.6rem;--article-font-size:clamp(1rem,calc(0.96rem + 0.2vw),1.08rem);--page-title-size:clamp(calc(1.5 * var(--article-font-size)),3vw,calc(1.8 * var(--article-font-size)));--text-font-family:"Libertinus Serif","Noto Serif SC","Noto Serif CJK SC","Source Han Serif SC","Songti SC","SimSun",serif;--ui-font-family:"Inria Sans","Noto Sans SC","Noto Sans CJK SC",sans-serif;--code-font-family:"Iosevka","JetBrains Mono","SFMono-Regular",Consolas,monospace;--text-color:#292925;--background-color:#fdfcf9;--background-color-pre:rgba(60,60,50,0.04);--background-color-code:rgba(60,60,50,0.045);--rule-color:rgba(60,60,50,0.16);--hover-bar-color:rgba(60,60,50,0.2);--hover-color-link:rgba(60,85,115,0.07);--target-color:#526b8e;--link-color:#292925;--slug-color:#75756e;--logo-color:#63635d;--logo-hover-color:#292925;--span-taxon-color:#575750;--article-taxon-color:#75756e;--mark-color:#f2e8b7;--auto-filter:none}@media (prefers-color-scheme:dark){:root{--text-color:#e0dfd8;--background-color:#242523;--background-color-pre:rgba(200,200,180,0.055);--background-color-code:rgba(200,200,180,0.07);--rule-color:rgba(220,220,200,0.17);--hover-bar-color:rgba(220,220,200,0.24);--hover-color-link:rgba(150,175,200,0.12);--target-color:#a8bfdc;--link-color:#e0dfd8;--slug-color:#aaa99f;--logo-color:#aaa99f;--logo-hover-color:#e0dfd8;--span-taxon-color:#c1c0b7;--article-taxon-color:#aaa99f;--mark-color:#655b2b;--auto-filter:invert(100%)}}html{font-size:18px}body{box-sizing:border-box;width:calc(100% - 2 * var(--page-gutter));max-width:var(--article-max-width);margin:calc(var(--bar-height) + clamp(1rem,3vw,2.25rem)) auto 4rem;background-color:var(--background-color);color:var(--text-color);font-family:var(--text-font-family);font-optical-sizing:auto;line-height:1.82;hyphens:manual;overflow-wrap:anywhere;word-break:normal;-webkit-text-size-adjust:100%}#grid-wrapper>article{min-width:0;max-width:100%;font-size:var(--article-font-size)}p{margin:0 0 1em;text-wrap:pretty}h1,h2,h3,h4,h5,h6{margin:1.5em 0 0.55em;font-family:var(--text-font-family);font-weight:600;line-height:1.45;text-wrap:balance}h1{font-size:1.7em}h2{font-size:1.35em}h3{font-size:1.18em}h4,h5,h6{font-size:1em}pre,code{font-family:var(--code-font-family);font-optical-sizing:auto;hyphens:none}article code{font-size:0.82em}article pre{box-sizing:border-box;max-width:100%;margin:0 0 1em;padding:0.8em 1em;border:1px solid var(--rule-color);border-radius:var(--radius);background-color:var(--background-color-pre);font-size:0.82em;line-height:1.65;white-space:pre;overflow-x:auto;overflow-wrap:normal;tab-size:4}article pre code{font-size:inherit}article span:has(>math:not([display="block"])){display:inline-block;max-width:100%;overflow-x:auto;vertical-align:baseline}@supports (baseline-source:first){article span:has(>math:not([display="block"])){baseline-source:first;overflow-y:hidden;padding-block:0.3em;margin-block:-0.3em}}article .auto-sized-svg:not(.math-visual *,.formal-figure *){max-width:100%;overflow-x:auto}article .auto-filter:has(>.auto-sized-svg):not(.math-visual *,.formal-figure *){max-width:100%}article .svg-fit .auto-sized-svg{overflow:visible}article .svg-fit .auto-sized-svg>svg{max-width:100%;height:auto!important}.formal-figure{max-width:100%;margin:1.4em 0;overflow-x:auto;text-align:center}.formal-figure :is(.auto-filter,.auto-sized-svg){max-width:100%}.formal-figure svg[viewBox]{max-width:100%;height:auto!important}article math[display="block"]{margin:1em 0;max-width:100%;overflow-x:auto;overflow-y:hidden}ul,ol{margin:0}article ul,article ol{margin-bottom:1em;padding-inline-start:1.5em}article li + li{margin-top:0.3em}article li>ul,article li>ol{margin-top:0.3em;margin-bottom:0}table{display:block;max-width:100%;margin:1em 0 1.4em;border-collapse:collapse;overflow-x:auto;text-align:left;line-height:1.65}th,td{padding:0.4em 0.8em;border-bottom:1px solid var(--rule-color);vertical-align:top}th{font-weight:600}thead{border-top:1px solid var(--text-color);border-bottom:1px solid var(--text-color)}.auto-filter svg{filter:var(--auto-filter)}.footnote-definition{font-size:0.88em;line-height:1.65}.footnote-definition:last-child{margin-bottom:1em}.footnote-definition>p{display:inline}.footnote-definition-label{margin-right:0.3em}.footnote-reference:target,.footnote-definition:target>.footnote-definition-label{outline:1px solid var(--target-color)}.svg-footnote-reference:target .target-highlight{stroke:var(--target-color);stroke-width:1}.display-none{display:none}blockquote{margin:1.2em 0 1.2em 0.8em;padding:0.1em 0 0.1em 1em;border-left:2px solid var(--rule-color);color:var(--text-color);font-size:0.96em;font-style:normal;unicode-bidi:isolate}blockquote>p:last-child{margin-bottom:0}details>summary{position:relative;margin-bottom:0.45em;outline:none;list-style:none;line-height:1.55;cursor:pointer}details>summary:focus-visible{outline:2px solid var(--target-color);outline-offset:3px;border-radius:var(--radius)}details>summary>header{display:inline}details>summary::marker,details>summary::-webkit-details-marker{display:none}details h1{display:inline;font-size:1.15em}.section-heading{font-size:1.12em;font-weight:600}.section-description{margin:0.55em 0 1.2em;color:var(--slug-color);font-family:var(--text-font-family);font-size:0.92em;font-weight:400;line-height:1.75;text-wrap:pretty}.section-description:empty{display:none}article .embed>details>summary>.section-description{margin:0.55em 0 0.15em;font-size:0.85em}.heading-numbering:not(:empty){font-variant-numeric:lining-nums tabular-nums;white-space:nowrap}.heading-numbering:not(:empty)::after{content:"."}.heading-numbering:empty{position:absolute;width:0;height:0;overflow:hidden;pointer-events:none}span.taxon{color:var(--span-taxon-color);font-weight:600}.taxon[data-taxon=""]{display:none}header .metadata{display:none}header[show-metadata="true"] .metadata{display:block}.page-root>details>summary>.top-header{display:block;margin-bottom:1.15em;padding-bottom:0.7em;border-bottom:1px solid var(--rule-color)}.top-header>h1{font-size:var(--page-title-size)}.top-header>h1>.taxon{color:var(--article-taxon-color)}section.block>details{margin-bottom:0.45em}section.block>details[open]{margin-bottom:1.1em}.link-list>section.block>details{margin-bottom:0.3em}.block{box-sizing:border-box;width:100%;padding:0 0.35em 0.1em 0.65em;border-left:2px solid transparent;transition:border-color 0.15s ease;min-width:0}.page-root{padding:0;border-left:0}@media (hover:hover){.block:hover:not(.page-root,:has(.block:hover)){border-left-color:var(--hover-bar-color)}}img{object-fit:cover;max-width:100%;height:auto}article :is(img,picture,video,canvas,iframe,object,embed){box-sizing:border-box;max-width:100%}article :is(img,video,canvas){height:auto}article svg:not(.auto-sized-svg *,.math-inline *,.math-block *,.formal-figure *,.math-visual *){max-width:100%}article svg[viewBox]:not(.auto-sized-svg *,.math-inline *,.math-block *,.formal-figure *,.math-visual *){height:auto}figure{max-width:100%;margin:1.4em 0;overflow-x:auto;text-align:center}figcaption{padding:0.4em 0;color:var(--slug-color);font-size:0.88em;line-height:1.6}mark{background-color:var(--mark-color);color:inherit}hr{width:100%;height:1px;margin:1.5em 0;border:0;background-color:var(--rule-color)}.header{--bar-inset:0.75rem;--bar-icon:2rem;--bar-button:2.2rem;--bar-gap:0.6rem;--bar-title-start:max(calc((100% - var(--article-max-width)) / 2),calc(var(--bar-inset) + var(--bar-icon) + var(--bar-gap) + var(--bar-button) + var(--bar-gap)));position:fixed;top:0;left:0;right:0;z-index:8;box-sizing:border-box;display:flex;align-items:stretch;height:var(--bar-height);padding-inline-start:var(--bar-title-start);padding-inline-end:3.45rem;background-color:var(--background-color);border-bottom:1px solid var(--rule-color);font-family:var(--ui-font-family)}@supports (backdrop-filter:blur(1px)) and (background:color-mix(in srgb,red 50%,transparent)){:root{--bar-fade:1.6rem}.header{background:none;border-bottom:0}.header::before{content:"";position:absolute;z-index:-1;top:0;left:0;right:0;height:calc(100% + var(--bar-fade));background-color:color-mix(in srgb,var(--background-color) 38%,transparent);-webkit-backdrop-filter:blur(14px) saturate(1.15);backdrop-filter:blur(14px) saturate(1.15);-webkit-mask-image:linear-gradient(to bottom,#000 calc(100% - var(--bar-fade) - 0.5rem),transparent 100%);mask-image:linear-gradient(to bottom,#000 calc(100% - var(--bar-fade) - 0.5rem),transparent 100%);pointer-events:none}.header .bar-back>a{background-color:color-mix(in srgb,var(--background-color) 55%,transparent)}#grid-wrapper>.toc-button,#grid-wrapper>.math-text-toggle{background-color:color-mix(in srgb,var(--background-color) 55%,transparent);-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px)}}.bar-site{position:absolute;top:50%;left:var(--bar-inset);display:block;width:var(--bar-icon);height:var(--bar-icon);border-radius:var(--radius);transform:translateY(-50%);transition:filter 0.15s ease,transform 0.15s ease}.bar-site>img{display:block;width:100%;height:100%;object-fit:contain}@media (hover:hover){.bar-site:hover{filter:brightness(1.1) saturate(1.1);transform:translateY(-50%) scale(1.06)}}.bar-site:focus-visible{outline:2px solid var(--target-color);outline-offset:2px}.bar-back{position:absolute;top:50%;left:calc(var(--bar-inset) + var(--bar-icon) + var(--bar-gap));transform:translateY(-50%)}.header[parent="false"] .bar-back{display:none}.bar-back>a{display:grid;place-items:center;box-sizing:border-box;width:var(--bar-button);height:var(--bar-button);border:1px solid var(--rule-color);border-radius:50%;color:var(--logo-color);text-decoration:none;transition:background-color 0.15s ease,color 0.15s ease,border-color 0.15s ease}.bar-back-icon{width:0.5rem;height:0.5rem;margin-inline-start:0.2rem;border-left:2px solid currentColor;border-bottom:2px solid currentColor;transform:rotate(45deg)}.bar-back-label{position:absolute;width:1px;height:1px;overflow:hidden;clip-path:inset(50%);white-space:nowrap}@media (hover:hover){.bar-back>a:hover{border-color:var(--hover-bar-color);background-color:var(--hover-color-link);color:var(--logo-hover-color)}}.bar-back>a:focus-visible{outline:2px solid var(--target-color);outline-offset:2px}.bar-title{flex:1 1 auto;min-width:0;display:flex;align-items:center;margin:0;overflow:hidden;color:var(--text-color);font-family:var(--text-font-family);font-size:var(--page-title-size);font-weight:600;line-height:1.3}.bar-title-text{flex:1 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;text-shadow:0 0 0.18em var(--background-color),0 0 0.4em var(--background-color),0 0 0.8em var(--background-color);transform:translateY(var(--bar-title-shift,var(--bar-height)));will-change:transform}.bar-title .bar-title-text :is(a,.link,.link *){color:inherit;text-decoration:none;box-shadow:none;border-bottom:0;background:none}.bar-title .bar-title-text :is(a,strong,em,span){font:inherit}@media (scripting:none){.bar-title-text{transform:none}}.metadata{color:var(--slug-color);font-size:0.78em;font-weight:400;line-height:1.6;font-variant-numeric:lining-nums tabular-nums}.top-header .metadata{margin-top:0.6em;font-size:0.82em}.metadata ul{display:inline;margin:0;padding-inline-start:0}.metadata li{margin-top:0}.metadata li::after{content:" · "}.metadata li:last-child::after{content:""}.metadata *{display:inline}.link{cursor:pointer}a{color:var(--link-color);text-decoration:inherit;text-underline-offset:0.2em;text-decoration-thickness:1px}a:focus-visible{outline:2px solid var(--target-color);outline-offset:2px}@media (hover:hover){a.slug:hover,.edit-button:hover,.link:hover,a.backlink-link:hover,a.reference-link:hover{background-color:var(--hover-color-link)}}.svg-link:hover{filter:invert(100%);fill:var(--hover-color-link);fill-opacity:1}.link.external{text-decoration:underline}span.link.local,.link.local span,a.slug,a.backlink-link,a.reference-link{box-shadow:none;text-decoration-line:underline;text-decoration-style:dotted;text-underline-offset:0.2em;text-decoration-thickness:1px}p.backlink,p.reference{margin-bottom:0.4em}a.backlink-link .backlink-slug,a.reference-link .reference-slug,.slug,.doi,.orcid{color:var(--slug-color);font-weight:400}.page-footer{margin-top:2.2em;padding-top:1em;border-top:1px solid var(--rule-color);font-size:0.88em}.page-footer>section{margin-bottom:1em}.colophon{margin-top:1.5em;color:var(--slug-color);font-size:0.88em}#grid-wrapper[sidebar="false"]>:is(nav,.toc-toggle,.toc-button){display:none}.toc-toggle,.toc-button{position:fixed;top:calc((var(--bar-height) - 2.2rem) / 2);right:0.75rem;box-sizing:border-box;width:2.2rem;height:2.2rem;margin:0}.toc-toggle{z-index:11;border-radius:50%;opacity:0;cursor:pointer}.toc-button{z-index:10;display:grid;place-items:center;border:1px solid var(--rule-color);border-radius:50%;background:var(--background-color);color:var(--text-color);font-family:var(--ui-font-family);font-size:1.1rem;line-height:1;pointer-events:none;transition:background-color 0.15s ease}.toc-button::before{content:"\2630"}.toc-toggle:checked ~ .toc-button::before{content:"\2715"}@media (hover:hover){.toc-toggle:hover + .toc-button{background-color:var(--hover-color-link)}}.toc-toggle:focus-visible + .toc-button{outline:2px solid var(--target-color);outline-offset:2px}#grid-wrapper>nav{position:fixed;top:var(--bar-height);right:0;bottom:0;z-index:7;box-sizing:border-box;width:max-content;max-width:100vw;padding:calc(1.25rem + var(--bar-fade,0px)) 1.25rem 1.5rem;clip-path:inset(0 0 0 -24px);overflow:auto;background:var(--background-color);border-left:1px solid var(--rule-color);box-shadow:-4px 0 16px rgba(0,0,0,0.08);font-size:0.88rem;line-height:1.65;transform:translateX(100%);visibility:hidden;transition:transform 0.2s ease,visibility 0s linear 0.2s}#grid-wrapper>.toc-toggle:checked ~ nav{transform:none;visibility:visible;transition:transform 0.2s ease,visibility 0s}#grid-wrapper>nav *{white-space:nowrap;overflow-wrap:normal}@media (max-width:500px){html{font-size:16px}.block{padding-inline:0.45em 0.15em}.page-root{padding:0}}@media (prefers-reduced-motion:reduce){.block,.toc-button,#grid-wrapper>nav,#grid-wrapper>.toc-toggle:checked ~ nav{transition:none}}@media print{:root{color-scheme:light;--text-color:#000;--link-color:#000;--background-color:#fff;--slug-color:#555;--rule-color:#ccc;--auto-filter:none}html{font-size:11pt}body{width:100%;max-width:none;margin:0}#grid-wrapper>article{font-size:1rem}.header,.toc-toggle,.toc-button,#grid-wrapper>nav,.colophon{display:none}.block{transition:none}article pre[color-scheme="light"]{display:block}article code[color-scheme="light"]{display:inline}article :is(pre,code)[color-scheme="dark"]{display:none}p{orphans:3;widows:3}summary{break-after:avoid}pre,figure{break-inside:avoid}}
.math-container{display:grid;place-items:center;padding:2rem 0;overflow-x:auto}.math-block{--math-padding:1.2rem;display:inline-flex;position:relative;padding:var(--math-padding);border-radius:var(--radius);box-sizing:border-box;max-width:100%}.math-block[data-scale="1"]{--math-ratio:0.8}.math-block[data-scale="2"]{--math-ratio:1}.math-block svg{transform:scale(2);transform-origin:center;display:block!important;width:auto!important;height:auto!important;max-width:calc(100vw - 2 * var(--math-padding) - 4rem);font-size:2.5em;overflow:visible;font-family:"STIX Two Math",Symbola,serif}.math-block svg text{-webkit-user-select:text;user-select:contain;cursor:text;paint-order:stroke;stroke-linejoin:round}@media (max-width:640px){.math-container{padding:1rem 0}.math-block{padding:1rem 1.2rem;border-radius:6px}}.math-block::after{content:"";position:absolute;top:calc(-1 * var(--math-padding));left:calc(-1 * var(--math-padding));right:calc(-1 * var(--math-padding));bottom:calc(-1 * var(--math-padding));border:1px solid transparent;pointer-events:none}ul + pre{margin-top:0.65em}ul + pre + pre{margin-top:0.65em}
.math-inline{display:inline-block;position:relative;vertical-align:baseline;background:var(--math-bg);border:1px solid var(--math-border);border-radius:4px;line-height:1em;margin:0;max-width:100%;overflow-x:auto;box-sizing:border-box}.math-inline svg{margin:0 0.12em;padding:0;vertical-align:baseline;shape-rendering:geometricPrecision}.math-inline .auto-filter,.math-inline .auto-sized-svg{vertical-align:baseline!important}@supports (baseline-source:first){.math-inline{baseline-source:first;overflow-y:hidden;padding-block:0.3em;margin-block:-0.3em}}.math-inline>svg{flex-shrink:0;max-width:100%}
.mathyml-block-center{text-align:center}.mathyml-inline-span{display:inline-block}.mathyml-align-right{text-align:right;padding-left:0em;padding-right:0em}.mathyml-align-left{text-align:left;padding-left:0em;padding-right:0em}@media screen and (-webkit-min-device-pixel-ratio:0) and (min-resolution:0.001dpcm){.mathyml-align-right{text-align:-webkit-right;padding-left:0em;padding-right:0em}.mathyml-align-left{text-align:-webkit-left;padding-left:0em;padding-right:0em}}
.math-text{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip-path:inset(50%);white-space:pre-wrap;border:0}.math-text-toggle{position:fixed;top:calc((var(--bar-height) - 2.2rem) / 2);right:3.45rem;z-index:10;display:grid;place-items:center;box-sizing:border-box;width:2.2rem;height:2.2rem;margin:0;padding:0 0.12em 0.12em 0;border:1px solid var(--hover-bar-color);border-radius:50%;background:var(--background-color);color:var(--text-color);font-family:"Libertinus Serif",serif;font-style:italic;font-size:1.35rem;line-height:1;cursor:pointer;transition:background-color 0.15s ease}#grid-wrapper[sidebar="false"]>.math-text-toggle{right:0.75rem}body:has(#grid-wrapper>.math-text-toggle)>.header{padding-inline-end:5.65rem}@media (hover:hover){.math-text-toggle:hover{background-color:var(--hover-color-link)}}.math-text-toggle:focus-visible{outline:2px solid var(--target-color);outline-offset:2px}@media (prefers-reduced-motion:reduce){.math-text-toggle{transition:none}}@media print{.math-text-toggle{display:none}}.math-text-visible .math-fallback>.math-visual{display:none}.math-text-visible .math-fallback>.math-text{position:static;width:auto;height:auto;margin:0;overflow:visible;clip-path:none;white-space:pre-wrap;user-select:text}
.fold-container{display:inline-block;cursor:pointer}.hidden-content{display:none;transition:max-width 0.5s ease;vertical-align:bottom}.fold-container.open .hidden-content{display:inline}.ellipsis{box-shadow:none;text-decoration-line:underline;text-decoration-style:wavy}
:root{--thm-definition:#3c6089;--thm-theorem:#99553f;--thm-lemma:#32786b;--thm-corollary:#8c642c;--thm-example:#50734d;--thm-convention:#637080;--thm-remark:#6b6b68;--thm-philosophy:#705c89;--thm-bg:rgba(60,60,50,0.025);--thm-philosophy-bg:rgba(112,92,137,0.04)}@media (prefers-color-scheme:dark){:root{--thm-definition:#9cbce1;--thm-theorem:#deb09b;--thm-lemma:#91c8b8;--thm-corollary:#d5be89;--thm-example:#a7c69a;--thm-convention:#acb8c7;--thm-remark:#b9b9b0;--thm-philosophy:#c2b0d6;--thm-bg:rgba(220,220,200,0.035);--thm-philosophy-bg:rgba(194,176,214,0.05)}}.exercise-group{margin:1em 0 1.4em;padding:0.7em 1em 0.2em;border-left:2px solid var(--rule-color);border-radius:0 var(--radius) var(--radius) 0;background:var(--thm-bg)}.exercise-group-head{font-weight:600}.exercise-group>.exercise-group-head::before{content:"▸";display:inline-block;width:1em;color:var(--slug-color)}.exercise-group[open]>.exercise-group-head::before{content:"▾"}.exercise-group-body{padding-top:0.4em}.exercise + .exercise{margin-top:1.5em;padding-top:0.8em;border-top:1px solid var(--rule-color)}.exercise .section-heading{font-size:1em;font-style:italic;font-weight:400}.proof{margin:1em 0 0.8em;padding-left:1em;border-left:1px solid var(--rule-color)}.proof-head{margin-bottom:0.4em;font-size:1em;font-weight:400;font-style:italic}.proof .qed{text-align:right;line-height:1}@media print{:root{--thm-definition:#3c6089;--thm-theorem:#99553f;--thm-lemma:#32786b;--thm-corollary:#8c642c;--thm-example:#50734d;--thm-convention:#637080;--thm-remark:#6b6b68;--thm-philosophy:#705c89;--thm-bg:transparent;--thm-philosophy-bg:transparent}}
:is(.embed,.page-root){--embed-color:var(--thm-convention);--embed-border-color:transparent;--embed-bg:transparent;--embed-ring:transparent}:is(.embed,.page-root)[data-taxon]:not([data-taxon=""]){--embed-border-color:var(--embed-color);--embed-bg:var(--thm-bg);--embed-ring:var(--rule-color)}@supports (color:color-mix(in srgb,red,blue)){:is(.embed,.page-root)[data-taxon]:not([data-taxon=""]){--embed-bg:color-mix(in srgb,var(--embed-color) 4%,transparent);--embed-ring:color-mix(in srgb,var(--embed-color) 18%,transparent)}}:is(.embed,.page-root)[data-taxon="Definition"]{--embed-color:var(--thm-definition)}:is(.embed,.page-root)[data-taxon="Theorem"]{--embed-color:var(--thm-theorem)}:is(.embed,.page-root)[data-taxon="Lemma"]{--embed-color:var(--thm-lemma)}:is(.embed,.page-root)[data-taxon="Corollary"]{--embed-color:var(--thm-corollary)}:is(.embed,.page-root)[data-taxon="Example"]{--embed-color:var(--thm-example)}:is(.embed,.page-root)[data-taxon="Convention"]{--embed-color:var(--thm-convention)}:is(.embed,.page-root)[data-taxon="Note"]{--embed-color:var(--thm-remark)}:is(.embed,.page-root)[data-taxon="Remark"]{--embed-color:var(--thm-philosophy)}article .embed{--embed-gap:0.8em;position:relative;box-sizing:border-box;width:100%;min-width:0;margin:var(--embed-gap) 0;padding:0.8em 1em;border-left:3px solid var(--embed-border-color);border-radius:0 var(--radius) var(--radius) 0;background:var(--embed-bg);box-shadow:inset 0 0 0 1px var(--embed-ring)}article section.block.embed>details,article section.block.embed>details[open]{margin-bottom:0}article .embed>details>summary>header>.metadata{margin-top:0.3em}article .embed[data-taxon=""] + .embed[data-taxon=""]::before{content:"";position:absolute;top:calc(var(--embed-gap) / -2);left:0;right:0;height:1px;background:var(--rule-color);pointer-events:none}article .embed>details>summary{margin:-0.15em -0.3em 0;padding:0.15em 0.3em 0.15em 1.2em;border-radius:var(--radius);font-size:1.05em;font-weight:600;line-height:1.55;color:var(--text-color);transition:background-color 0.15s ease-out}article .embed>details[open]>summary{margin-bottom:0.65em;padding-bottom:0.45em;border-bottom:1px solid var(--embed-ring);border-radius:var(--radius) var(--radius) 0 0}article .block:not(.embed,.page-root)>details>summary{padding:0.15em 0.3em;margin:-0.15em -0.3em 0.45em;border-radius:var(--radius);transition:background-color 0.15s ease-out}@media (hover:hover){article .embed>details>summary:hover,article .block:not(.embed,.page-root)>details>summary:hover{background-color:var(--hover-color-link)}}article :is(.embed,.page-root):hover:not(:has(.block:hover)){border-left-color:var(--embed-border-color)}article .page-root[data-taxon]:not([data-taxon=""]){padding:1em 1.2em;border-left:3px solid var(--embed-color);border-radius:0 var(--radius) var(--radius) 0;background:var(--embed-bg);box-shadow:inset 0 0 0 1px var(--embed-ring)}article .embed[data-taxon="Remark"],article .page-root[data-taxon="Remark"]{border-left-style:double;border-left-width:4px}.embed>details>summary>header>.taxon,.page-root>details>summary>header>h1>.taxon{color:var(--embed-color);font-weight:600}.embed>details>summary>header>.taxon:has(+ .heading-numbering:empty)::after{content:"."}.embed>details>summary>header>.heading-numbering{color:var(--slug-color);font-weight:400}.embed:not([data-taxon=""])>details>summary>header>.heading-numbering{color:var(--embed-color);font-weight:600}.embed>details>summary>header>.embed-title{font-weight:500}.embed>details>summary::before{content:"";position:absolute;top:0.7em;left:0.25em;width:0.3em;height:0.3em;border-right:1px solid var(--embed-color);border-bottom:1px solid var(--embed-color);opacity:0.75;transform:rotate(-45deg);transition:transform 0.15s ease}.embed>details[open]>summary::before{top:0.6em;transform:rotate(45deg)}.embed>details>summary .slug{margin-left:0.55em;font-size:0.7em;font-weight:400;vertical-align:baseline}.lazy-embed-placeholder,.lazy-embed-tools{color:var(--slug-color);font-size:0.85em;font-weight:400}.lazy-embed-placeholder button,.lazy-embed-tools button{padding:0.15em 0.45em;border:1px solid var(--rule-color);border-radius:var(--radius);background:var(--background-color);color:var(--link-color);font:inherit;cursor:pointer}.lazy-embed-placeholder button{margin-inline-end:0.5em}.lazy-embed-fallback{text-decoration:underline}.statement-anchor,.statement-anchor>p{margin:0;padding:0;height:0;line-height:0}.embed>details>p:last-child{margin-bottom:0.2em}.embed:target,.page-root:target{outline:2px solid var(--target-color);outline-offset:3px}:is(.embed,.page-root,.heading-numbering,[data-reference-id]){scroll-margin-top:calc(var(--bar-height,0px) + 1rem)}.backlink{margin:0.4em 0}.chapter-nav{display:flex;flex-wrap:wrap;justify-content:space-between;gap:0.6em 1.2em;margin-top:2em;padding-top:0.8em;border-top:1px solid var(--rule-color);font-size:0.9em}.chapter-nav .link{min-width:0}@media (max-width:500px){article .embed{padding:0.65em 0.65em 0.65em 0.75em}article .page-root[data-taxon]:not([data-taxon=""]){padding:0.8em}}@media (prefers-reduced-motion:reduce){article .embed>details>summary,article .block:not(.embed,.page-root)>details>summary,.embed>details>summary::before{transition:none}}@media print{.lazy-embed-tools{display:none}article .embed,article .page-root[data-taxon]:not([data-taxon=""]){background:transparent;box-shadow:none}}
.site-title{font-style:normal;font-weight:400;font-synthesis:none;line-height:1.3}.site-name{display:inline-block;font-family:"Manufacturing Consent",serif;font-size:1.5em;white-space:nowrap}.site-initial-g{color:#ffcc00}.site-initial-z{color:#d6eaff}.top-header>h1:has(>.site-title){display:block;margin:0;font-size:clamp(1.3rem,4vw,2.2rem);font-weight:400;text-align:center}header:has(>:is(h1,.embed-title)>.site-title)>.metadata{display:none}.site-social{margin:1em 0 0.5em;color:var(--slug-color);font-size:0.92em;font-weight:400;line-height:1.7;text-align:center}.site-social>.profile-line{display:flex;justify-content:center;flex-wrap:wrap;gap:0.25em 0.8em;margin:0}.site-social>.profile-line + .profile-line{margin-top:1.7em}.site-social.site-colophon{margin-top:1.7em}.profile-label{white-space:nowrap}.site-social a{white-space:nowrap;text-decoration-line:underline;text-decoration-style:dotted}.site-social a:hover{color:var(--text-color)}