:root{color-scheme:light;--sb-background:#fff;--sb-on-background:#fff;--sb-surface:#f2f2f4;--sb-text:#000;--sb-text-muted:#464648;--sb-border:#c7c8c9;--sb-shadow:#0000001a;--sb-inline-code:#912583;--sb-warning:#f66a0a;--sb-font-ui:system-ui, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";--sb-font-mono:ui-monospace, "Cascadia Code", "Source Code Pro", Menlo, Consolas, "DejaVu Sans Mono", monospace;--sb-h1:2.625rem;--sb-h2:2.125rem;--sb-h3:1.75rem;--sb-h4:1.5rem;--sb-h5:1.25rem;--sb-h6:1rem;--sb-sidebar-size:.9rem;--sb-header-height:4rem;--sb-scroll-offset:calc(var(--sb-header-height) + 1rem);--sb-primary-col:min(20vw, 17.6rem);--sb-secondary-col:13rem;--sb-text-left-share:.22;--sb-nav-entry-radius:.35rem;--sb-draft-entry-radius:.3rem;--sb-nav-current-weight:650;--shiki-foreground:var(--sb-text);--shiki-token-keyword:#0f3842;--shiki-token-comment:#64748b;--shiki-token-string:#047857;--shiki-token-string-expression:#047857;--shiki-token-constant:#b45309;--shiki-token-function:#7c3aed;--shiki-token-parameter:#334155;--shiki-token-punctuation:#475569;--shiki-token-link:#0f3842;--sb-code-bg:#f8f8f9;--sb-code-border:#c7c8c9}html[data-sb-theme=dark]{color-scheme:dark;--sb-background:#161617;--sb-on-background:#222224;--sb-surface:#2a2a2c;--sb-text:#f2f2f4;--sb-text-muted:#c7c8c9;--sb-border:#55555a;--sb-shadow:#0003;--sb-inline-code:#f3c7ee;--sb-warning:#ff9245;--shiki-token-keyword:#9dc9d5;--shiki-token-comment:#94a3b8;--shiki-token-string:#6ee7b7;--shiki-token-string-expression:#6ee7b7;--shiki-token-constant:#fdba74;--shiki-token-function:#c4b5fd;--shiki-token-parameter:#cbd5e1;--shiki-token-punctuation:#94a3b8;--shiki-token-link:#9dc9d5;--sb-code-bg:var(--sb-surface);--sb-code-border:var(--sb-border)}*,:before,:after{box-sizing:border-box}html{font-family:var(--sb-font-ui);background:var(--sb-background);color:var(--sb-text);scroll-padding-top:var(--sb-scroll-offset);-webkit-text-size-adjust:100%;font-size:100%}body{background:var(--sb-background);min-height:100vh;color:var(--sb-text);flex-direction:column;margin:0;line-height:1.55;display:flex}a{color:var(--sb-link);text-underline-offset:.15em;text-decoration-thickness:1px}a:hover{color:var(--sb-link-hover)}:focus-visible{outline:var(--sb-focus-ring-width) solid var(--sb-focus-ring);outline-offset:var(--sb-focus-ring-offset)}button{font:inherit;color:inherit;cursor:pointer}[hidden]{display:none!important}.sb-shell-visually-hidden{clip:rect(0 0 0 0);white-space:nowrap;width:1px;height:1px;position:absolute;overflow:hidden}.sb-shell-skip-link{z-index:100;background:var(--sb-on-background);color:var(--sb-link);border:1px solid var(--sb-border);border-radius:.3rem;padding:.5rem .9rem;position:absolute;top:-4rem;left:.5rem}.sb-shell-skip-link:focus{top:.5rem}.sb-shell-back-to-top{z-index:30;border:1px solid var(--sb-border);background:var(--sb-on-background);width:2.6rem;height:2.6rem;box-shadow:0 .2rem .6rem var(--sb-shadow);border-radius:50%;font-size:1.2rem;line-height:1;position:fixed;bottom:1rem;right:1rem}.sb-shell-header{z-index:20;height:var(--sb-header-height);background:var(--sb-background);border-bottom:1px solid var(--sb-border);flex:none;align-items:center;gap:.75rem;padding:0 1rem;display:flex;position:sticky;top:0}.sb-shell-logo{max-width:28rem;color:var(--sb-text);white-space:nowrap;text-overflow:ellipsis;flex:none;font-size:1.05rem;font-weight:650;text-decoration:none;overflow:hidden}.sb-shell-logo:hover{color:var(--sb-primary)}.sb-shell-header-end{align-items:center;gap:inherit;flex:none;margin-left:auto;display:flex}.sb-shell-navbar-nav{flex:auto;min-width:0}html:not(.sb-shell-js) .sb-shell-navbar-nav{overflow:hidden}.sb-shell-navbar-nav>ul{flex-wrap:nowrap;align-items:center;gap:.15rem;margin:0;padding:0;list-style:none;display:flex}.sb-shell-nav-item{white-space:nowrap;flex:none}.sb-shell-nav-link{border-radius:var(--sb-nav-entry-radius);color:var(--sb-text);padding:.4rem .7rem;font-size:.95rem;text-decoration:none;display:block}.sb-shell-nav-link:hover{background:var(--sb-surface);color:var(--sb-link-hover)}.sb-shell-label{display:grid}.sb-shell-label>span,.sb-shell-label:after{grid-area:1/1}.sb-shell-label:after{content:attr(data-text);font-weight:var(--sb-nav-current-weight);visibility:hidden;pointer-events:none;user-select:none}.sb-shell-navbar-nav .sb-shell-label>span{justify-self:center}.sb-shell-label[data-rich]:after{content:none}.sb-shell-reserve{font-weight:var(--sb-nav-current-weight);visibility:hidden;pointer-events:none;user-select:none}.sb-shell-label img,.sb-shell-section-title img,.sb-shell-breadcrumbs img,.sb-shell-pn-title img{vertical-align:-.15em;width:auto;max-width:100%;height:1em}.sb-shell-nav-item.sb-shell-current>.sb-shell-nav-link{color:var(--sb-primary);font-weight:var(--sb-nav-current-weight);position:relative}.sb-shell-nav-item.sb-shell-current>.sb-shell-nav-link:before{content:"";background:var(--sb-primary);height:3px;position:absolute;bottom:0;left:0;right:0}.sb-shell-nav-link.sb-shell-nav-external{align-items:baseline;display:flex}.sb-shell-navbar-nav .sb-shell-nav-link.sb-shell-nav-external{justify-content:center}.sb-shell-nav-external:after{content:"↗";opacity:.7;margin-left:.2em;font-size:.75em}.sb-shell-draft-entry>.sb-shell-nav-link,.sb-shell-draft-entry>a{background:color-mix(in srgb, var(--sb-warning) 18%, var(--sb-background));border-radius:var(--sb-draft-entry-radius)}.sb-shell-navbar-overflow{flex:none;position:relative}.sb-shell-navbar-overflow__toggle{color:var(--sb-text);background:0 0;border:0;border-radius:.35rem;padding:.4rem .6rem}.sb-shell-navbar-overflow__toggle:hover{background:var(--sb-surface)}.sb-shell-navbar-overflow__menu{background:var(--sb-on-background);border:1px solid var(--sb-border);min-width:12rem;box-shadow:0 .4rem 1.2rem var(--sb-shadow);border-radius:.5rem;margin:0;padding:.35rem;list-style:none}.sb-shell-navbar-overflow__menu .sb-shell-nav-item{display:block}:where([popover]){color:var(--sb-text);background:var(--sb-on-background);border:0;padding:0}.sb-shell-theme-switch{position:relative}.sb-shell-theme-toggle{border:1px solid var(--sb-border);background:0 0;border-radius:.5rem;justify-content:center;align-items:center;gap:.2rem;width:2.3rem;height:2.3rem;padding:0;display:inline-flex}.sb-shell-theme-toggle:hover{background:var(--sb-surface)}.sb-shell-theme-toggle svg{width:1.2rem;height:1.2rem}.sb-shell-theme-toggle .sb-shell-mode-icon{display:none}html[data-sb-mode=auto] .sb-shell-mode-icon-auto,html[data-sb-mode=light] .sb-shell-mode-icon-light,html[data-sb-mode=dark] .sb-shell-mode-icon-dark{display:inline-block}.sb-shell-theme-menu{background:var(--sb-on-background);border:1px solid var(--sb-border);min-width:11rem;box-shadow:0 .4rem 1.2rem var(--sb-shadow);border-radius:.5rem;margin:0;padding:.35rem;list-style:none}.sb-shell-theme-menu button{text-align:left;background:0 0;border:0;border-radius:.35rem;align-items:center;gap:.5rem;width:100%;padding:.45rem .6rem;display:flex}.sb-shell-theme-menu button:hover{background:var(--sb-surface)}.sb-shell-theme-menu button[aria-pressed=true]{color:var(--sb-primary);font-weight:650}.sb-shell-theme-menu svg{width:1.1rem;height:1.1rem}.sb-shell-menu-toggle,.sb-shell-toc-drawer-toggle{border:1px solid var(--sb-border);background:var(--sb-background);border-radius:.5rem;align-items:center;gap:.4rem;height:2.3rem;padding:0 .7rem;display:none}.sb-shell-menu-toggle svg,.sb-shell-toc-drawer-toggle svg{width:1.2rem;height:1.2rem}.sb-shell-toc-drawer-toggle svg.sb-shell-toc-icon{width:1.6rem}@property --sb-p{syntax:"<length>";inherits:true;initial-value:0}@property --sb-s{syntax:"<length>";inherits:true;initial-value:0}.sb-shell-grid{grid-template-columns:var(--sb-p) minmax(0, 1fr) var(--sb-s);flex:1 0 auto;align-items:stretch;transition:--sb-p .16s,--sb-s .16s;display:grid;position:relative}.sb-shell-grid.sb-shell-has-primary{--sb-p:var(--sb-primary-col)}.sb-shell-grid.sb-shell-has-secondary{--sb-s:var(--sb-secondary-col)}.sb-shell-grid.sb-shell-primary-collapsed{--sb-p:0px}.sb-shell-grid.sb-shell-secondary-collapsed{--sb-s:0px}.sb-shell-primary{border-right:1px solid var(--sb-border);grid-area:1/1;min-width:0;overflow-x:clip}.sb-shell-secondary{border-left:1px solid var(--sb-border);grid-area:1/3;min-width:0;overflow-x:clip}.sb-shell-grid:not(.sb-shell-has-primary)>.sb-shell-primary,.sb-shell-grid:not(.sb-shell-has-secondary)>.sb-shell-secondary{display:none}.sb-shell-grid.sb-shell-primary-collapsed>.sb-shell-primary,.sb-shell-grid.sb-shell-secondary-collapsed>.sb-shell-secondary{border-width:0}#sb-shell-main{--sb-main-pad:1.25rem;min-width:0;padding:0 var(--sb-main-pad) 2rem;grid-area:1/2}@property --sb-text-inset{syntax:"<length-percentage>";inherits:true;initial-value:0}#sb-shell-main{--sb-text-inset:max(0px, min(calc(var(--sb-text-left-share) * (100% + var(--sb-s) - var(--sb-measure,100000ch))), calc(100% - var(--sb-measure,100000ch))))}.sb-shell-article-header,article[data-sb-document],.sb-shell-prev-next{margin-inline:var(--sb-text-inset) auto}.sb-shell-grid>.sb-shell-edge-toggle{grid-area:1/2}.sb-shell-sidebar-inner{top:calc(var(--sb-header-height) + 1rem);max-height:calc(100vh - var(--sb-header-height) - 2rem);overflow-wrap:anywhere;overscroll-behavior:contain;font-size:var(--sb-sidebar-size);padding:.25rem .9rem 1rem;position:sticky;overflow:hidden auto}.sb-shell-primary .sb-shell-sidebar-inner{width:var(--sb-primary-col)}.sb-shell-secondary .sb-shell-sidebar-inner{width:var(--sb-secondary-col)}.sb-shell-edge-toggle{top:calc(var(--sb-header-height) + 1.5rem);z-index:5;border:1px solid var(--sb-border);background:var(--sb-on-background);width:1rem;height:1.8rem;color:var(--sb-text-muted);justify-content:center;align-self:start;align-items:center;padding:0;font-size:.95rem;line-height:1;display:none;position:sticky}.sb-shell-edge-toggle:hover,.sb-shell-edge-toggle:focus-visible{color:var(--sb-primary);border-color:var(--sb-primary)}.sb-shell-edge-toggle[data-sb-sidebar-toggle=primary]{border-left:0;border-radius:0 .4rem .4rem 0;justify-self:start;margin-left:-1px}.sb-shell-edge-toggle[data-sb-sidebar-toggle=secondary]{border-right:0;border-radius:.4rem 0 0 .4rem;justify-self:end;margin-right:-1px}.sb-shell-grid:not(.sb-shell-has-primary)>[data-sb-sidebar-toggle=primary],.sb-shell-grid:not(.sb-shell-has-secondary)>[data-sb-sidebar-toggle=secondary]{display:none!important}.sb-shell-section-title{border-bottom:1px solid var(--sb-border);justify-content:space-between;align-items:center;gap:.5rem;margin:0 0 .6rem;padding:.2rem 0;font-size:1.02em;font-weight:650;display:flex}.sb-shell-section-title a{color:var(--sb-text);text-decoration:none}.sb-shell-section-title a:hover{color:var(--sb-primary)}.sb-shell-section-tree,.sb-shell-section-tree ul{margin:0;padding:0;list-style:none}.sb-shell-section-tree ul{border-left:1px solid var(--sb-border);margin-left:.55rem;padding-left:.6rem}.sb-shell-section-tree li{margin:0}.sb-shell-section-tree details>summary{cursor:pointer;align-items:center;gap:.15rem;list-style:none;display:flex}.sb-shell-section-tree details>summary::-webkit-details-marker{display:none}.sb-shell-section-tree .sb-shell-chevron{width:1.1rem;height:1.1rem;color:var(--sb-text-muted);flex:none;transition:transform .12s;display:inline-block}.sb-shell-section-tree .sb-shell-chevron:before{content:"";border-bottom:2px solid;border-right:2px solid;width:.4rem;height:.4rem;margin:.35rem;display:block;transform:rotate(-45deg)}.sb-shell-section-tree details[open]>summary>.sb-shell-chevron{transform:rotate(90deg)}.sb-shell-section-tree{--sb-nav-entry-radius:.3rem}.sb-shell-section-tree .sb-shell-nav-link{border-radius:var(--sb-nav-entry-radius);font-size:inherit;padding:.22rem .4rem}.sb-shell-section-tree .sb-shell-leaf{padding-left:1.25rem}.sb-shell-section-tree a.sb-shell-current{background:color-mix(in srgb, var(--sb-primary) 12%, var(--sb-background));color:var(--sb-primary);font-weight:var(--sb-nav-current-weight)}.sb-shell-article-header{max-width:calc(var(--sb-measure,100000ch) / .88)}.sb-shell-prev-next{max-width:var(--sb-measure,100000ch)}.sb-shell-article-header{flex-wrap:wrap;align-items:center;gap:.5rem 1rem;padding:.9rem .4rem 0;font-size:.88rem;display:flex}.sb-shell-breadcrumbs{flex-wrap:wrap;align-items:center;gap:.25rem .1rem;margin:0;padding:0;list-style:none;display:flex}.sb-shell-breadcrumbs li{align-items:center;display:inline-flex}.sb-shell-breadcrumbs li+li:before{content:"/";color:var(--sb-text-muted);margin:0 .45rem}.sb-shell-breadcrumbs a{color:var(--sb-text-muted);text-decoration:none}.sb-shell-breadcrumbs a:hover{color:var(--sb-link-hover);text-decoration:underline}.sb-shell-breadcrumbs [aria-current=page]{color:var(--sb-text);font-weight:600}.sb-shell-breadcrumbs .sb-shell-home-icon{vertical-align:-.15em;fill:none;stroke:currentColor;stroke-width:1.8px;stroke-linecap:round;stroke-linejoin:round;width:1.05em;height:1.05em}.sb-shell-breadcrumb-pdf-link,.sb-shell-home-pdf-link{align-items:center;margin-left:.4rem;line-height:1;display:inline-flex}.sb-shell-breadcrumb-pdf-icon{vertical-align:baseline;width:1.15em;height:1.15em}html[data-sb-theme=dark] .sb-shell-breadcrumb-pdf-icon{filter:invert()}.sb-shell-home-page-tools{justify-content:flex-end;padding:.9rem .4rem 0;font-size:.88rem;display:flex}.sb-shell-home-pdf-link{gap:.35rem;margin-left:0;text-decoration:none}.sb-shell-prev-next{border-top:1px solid var(--sb-border);justify-content:space-between;gap:1rem;margin-top:2.5rem;padding:1.2rem .4rem 0;display:flex}.sb-shell-prev-next a{border:1px solid var(--sb-border);max-width:48%;color:var(--sb-link);background:var(--sb-on-background);border-radius:.5rem;flex-direction:column;gap:.1rem;padding:.6rem .9rem;text-decoration:none;display:flex}.sb-shell-prev-next a:hover{border-color:var(--sb-primary);color:var(--sb-link-hover)}.sb-shell-prev-next a[rel=next]{text-align:right;align-items:flex-end;margin-left:auto}.sb-shell-prev-next .sb-shell-pn-sub{color:var(--sb-text-muted);text-transform:uppercase;letter-spacing:.04em;font-size:.75rem}.sb-shell-prev-next .sb-shell-pn-title{font-weight:600}.sb-shell-prev-next .sb-shell-pn-chevron{font-size:1.1em}.sb-shell-toc-head{border-bottom:1px solid var(--sb-border);justify-content:space-between;align-items:center;gap:.4rem;margin:0 0 .5rem;padding-bottom:.3rem;display:flex}.sb-shell-toc-head--drawer{justify-content:flex-start;gap:.5rem}.sb-shell-toc-head--drawer .sb-shell-toc-label{margin-right:auto}.sb-shell-toc-label,.sb-shell-toc-drawer-label{margin:0;font-size:.92rem;font-weight:400}.sb-shell-toc-display{position:relative}.sb-shell-toc-display>button{width:1.9rem;height:1.9rem;color:var(--sb-text-muted);background:0 0;border:1px solid #0000;border-radius:.4rem;width:2.6rem;padding:0;line-height:1}.sb-shell-toc-display>button svg{vertical-align:middle;width:1.6rem;height:1.2rem}.sb-shell-toc-display>button:hover{background:var(--sb-surface);border-color:var(--sb-border)}.sb-shell-toc-display-menu{background:var(--sb-on-background);border:1px solid var(--sb-border);min-width:13rem;box-shadow:0 .4rem 1.2rem var(--sb-shadow);border-radius:.5rem;margin:0;padding:.3rem;list-style:none}.sb-shell-toc-display-menu button{text-align:left;background:0 0;border:0;border-radius:.3rem;width:100%;padding:.4rem .55rem;display:block}.sb-shell-toc-display-menu button:hover{background:var(--sb-surface)}.sb-shell-toc-display-menu button[aria-checked=true]{color:var(--sb-primary);font-weight:650}.sb-shell-page-toc ul{margin:0;padding:0;list-style:none}.sb-shell-page-toc ul ul{border-left:1px solid var(--sb-border);margin-left:.5rem;padding-left:.6rem}.sb-shell-page-toc .sb-shell-nav-link{font-size:inherit;color:var(--sb-text-muted);border-radius:.3rem;padding:.2rem .45rem;line-height:1.35}.sb-shell-page-toc .sb-shell-nav-link:hover{color:var(--sb-link-hover);background:var(--sb-surface)}.sb-shell-page-toc .sb-shell-nav-link.sb-shell-active{color:var(--sb-primary);font-weight:var(--sb-nav-current-weight);box-shadow:inset 3px 0 0 var(--sb-primary);background:color-mix(in srgb, var(--sb-primary) 8%, transparent)}.sb-shell-page-toc[data-sb-page-toc-stale] .sb-shell-nav-link{opacity:.45;pointer-events:none}.sb-shell-page-toc[data-sb-page-toc-mode=top-level] ul ul{display:none}.sb-shell-page-toc[data-sb-page-toc-mode=top-level]>ul>li:has(.sb-shell-active)>.sb-shell-nav-link{box-shadow:inset 3px 0 0 var(--sb-primary);font-weight:600}.sb-shell-page-toc[data-sb-page-toc-mode=current] ul ul{display:none}.sb-shell-page-toc[data-sb-page-toc-mode=current] li:has(.sb-shell-active)>ul,.sb-shell-page-toc[data-sb-page-toc-mode=expanded] ul ul{display:block}.sb-shell-page-toc-follow-current{z-index:30;border:1px solid var(--sb-border);background:var(--sb-on-background);width:2.6rem;height:2.6rem;box-shadow:0 .2rem .6rem var(--sb-shadow);border-radius:50%;justify-content:center;align-items:center;padding:0;display:inline-flex;position:fixed;bottom:4.2rem;right:1rem}.sb-shell-page-toc-follow-current img{width:1.3rem;height:1.3rem}html[data-sb-theme=dark] .sb-shell-page-toc-follow-current img{filter:invert()}.sb-shell-footer{border-top:1px solid var(--sb-border);color:var(--sb-text-muted);text-align:center;flex:none;padding:1.2rem 1.25rem;font-size:.85rem}.sb-shell-drawer{background:var(--sb-on-background);width:min(22rem,88vw);max-width:88vw;height:100dvh;max-height:100dvh;color:var(--sb-text);border:0;margin:0;padding:0;box-shadow:0 0 2rem #00000059}.sb-shell-drawer[data-sb-drawer=left]{margin-right:auto}.sb-shell-drawer[data-sb-drawer=right]{margin-left:auto}.sb-shell-drawer::backdrop{background:#00000073}.sb-shell-drawer-inner{overflow-wrap:anywhere;height:100%;padding:.6rem 1rem 2rem;font-size:1.1rem;overflow:hidden auto}.sb-shell-drawer-head{justify-content:flex-end;display:flex}.sb-shell-drawer-close{border:1px solid var(--sb-border);background:0 0;border-radius:.5rem;width:2.3rem;height:2.3rem;font-size:1.2rem}.sb-shell-drawer .sb-shell-navbar-nav>ul{flex-direction:column;align-items:stretch;margin-bottom:.8rem}.sb-shell-drawer .sb-shell-nav-item{white-space:normal}.sb-shell-drawer .sb-shell-sidebar-section{border-top:1px solid var(--sb-border);margin-top:.8rem;padding-top:.8rem}html{scrollbar-gutter:stable}html.sb-shell-drawer-open{overflow:hidden}#sb-preview-card{z-index:60;background:var(--sb-on-background);width:max-content;max-width:500px;max-height:min(28rem,70vh);color:var(--sb-text);border:1px solid var(--sb-border);border-radius:.35rem;margin:0;padding:.8rem 1rem;font-size:.95rem;position:fixed;inset:auto;overflow:auto;box-shadow:0 .5rem 1.5rem #0000002e}#sb-preview-card:not(:popover-open):not([data-sb-open]){display:none}#sb-preview-card sb-definition,#sb-preview-card sb-theorem,#sb-preview-card sb-proposition,#sb-preview-card sb-lemma,#sb-preview-card sb-corollary,#sb-preview-card sb-example,#sb-preview-card sb-problem,#sb-preview-card sb-proof,#sb-preview-card sb-warning,#sb-preview-card sb-remark{margin:0}@media (width>=960px){.sb-shell-edge-toggle{display:inline-flex}}@media (width>=960px) and (width<=1199.98px){.sb-shell-grid,.sb-shell-grid.sb-shell-has-secondary{--sb-s:0px}.sb-shell-secondary{display:none}.sb-shell-grid>[data-sb-sidebar-toggle=secondary]{display:none!important}.sb-shell-toc-drawer-toggle{display:inline-flex}}@media (width>=1200px){#sb-shell-main{--sb-main-pad:1.5rem}}@media (width<=959.98px){.sb-shell-grid{grid-template-columns:minmax(0,1fr)}.sb-shell-grid,.sb-shell-grid.sb-shell-has-secondary{--sb-s:0px}.sb-shell-primary,.sb-shell-secondary,.sb-shell-edge-toggle{display:none!important}.sb-shell-grid>#sb-shell-main{grid-column:1}.sb-shell-header .sb-shell-navbar-nav{display:none}.sb-shell-menu-toggle,.sb-shell-toc-drawer-toggle{display:inline-flex}.sb-shell-header{gap:.5rem;padding:0 .6rem}.sb-shell-logo{flex:auto;min-width:0;font-size:.95rem}.sb-shell-header-end{margin-left:auto}}@media (width<=1199.98px){.sb-shell-toc-drawer-toggle .sb-shell-toc-drawer-label{display:none}.sb-shell-toc-drawer-toggle{justify-content:center;width:2.3rem;padding:0}}@media (width<=36rem){#sb-shell-main{--sb-main-pad:.6rem}}@media (prefers-reduced-motion:reduce){.sb-shell-grid,.sb-shell-section-tree .sb-shell-chevron{transition:none}}article[data-sb-document]{overflow-wrap:break-word;padding:.75rem .4rem}article h1,article h2,article h3,article h4,article h5,article h6{margin:1.6em 0 .5em;font-weight:600;line-height:1.25}article h1{font-size:var(--sb-h1);margin-top:.4em}article h2{font-size:var(--sb-h2)}article h3{font-size:var(--sb-h3)}article h4{font-size:var(--sb-h4)}article h5{font-size:var(--sb-h5)}article h6{font-size:var(--sb-h6)}article section>section{margin-top:1.5rem}article sb-number{display:inline}article [data-sb-ui=chrome\:permalink]{opacity:0;margin-left:.4rem;font-size:.7em;font-weight:400;transition:opacity .12s}article [data-sb-ui=chrome\:permalink] a{color:var(--sb-text-muted);text-decoration:none}article :is(h1,h2,h3,h4,h5,h6,figcaption):hover>[data-sb-ui=chrome\:permalink],article :is(h1,h2,h3,h4,h5,h6,figcaption):focus-within>[data-sb-ui=chrome\:permalink]{opacity:1}article p{text-indent:0;margin:0}article p+p{margin-top:.85rem}article :is(ul,ol,pre,figure,blockquote,table,[data-sb-ui=frame\:scroll],sb-center,sb-alignblocks){margin-top:.85rem;margin-bottom:.85rem}article :is(ul,ol,pre,figure,blockquote,[data-sb-ui=frame\:scroll],sb-center,sb-alignblocks)+p{margin-top:.85rem}article h1+p,article h2+p,article h3+p,article h4+p,article h5+p,article h6+p{margin-top:0}article a{text-decoration:underline}article blockquote{border-left:.2rem solid var(--sb-border);color:var(--sb-text-muted);margin-inline:1.5rem;padding:.1rem 1rem}article blockquote[data-sb-construct=verse]{white-space:pre-line;font-style:italic}article hr{border:0;border-top:1px solid var(--sb-border)}article ul,article ol{padding-left:2.2rem}article li>p:first-child{margin-top:0}article li+li{margin-top:.25rem}article ul>li::marker{content:"• "}article ul ul>li::marker{content:"– "}article ul ul ul>li::marker{content:"∗ "}article ul ul ul ul>li::marker{content:"· "}article ol{list-style:decimal}article ol>li::marker{content:counter(list-item, decimal) ".  "}article ol ol>li::marker{content:"(" counter(list-item, lower-alpha) ")  "}article ol ol ol>li::marker{content:counter(list-item, lower-roman) ".  "}article ol ol ol ol>li::marker{content:counter(list-item, upper-alpha) ".  "}article li:has(>sb-itemlabel){list-style:none}article li:has(>sb-itemlabel)::marker{content:none}article sb-itemlabel{margin-right:.35em;font-weight:700}article [data-sb-ui=frame\:scroll]{max-width:100%;overflow-x:auto}article table{border-collapse:collapse;min-width:50%;margin:0}article th,article td{border:1px solid var(--sb-border);vertical-align:top;text-align:left;padding:.4rem .8rem}article th{background:var(--sb-surface);font-weight:650}article td[data-sb-align=left],article th[data-sb-align=left]{text-align:left}article td[data-sb-align=center],article th[data-sb-align=center]{text-align:center}article td[data-sb-align=right],article th[data-sb-align=right]{text-align:right}article tbody tr:nth-child(2n){background:var(--sb-surface)}article sb-makecell{display:inline-block}article sb-makecell[align=left]{text-align:left}article sb-makecell[align=center]{text-align:center}article sb-makecell[align=right]{text-align:right}article figure{text-align:center;margin-inline:auto}article figure img{max-width:100%;height:auto}article figcaption{color:var(--sb-text-muted);margin-top:.35rem;font-size:.78rem;line-height:1.4}article figure[data-sb-incomplete]{outline:2px dashed var(--sb-warning)}article code{font-family:var(--sb-font-mono);color:var(--sb-inline-code);font-size:.92em}article pre[data-sb-construct=code]{background:var(--sb-code-bg);border:1px solid var(--sb-code-border);border-radius:.3rem;padding:.8rem 1rem;font-size:.7em;line-height:1.5;overflow:auto}article pre[data-sb-construct=code][style*=font-size]{font-size:revert-layer}article pre[data-sb-construct=verbatim]{font-size:.7em;overflow:auto}article pre code{color:var(--shiki-foreground);font-size:inherit;background:0 0;padding:0}article pre code span[style*=--shiki-token-keyword]{font-weight:600}article pre code span[style*=--shiki-token-comment]{font-style:italic}article sb-proofstep{margin:1rem 0 .35rem;font-weight:650;display:block}article sb-textsize[size=tiny]{font-size:.65em}article sb-textsize[size=small]{font-size:.8em}article sb-textsize[size=normal]{font-size:1em}article sb-textsize[size=large]{font-size:1.25em}article sb-textsize[size=huge]{font-size:1.6em}article sb-textsize[style*=--sb-size]{font-size:var(--sb-size)}article sb-space{white-space:pre}article sb-underline{text-decoration:underline}article s{text-decoration:line-through}article sb-fbox{border:1px solid;padding:.05em .3em;display:inline-block}article sb-colorbox{padding:.05em .2em}html[data-sb-theme=dark] article sb-textcolor[color=black]{color:var(--sb-text)}article sb-center{text-align:center;display:block}article sb-alignblocks{flex-direction:column;display:flex}article sb-alignblocks[align=left]{text-align:left;align-items:flex-start}article sb-alignblocks[align=center]{text-align:center;align-items:center}article sb-alignblocks[align=right]{text-align:right;align-items:flex-end}article sb-proves{font-weight:600}sb-math{display:inline}sb-math[display=block]{text-align:center;max-width:100%;margin:.35rem 0;display:block;overflow:auto hidden}sb-math svg{max-width:100%}sb-math mjx-container{max-width:100%;display:inline-block}sb-math[display=block] mjx-container{margin:0 auto;display:block}sb-math[data-math-prerendered]{color:inherit}sb-math[data-math-prerendered]:focus-visible{outline:2px solid var(--sb-accent);outline-offset:2px}article :is(sb-equation,sb-align){margin:.6rem 0;display:block}sb-math a,sb-math mjx-container a[data-mjx-href],sb-math mjx-container a[data-mjx-href].mjx-visited{color:inherit}sb-math mjx-container[jax=SVG]>svg a{fill:currentColor;stroke:currentColor}sb-math a:hover,sb-math mjx-container a[data-mjx-href]:hover{color:var(--sb-link-hover)}sb-math a:focus-visible{outline:none}sb-math a:focus-visible rect[data-hitbox]{stroke:var(--sb-accent);stroke-width:2px;vector-effect:non-scaling-stroke}sb-anchor{display:inline}[data-sb-ui=frame\:nowrap]{white-space:nowrap}.sb-site-surface{background:var(--sb-surface)}.sb-site-bg-primary{background:var(--sb-primary)}.sb-site-text-primary{color:var(--sb-primary)}.sb-site-border-primary{border-color:var(--sb-primary)}.sb-site-bg-accent{background:var(--sb-accent)}.sb-site-text-accent{color:var(--sb-accent)}.sb-site-border-accent{border-color:var(--sb-accent)}@media print{.sb-shell-header,.sb-shell-primary,.sb-shell-secondary,.sb-shell-edge-toggle,.sb-shell-article-header,.sb-shell-home-page-tools,.sb-shell-prev-next,.sb-shell-back-to-top,.sb-shell-skip-link,.sb-shell-drawer,.sb-shell-page-toc-follow-current,#sb-preview-card{display:none!important}.sb-shell-grid{display:block}#sb-shell-main{padding:0}html,body{color:#000;background:#fff}article[data-sb-document]{max-width:none;margin-inline:0;padding:0}article [data-sb-ui=chrome\:permalink]{display:none}a{color:inherit;text-decoration:none}article pre{white-space:pre-wrap}}