:root{--font-sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--brand-primary: #6e7bd6;--brand-secondary: #5159b3;--bg-primary: #181d24;--bg-secondary: #232930;--surface-primary: #232930;--surface-secondary: #2d343d;--surface-tertiary: #3a414b;--surface-hover: #4a5159;--text-content: #cdd9e5;--text-content-secondary: #adbac7;--text-content-tertiary: #768390;--text-content-quaternary: #545d68;--border-primary: rgba(205, 217, 229, .08);--border-secondary: rgba(205, 217, 229, .16);--border-tertiary: rgba(205, 217, 229, .24);--selection-text: #ffffff;--tok-default: #adbac7;--tok-keyword: #f47067;--tok-keyword-operator: #f47067;--tok-function: #dcbdfb;--tok-method: #dcbdfb;--tok-constructor: #dcbdfb;--tok-type: #f69d50;--tok-constant: #6cb6ff;--tok-number: #6cb6ff;--tok-boolean: #6cb6ff;--tok-string: #96d0ff;--tok-escape: #96d0ff;--tok-comment: #768390;--tok-variable: #adbac7;--tok-property: #6cb6ff;--tok-parameter: #adbac7;--tok-operator: #f47067;--tok-punctuation: #768390;--tok-tag: #8ddb8c;--tok-attribute: #6cb6ff;--tok-namespace: #f69d50;--tok-label: #f69d50;--status-draft: #c69026;--status-proposed: #c69026;--status-accepted: #57ab5a;--status-active: #539bf5;--status-superseded: #768390;--status-deprecated: #f47067;--status-archived: #545d68}@media(prefers-color-scheme:light){:root{--font-sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--brand-primary: #0969da;--brand-secondary: #0550ae;--bg-primary: #ffffff;--bg-secondary: #f6f8fa;--surface-primary: #f6f8fa;--surface-secondary: #eaeef2;--surface-tertiary: #d0d7de;--surface-hover: #afb8c1;--text-content: #1f2328;--text-content-secondary: #424a53;--text-content-tertiary: #656d76;--text-content-quaternary: #8c959f;--border-primary: #d1d9e0;--border-secondary: #afb8c1;--border-tertiary: #818b98;--selection-text: #ffffff;--tok-default: #1f2328;--tok-keyword: #cf222e;--tok-keyword-operator: #cf222e;--tok-function: #8250df;--tok-method: #8250df;--tok-constructor: #8250df;--tok-type: #953800;--tok-constant: #0550ae;--tok-number: #0550ae;--tok-boolean: #0550ae;--tok-string: #0a3069;--tok-escape: #0a3069;--tok-comment: #6e7781;--tok-variable: #1f2328;--tok-property: #0550ae;--tok-parameter: #1f2328;--tok-operator: #cf222e;--tok-punctuation: #57606a;--tok-tag: #116329;--tok-attribute: #0550ae;--tok-namespace: #953800;--tok-label: #953800;--status-draft: #9a6700;--status-proposed: #9a6700;--status-accepted: #1a7f37;--status-active: #0969da;--status-superseded: #656d76;--status-deprecated: #cf222e;--status-archived: #8c959f}}html[data-mode=dark]{--font-sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--brand-primary: #6e7bd6;--brand-secondary: #5159b3;--bg-primary: #181d24;--bg-secondary: #232930;--surface-primary: #232930;--surface-secondary: #2d343d;--surface-tertiary: #3a414b;--surface-hover: #4a5159;--text-content: #cdd9e5;--text-content-secondary: #adbac7;--text-content-tertiary: #768390;--text-content-quaternary: #545d68;--border-primary: rgba(205, 217, 229, .08);--border-secondary: rgba(205, 217, 229, .16);--border-tertiary: rgba(205, 217, 229, .24);--selection-text: #ffffff;--tok-default: #adbac7;--tok-keyword: #f47067;--tok-keyword-operator: #f47067;--tok-function: #dcbdfb;--tok-method: #dcbdfb;--tok-constructor: #dcbdfb;--tok-type: #f69d50;--tok-constant: #6cb6ff;--tok-number: #6cb6ff;--tok-boolean: #6cb6ff;--tok-string: #96d0ff;--tok-escape: #96d0ff;--tok-comment: #768390;--tok-variable: #adbac7;--tok-property: #6cb6ff;--tok-parameter: #adbac7;--tok-operator: #f47067;--tok-punctuation: #768390;--tok-tag: #8ddb8c;--tok-attribute: #6cb6ff;--tok-namespace: #f69d50;--tok-label: #f69d50;--status-draft: #c69026;--status-proposed: #c69026;--status-accepted: #57ab5a;--status-active: #539bf5;--status-superseded: #768390;--status-deprecated: #f47067;--status-archived: #545d68}html[data-mode=light]{--font-sans: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", system-ui, sans-serif;--font-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;--brand-primary: #0969da;--brand-secondary: #0550ae;--bg-primary: #ffffff;--bg-secondary: #f6f8fa;--surface-primary: #f6f8fa;--surface-secondary: #eaeef2;--surface-tertiary: #d0d7de;--surface-hover: #afb8c1;--text-content: #1f2328;--text-content-secondary: #424a53;--text-content-tertiary: #656d76;--text-content-quaternary: #8c959f;--border-primary: #d1d9e0;--border-secondary: #afb8c1;--border-tertiary: #818b98;--selection-text: #ffffff;--tok-default: #1f2328;--tok-keyword: #cf222e;--tok-keyword-operator: #cf222e;--tok-function: #8250df;--tok-method: #8250df;--tok-constructor: #8250df;--tok-type: #953800;--tok-constant: #0550ae;--tok-number: #0550ae;--tok-boolean: #0550ae;--tok-string: #0a3069;--tok-escape: #0a3069;--tok-comment: #6e7781;--tok-variable: #1f2328;--tok-property: #0550ae;--tok-parameter: #1f2328;--tok-operator: #cf222e;--tok-punctuation: #57606a;--tok-tag: #116329;--tok-attribute: #0550ae;--tok-namespace: #953800;--tok-label: #953800;--status-draft: #9a6700;--status-proposed: #9a6700;--status-accepted: #1a7f37;--status-active: #0969da;--status-superseded: #656d76;--status-deprecated: #cf222e;--status-archived: #8c959f}*,:before,:after{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }::backdrop{--tw-border-spacing-x: 0;--tw-border-spacing-y: 0;--tw-translate-x: 0;--tw-translate-y: 0;--tw-rotate: 0;--tw-skew-x: 0;--tw-skew-y: 0;--tw-scale-x: 1;--tw-scale-y: 1;--tw-pan-x: ;--tw-pan-y: ;--tw-pinch-zoom: ;--tw-scroll-snap-strictness: proximity;--tw-gradient-from-position: ;--tw-gradient-via-position: ;--tw-gradient-to-position: ;--tw-ordinal: ;--tw-slashed-zero: ;--tw-numeric-figure: ;--tw-numeric-spacing: ;--tw-numeric-fraction: ;--tw-ring-inset: ;--tw-ring-offset-width: 0px;--tw-ring-offset-color: #fff;--tw-ring-color: rgb(59 130 246 / .5);--tw-ring-offset-shadow: 0 0 #0000;--tw-ring-shadow: 0 0 #0000;--tw-shadow: 0 0 #0000;--tw-shadow-colored: 0 0 #0000;--tw-blur: ;--tw-brightness: ;--tw-contrast: ;--tw-grayscale: ;--tw-hue-rotate: ;--tw-invert: ;--tw-saturate: ;--tw-sepia: ;--tw-drop-shadow: ;--tw-backdrop-blur: ;--tw-backdrop-brightness: ;--tw-backdrop-contrast: ;--tw-backdrop-grayscale: ;--tw-backdrop-hue-rotate: ;--tw-backdrop-invert: ;--tw-backdrop-opacity: ;--tw-backdrop-saturate: ;--tw-backdrop-sepia: ;--tw-contain-size: ;--tw-contain-layout: ;--tw-contain-paint: ;--tw-contain-style: }*,:before,:after{box-sizing:border-box;border-width:0;border-style:solid;border-color:#e5e7eb}:before,:after{--tw-content: ""}html,:host{line-height:1.5;-webkit-text-size-adjust:100%;-moz-tab-size:4;-o-tab-size:4;tab-size:4;font-family:Inter,ui-sans-serif,system-ui,sans-serif,"Apple Color Emoji","Segoe UI Emoji",Segoe UI Symbol,"Noto Color Emoji";font-feature-settings:normal;font-variation-settings:normal;-webkit-tap-highlight-color:transparent}body{margin:0;line-height:inherit}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;text-decoration:inherit}b,strong{font-weight:bolder}code,kbd,samp,pre{font-family:JetBrains Mono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-feature-settings:normal;font-variation-settings:normal;font-size:1em}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sub{bottom:-.25em}sup{top:-.5em}table{text-indent:0;border-color:inherit;border-collapse:collapse}button,input,optgroup,select,textarea{font-family:inherit;font-feature-settings:inherit;font-variation-settings:inherit;font-size:100%;font-weight:inherit;line-height:inherit;letter-spacing:inherit;color:inherit;margin:0;padding:0}button,select{text-transform:none}button,input:where([type=button]),input:where([type=reset]),input:where([type=submit]){-webkit-appearance:button;background-color:transparent;background-image:none}:-moz-focusring{outline:auto}:-moz-ui-invalid{box-shadow:none}progress{vertical-align:baseline}::-webkit-inner-spin-button,::-webkit-outer-spin-button{height:auto}[type=search]{-webkit-appearance:textfield;outline-offset:-2px}::-webkit-search-decoration{-webkit-appearance:none}::-webkit-file-upload-button{-webkit-appearance:button;font:inherit}summary{display:list-item}blockquote,dl,dd,h1,h2,h3,h4,h5,h6,hr,figure,p,pre{margin:0}fieldset{margin:0;padding:0}legend{padding:0}ol,ul,menu{list-style:none;margin:0;padding:0}dialog{padding:0}textarea{resize:vertical}input::-moz-placeholder,textarea::-moz-placeholder{opacity:1;color:#9ca3af}input::placeholder,textarea::placeholder{opacity:1;color:#9ca3af}button,[role=button]{cursor:pointer}:disabled{cursor:default}img,svg,video,canvas,audio,iframe,embed,object{display:block;vertical-align:middle}img,video{max-width:100%;height:auto}[hidden]:where(:not([hidden=until-found])){display:none}.\!container{width:100%!important;margin-right:auto!important;margin-left:auto!important;padding-right:1rem!important;padding-left:1rem!important}.container{width:100%;margin-right:auto;margin-left:auto;padding-right:1rem;padding-left:1rem}@media(min-width:640px){.\!container{max-width:640px!important;padding-right:2rem!important;padding-left:2rem!important}.container{max-width:640px;padding-right:2rem;padding-left:2rem}}@media(min-width:768px){.\!container{max-width:768px!important}.container{max-width:768px}}@media(min-width:1024px){.\!container{max-width:1024px!important}.container{max-width:1024px}}@media(min-width:1280px){.\!container{max-width:1280px!important}.container{max-width:1280px}}@media(min-width:1536px){.\!container{max-width:1536px!important}.container{max-width:1536px}}.visible{visibility:visible}.invisible{visibility:hidden}.collapse{visibility:collapse}.static{position:static}.fixed{position:fixed}.absolute{position:absolute}.relative{position:relative}.sticky{position:sticky}.isolate{isolation:isolate}.block{display:block}.inline{display:inline}.table{display:table}.contents{display:contents}.list-item{display:list-item}.hidden{display:none}.max-w-none{max-width:none}.grow{flex-grow:1}.transform{transform:translate(var(--tw-translate-x),var(--tw-translate-y)) rotate(var(--tw-rotate)) skew(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y))}.resize{resize:both}.truncate{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.border{border-width:1px}.italic{font-style:italic}.underline{text-decoration-line:underline}.shadow{--tw-shadow: 0 1px 3px 0 rgb(0 0 0 / .1), 0 1px 2px -1px rgb(0 0 0 / .1);--tw-shadow-colored: 0 1px 3px 0 var(--tw-shadow-color), 0 1px 2px -1px var(--tw-shadow-color);box-shadow:var(--tw-ring-offset-shadow, 0 0 #0000),var(--tw-ring-shadow, 0 0 #0000),var(--tw-shadow)}.outline{outline-style:solid}.blur{--tw-blur: blur(8px);filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.invert{--tw-invert: invert(100%);filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.filter{filter:var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow)}.transition{transition-property:color,background-color,border-color,text-decoration-color,fill,stroke,opacity,box-shadow,transform,filter,backdrop-filter;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.15s}*,*:before,*:after{box-sizing:border-box}html{font-family:var(--font-sans);font-size:16px;line-height:1.5;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;scroll-behavior:smooth}body{margin:0;min-height:100vh;background-color:var(--bg-primary);color:var(--text-content)}h1[id],h2[id],h3[id],h4[id],h5[id],h6[id]{scroll-margin-top:2rem}@media(max-width:1023.98px){h1[id],h2[id],h3[id],h4[id],h5[id],h6[id]{scroll-margin-top:calc(var(--docs-topbar-height) + 1rem)}}:root{--docs-sidebar-natural: 17.5rem;--docs-sidebar-width: var(--docs-sidebar-natural);--docs-toc-natural: 16.5rem;--docs-toc-width: 16.5rem;--docs-rail-width: 2.25rem;--docs-shell-ease: cubic-bezier(.4, 0, .2, 1)}html[data-sidebar=collapsed]{--docs-sidebar-width: var(--docs-rail-width)}html[data-toc=collapsed]{--docs-toc-width: var(--docs-rail-width)}:root{--docs-topbar-height: 3rem;--docs-drawer-width: min(20rem, calc(100vw - 3rem) );--docs-touch-target: 2.25rem}@media(min-width:768px){:root{--docs-topbar-height: 3.25rem;--docs-drawer-width: 22rem}}@media(pointer:coarse){:root{--docs-touch-target: 2.75rem}}.docs-topbar{position:sticky;top:0;z-index:50;display:flex;align-items:center;gap:.5rem;width:100%;height:var(--docs-topbar-height);padding:0 .625rem;background:color-mix(in srgb,var(--bg-primary) 88%,transparent);backdrop-filter:saturate(160%) blur(12px);-webkit-backdrop-filter:saturate(160%) blur(12px);border-bottom:1px solid var(--border-primary)}@media(min-width:1024px){.docs-topbar{display:none}}.docs-topbar-icon{display:inline-flex;align-items:center;justify-content:center;flex-shrink:0;width:var(--docs-touch-target);height:var(--docs-touch-target);padding:0;background:transparent;border:0;border-radius:.5rem;color:var(--text-content);cursor:pointer;transition:background-color .12s ease,color .12s ease}.docs-topbar-icon:hover,.docs-topbar-icon:focus-visible{background:var(--surface-secondary);outline:none}.docs-topbar-icon[aria-expanded=true]{background:var(--surface-secondary);color:var(--brand-primary)}.docs-topbar-icon svg{width:1.125rem;height:1.125rem}.docs-topbar-brand{flex:1 1 auto;min-width:0;display:inline-flex;align-items:center;height:100%;padding:0 .25rem;text-decoration:none;color:inherit}.docs-topbar-brand-title{display:block;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-size:.875rem;font-weight:600;letter-spacing:-.005em;color:var(--brand-primary)}.docs-topbar-actions{display:inline-flex;align-items:center;gap:.125rem;flex-shrink:0}.docs-topbar-actions .docs-mode-toggle{width:var(--docs-touch-target);height:var(--docs-touch-target);border-radius:.5rem}.docs-topbar-actions .docs-mode-toggle svg{width:1rem;height:1rem}.docs-mobile-overlay{position:fixed;inset:0;z-index:30;background:#00000073;display:none;-webkit-tap-highlight-color:transparent}.docs-mobile-overlay[data-mobile-open=true]{display:block}@media(min-width:1024px){.docs-mobile-overlay,.docs-mobile-overlay[data-mobile-open=true]{display:none}}body.docs-scroll-locked{overflow:hidden;touch-action:none}@media(min-width:1024px){body.docs-scroll-locked{overflow:visible;touch-action:auto}}.docs-sidebar{position:fixed;top:0;left:0;z-index:40;width:var(--docs-sidebar-width);height:100vh;background:var(--surface-primary);border-right:1px solid var(--border-primary);overflow:hidden;transition:width .22s var(--docs-shell-ease)}.docs-sidebar-expanded{position:absolute;inset:0;width:var(--docs-sidebar-natural);display:flex;flex-direction:column;padding:1.5rem 1.25rem;overflow-y:auto;transition:transform .22s var(--docs-shell-ease),opacity .16s ease}html[data-sidebar=collapsed] .docs-sidebar-expanded{transform:translate(-100%);opacity:0;pointer-events:none}.docs-sidebar-rail{position:absolute;inset:0;width:var(--docs-rail-width);display:flex;align-items:flex-start;justify-content:center;padding-top:1.78125rem;opacity:0;pointer-events:none;transition:opacity .16s ease 80ms}html[data-sidebar=collapsed] .docs-sidebar-rail{opacity:1;pointer-events:auto}.docs-sidebar-drag{position:absolute;top:0;right:-3px;bottom:0;width:6px;cursor:col-resize;z-index:2;touch-action:none;transition:opacity .16s ease}.docs-sidebar-drag:before{content:"";position:absolute;inset:0 2px;background:transparent;transition:background-color .12s ease}.docs-sidebar-drag:hover:before{background:color-mix(in srgb,var(--brand-primary) 30%,transparent)}body[data-sidebar-dragging=true] .docs-sidebar-drag:before{background:color-mix(in srgb,var(--brand-primary) 55%,transparent)}body[data-sidebar-dragging=true]{cursor:col-resize;-webkit-user-select:none;-moz-user-select:none;user-select:none}body[data-sidebar-dragging=true] .docs-sidebar,body[data-sidebar-dragging=true] .docs-sidebar-expanded,body[data-sidebar-dragging=true] .docs-toc,body[data-sidebar-dragging=true] .docs-toc-expanded,body[data-sidebar-dragging=true] .docs-main{transition:none!important}@media(max-width:1023.98px){.docs-sidebar-drag{display:none}}html[data-sidebar=collapsed] .docs-sidebar-drag{pointer-events:none;opacity:0}.docs-sidebar-header{display:flex;align-items:center;justify-content:space-between;gap:.625rem;margin-bottom:1.5rem;min-height:2.1875rem}.docs-sidebar-brand{display:block;text-decoration:none;color:inherit;flex:1;min-width:0;line-height:1.15}.docs-sidebar-brand h1{font-size:.9375rem;font-weight:600;letter-spacing:-.012em;color:var(--brand-primary);margin:0;line-height:1.15;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.docs-sidebar-brand p{font-size:.6875rem;color:var(--text-content-tertiary);margin:.1875rem 0 0;letter-spacing:.01em;line-height:1.35;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.docs-sidebar-nav{flex:1;display:flex;flex-direction:column;gap:.75rem}.docs-sidebar-repo{display:flex;align-items:center;gap:.4375rem;margin:.75rem 0 0;padding:0 .5rem;height:2rem;background:transparent;border:1px solid transparent;border-radius:.3125rem;color:var(--text-content-tertiary);font-size:.75rem;font-weight:500;letter-spacing:.005em;text-decoration:none;transition:color .14s ease,background-color .14s ease,border-color .14s ease}.docs-sidebar-repo:hover,.docs-sidebar-repo:focus-visible{color:var(--text-content);background:var(--surface-primary);border-color:var(--border-primary);outline:none}.docs-sidebar-repo-glyph{flex:0 0 auto;width:.875rem;height:.875rem}.docs-sidebar-repo-label{flex:1 1 auto;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.docs-sidebar-repo-external{flex:0 0 auto;width:.625rem;height:.625rem;color:var(--text-content-quaternary);opacity:0;transform:translate(-2px,2px);transition:opacity .16s ease,transform .16s ease}.docs-sidebar-repo:hover .docs-sidebar-repo-external,.docs-sidebar-repo:focus-visible .docs-sidebar-repo-external{opacity:1;transform:translate(0)}.docs-search{margin:.5rem 0 .625rem;position:relative}.docs-search-inputwrap{position:relative;display:flex;align-items:center;height:2rem;padding:0;background:var(--surface-primary);border:1px solid var(--border-primary);border-radius:.3125rem;transition:border-color .12s ease,background-color .12s ease,box-shadow .12s ease}.docs-search-inputwrap:hover{border-color:var(--border-secondary);background:var(--bg-primary)}.docs-search-inputwrap:focus-within{border-color:var(--brand-primary);background:var(--bg-primary);box-shadow:0 0 0 1px color-mix(in srgb,var(--brand-primary) 35%,transparent)}.docs-search-icon{position:absolute;top:50%;left:.5rem;width:.875rem;height:.875rem;transform:translateY(-50%);color:var(--text-content-quaternary);pointer-events:none;transition:color .12s ease}.docs-search-inputwrap:focus-within .docs-search-icon{color:var(--brand-primary)}.docs-search-input{flex:1;min-width:0;height:100%;padding:0 1.75rem 0 1.875rem;background:transparent;border:0;color:var(--text-content);font:inherit;font-size:.78125rem;line-height:1}.docs-search-input:focus{outline:none}.docs-search-input::-moz-placeholder{color:var(--text-content-quaternary);opacity:1}.docs-search-input::placeholder{color:var(--text-content-quaternary);opacity:1}.docs-search-input:disabled{cursor:not-allowed;opacity:.55}.docs-search-input::-webkit-search-cancel-button,.docs-search-input::-webkit-search-decoration{-webkit-appearance:none;appearance:none}.docs-search-clear{position:absolute;top:50%;right:.375rem;transform:translateY(-50%);display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;padding:0;background:transparent;border:0;border-radius:.25rem;color:var(--text-content-tertiary);cursor:pointer;transition:background-color .12s ease,color .12s ease}.docs-search-clear svg{width:.625rem;height:.625rem}.docs-search-clear:hover,.docs-search-clear:focus-visible{background:var(--surface-secondary);color:var(--text-content);outline:none}.docs-search-clear[hidden]{display:none}.docs-search-results{position:absolute;left:0;right:0;bottom:calc(100% + .375rem);max-height:52vh;overflow-y:auto;background:var(--surface-primary);border:1px solid var(--border-primary);border-radius:.3125rem;box-shadow:0 -6px 22px -8px #00000038;z-index:20}.docs-search-results[hidden]{display:none}.docs-search-empty{margin:0;padding:.625rem .75rem;font-size:.75rem;color:var(--text-content-tertiary)}.docs-search-empty strong{color:var(--text-content-secondary);font-weight:500}.docs-search-result{display:block;padding:.5rem .75rem;border-bottom:1px solid var(--border-primary);color:var(--text-content);text-decoration:none;transition:background-color .12s ease}.docs-search-result:last-child{border-bottom:0}.docs-search-result:hover,.docs-search-result:focus-visible{background:var(--surface-secondary);outline:none}.docs-search-result-title{display:block;font-size:.8125rem;font-weight:500;color:var(--text-content);line-height:1.35}.docs-search-result-excerpt{display:block;margin-top:.125rem;font-size:.6875rem;color:var(--text-content-tertiary);line-height:1.5;overflow:hidden;display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical}.docs-search-result-excerpt mark{background:color-mix(in srgb,var(--brand-primary) 18%,transparent);color:var(--text-content);padding:0 .125rem;border-radius:.125rem}.docs-sidebar-footer{display:flex;align-items:center;justify-content:space-between;gap:.75rem;margin-top:1.5rem;padding-top:1.25rem;border-top:1px solid var(--border-primary)}.docs-sidebar-footer p{flex:1 1 auto;min-width:0;font-size:.6875rem;color:var(--text-content-quaternary);margin:0;letter-spacing:.02em;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.docs-mode-toggle{flex:0 0 auto;display:inline-flex;align-items:center;justify-content:center;width:1.375rem;height:1.375rem;padding:0;background:transparent;border:0;border-radius:999px;color:var(--text-content-quaternary);cursor:pointer;transition:color .2s ease,background-color .2s ease}.docs-mode-toggle:hover,.docs-mode-toggle:focus-visible{color:var(--text-content-secondary);background:var(--surface-primary);outline:none}.docs-mode-toggle svg{width:.875rem;height:.875rem;transition:transform .36s cubic-bezier(.4,0,.2,1)}html[data-mode=light] .docs-mode-toggle svg{transform:rotate(180deg)}@media(max-width:1023.98px){.docs-sidebar{width:var(--docs-drawer-width);transform:translate(-100%);transition:transform .22s var(--docs-shell-ease);box-shadow:1.25rem 0 2.5rem -1rem #00000059;overscroll-behavior:contain}.docs-sidebar[data-mobile-open=true]{transform:translate(0)}html[data-sidebar=collapsed] .docs-sidebar-expanded{transform:none;opacity:1;pointer-events:auto}.docs-sidebar-rail,.docs-sidebar-drag{display:none}.docs-sidebar-expanded{padding-top:max(1.5rem,env(safe-area-inset-top));padding-bottom:max(1.5rem,env(safe-area-inset-bottom))}.docs-sidebar-header .docs-rail-button-inline{display:none}}.docs-sidebar-close{display:none;align-items:center;justify-content:center;width:var(--docs-touch-target);height:var(--docs-touch-target);padding:0;background:transparent;border:0;border-radius:.5rem;color:var(--text-content);cursor:pointer;flex-shrink:0;transition:background-color .12s ease,color .12s ease}.docs-sidebar-close svg{width:1rem;height:1rem}.docs-sidebar-close:hover,.docs-sidebar-close:focus-visible{background:var(--surface-secondary);outline:none}@media(max-width:1023.98px){.docs-sidebar-close{display:inline-flex}}@media(pointer:coarse){.docs-nav-row{min-height:var(--docs-touch-target)}.docs-nav-toggle,.docs-nav-toggle-placeholder{height:var(--docs-touch-target)}.docs-nav-toggle{position:relative}.docs-nav-toggle:after{content:"";position:absolute;inset:0;margin:0 -.125rem}.docs-nav-link,.docs-nav-group{padding-top:.5rem;padding-bottom:.5rem;font-size:.9375rem}.docs-nav-group-section{font-size:.8125rem}}.docs-nav-section{display:flex;flex-direction:column}.docs-nav-list,.docs-nav-sublist{list-style:none;margin:0;padding:0}.docs-nav-list:not(.docs-nav-list-root),.docs-nav-sublist{padding-left:1.625rem}[data-nav-open=false]{display:none}.docs-nav-item{margin:0}.docs-nav-row{display:flex;align-items:center;gap:0;min-width:0}.docs-nav-toggle,.docs-nav-toggle-placeholder{display:flex;align-items:center;justify-content:center;flex-shrink:0;width:1.125rem;height:1.625rem;margin:0;padding:0;border:none;border-radius:.25rem;background:transparent;color:var(--text-content-quaternary);cursor:pointer;transition:color .12s ease,background-color .12s ease}.docs-nav-toggle:hover,.docs-nav-toggle:focus-visible{color:var(--text-content);background:var(--surface-secondary);outline:none}.docs-nav-toggle-placeholder{cursor:default;pointer-events:none}.docs-nav-chevron{width:.5625rem;height:.5625rem;transition:transform .15s var(--docs-shell-ease)}[aria-expanded=true]>.docs-nav-chevron{transform:rotate(90deg)}.docs-nav-link,.docs-nav-group{display:flex;align-items:center;gap:.4rem;flex:1;min-width:0;padding:.3125rem .5rem;margin:0;background:transparent;border:none;border-radius:.375rem;font:inherit;font-size:.8125rem;line-height:1.35;color:var(--text-content-secondary);text-align:left;text-decoration:none;cursor:pointer;transition:background-color .12s ease,color .12s ease}.docs-nav-link>span:first-child,.docs-nav-group>span:first-child{flex:1;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.docs-nav-status{flex-shrink:0;display:inline-flex;align-items:center;padding:0 .5em;height:1.4em;font-size:.625rem;font-weight:500;letter-spacing:.01em;border-radius:.25rem;border:1px solid color-mix(in srgb,currentColor 45%,transparent);background:color-mix(in srgb,currentColor 10%,transparent);color:var(--text-content-tertiary)}.docs-nav-proof{flex-shrink:0;width:.375rem;height:.375rem;margin-left:.125rem;border-radius:999px;background:var(--brand-primary);font-size:0;line-height:0;color:transparent}.docs-nav-status-draft{color:var(--status-draft)}.docs-nav-status-proposed{color:var(--status-proposed)}.docs-nav-status-superseded{color:var(--status-superseded)}.docs-nav-status-deprecated{color:var(--status-deprecated)}.docs-nav-status-archived{color:var(--status-archived);opacity:.7}.docs-nav-status-accepted,.docs-nav-status-active{display:none}.docs-nav-link[data-status=superseded]>span:first-child,.docs-nav-link[data-status=archived]>span:first-child{color:var(--text-content-tertiary)}.docs-nav-link:hover,.docs-nav-group:hover{background:var(--surface-secondary);color:var(--text-content)}.docs-nav-link:focus-visible,.docs-nav-group:focus-visible{outline:2px solid var(--brand-primary);outline-offset:1px}.docs-nav-link.is-active{color:var(--brand-primary);background:var(--surface-secondary);font-weight:500}.docs-nav-link.has-active-descendant,.docs-nav-group.has-active-descendant{color:var(--text-content)}.docs-nav-group{font-weight:500;color:var(--text-content)}.docs-nav-group-section{color:var(--text-content-tertiary);font-size:.75rem;font-weight:500;letter-spacing:.01em}.docs-nav-group-section:hover,.docs-nav-group-section:focus-visible{background:transparent;color:var(--text-content-tertiary)}.docs-nav-group-section.has-active-descendant{color:var(--text-content-secondary)}.docs-toc{position:fixed;top:0;left:var(--docs-sidebar-width);z-index:35;width:var(--docs-toc-width);height:100vh;background:var(--bg-primary);border-right:1px solid var(--border-primary);overflow:hidden;transition:left .22s var(--docs-shell-ease),width .22s var(--docs-shell-ease)}.docs-toc-expanded{position:absolute;inset:0;width:var(--docs-toc-natural);display:flex;flex-direction:column;padding:1.5rem 1.25rem 2rem;overflow-y:auto;transition:transform .22s var(--docs-shell-ease),opacity .16s ease}html[data-toc=collapsed] .docs-toc-expanded{transform:translate(-100%);opacity:0;pointer-events:none}.docs-toc-rail{position:absolute;inset:0;width:var(--docs-rail-width);display:flex;align-items:flex-start;justify-content:center;padding-top:1.78125rem;opacity:0;pointer-events:none;transition:opacity .16s ease 80ms}html[data-toc=collapsed] .docs-toc-rail{opacity:1;pointer-events:auto}@media(max-width:1279.98px){.docs-toc{display:none}}.docs-toc-header{display:flex;align-items:center;justify-content:space-between;min-height:2.1875rem;margin-bottom:.875rem}.docs-toc-title{font-size:.6875rem;font-weight:500;text-transform:lowercase;letter-spacing:.01em;color:var(--text-content-tertiary)}.docs-toc-eyebrow{display:none}.docs-toc-list{list-style:none;margin:0;padding:0}.docs-toc-item{margin:0;position:relative}.docs-toc-link{display:block;margin-left:-1px;padding:.3125rem 0 .3125rem .875rem;border-left:1.5px solid transparent;color:var(--text-content-tertiary);text-decoration:none;font-size:.8125rem;line-height:1.45;transition:color .12s ease,border-color .12s ease}.docs-toc-link:hover{color:var(--text-content)}.docs-toc-item.is-active>.docs-toc-link{color:var(--brand-primary);border-left-color:var(--brand-primary);font-weight:500}.docs-toc-item-d1>.docs-toc-link{padding-left:1.875rem}.docs-toc-item-d2>.docs-toc-link{padding-left:2.875rem;font-size:.78125rem}.docs-toc-item-d3>.docs-toc-link{padding-left:3.875rem;font-size:.78125rem;color:var(--text-content-quaternary)}.docs-mobile-toc{display:block;margin:0 0 1.5rem;padding:0;background:transparent;border-top:1px solid var(--border-primary);border-bottom:1px solid var(--border-primary)}@media(min-width:1280px){.docs-mobile-toc{display:none}}.docs-mobile-toc[open]{background:color-mix(in srgb,var(--surface-primary) 70%,transparent)}.docs-mobile-toc-summary{list-style:none;display:flex;align-items:center;gap:.5rem;height:var(--docs-touch-target);padding:0 .25rem;cursor:pointer;color:var(--text-content-tertiary);font-size:.6875rem;font-weight:500;letter-spacing:.16em;text-transform:uppercase;-webkit-user-select:none;-moz-user-select:none;user-select:none}.docs-mobile-toc-summary::-webkit-details-marker{display:none}.docs-mobile-toc-summary:hover,.docs-mobile-toc-summary:focus-visible{color:var(--text-content);outline:none}.docs-mobile-toc-glyph{flex-shrink:0;width:.875rem;height:.875rem;color:var(--text-content-quaternary)}.docs-mobile-toc-label{flex:1 1 auto;letter-spacing:.14em;color:var(--text-content-secondary)}.docs-mobile-toc-chevron{flex-shrink:0;width:.6875rem;height:.6875rem;color:var(--text-content-quaternary);transition:transform .2s var(--docs-shell-ease)}.docs-mobile-toc[open] .docs-mobile-toc-chevron{transform:rotate(180deg)}.docs-mobile-toc-list{list-style:none;margin:0;padding:0 0 .75rem}.docs-mobile-toc-item{margin:0}.docs-mobile-toc-link{display:flex;align-items:center;min-height:var(--docs-touch-target);padding:.5rem .5rem .5rem 1.25rem;color:var(--text-content-secondary);text-decoration:none;font-size:.875rem;line-height:1.4;border-left:1.5px solid transparent;margin-left:.25rem;transition:color .12s ease,border-color .12s ease,background-color .12s ease}.docs-mobile-toc-link:hover,.docs-mobile-toc-link:focus-visible{color:var(--text-content);background:var(--surface-secondary);outline:none}.docs-mobile-toc-item.is-active>.docs-mobile-toc-link{color:var(--brand-primary);border-left-color:var(--brand-primary);font-weight:500}.docs-mobile-toc-item-d1>.docs-mobile-toc-link{padding-left:2.25rem}.docs-mobile-toc-item-d2>.docs-mobile-toc-link{padding-left:3rem;font-size:.8125rem;color:var(--text-content-tertiary)}.docs-mobile-toc-item-d3>.docs-mobile-toc-link{padding-left:3.75rem;font-size:.8125rem;color:var(--text-content-quaternary)}.docs-main{min-height:100vh;margin-left:calc(var(--docs-sidebar-width) + var(--docs-toc-width));transition:margin-left .22s var(--docs-shell-ease)}body[data-toc-enabled=false] .docs-main{margin-left:var(--docs-sidebar-width)}@media(max-width:1279.98px){.docs-main{margin-left:var(--docs-sidebar-width)}}@media(max-width:1023.98px){.docs-main,body[data-toc-enabled=false] .docs-main{margin-left:0}}.docs-main-inner{width:100%;max-width:96rem;margin:0 auto;padding:1.5rem 1rem 3rem}@media(min-width:768px){.docs-main-inner{padding:2rem 1.5rem 3rem}}@media(min-width:1024px){.docs-main-inner{padding:3rem 2.5rem}}@media(min-width:1536px){.docs-main-inner{padding:3rem}}.docs-rail-button{display:flex;align-items:center;justify-content:center;width:1.625rem;height:1.625rem;padding:0;border:1px solid transparent;border-radius:.375rem;background:transparent;color:var(--text-content-tertiary);cursor:pointer;flex-shrink:0;transition:background-color .12s ease,color .12s ease,border-color .12s ease}.docs-rail-button svg{width:.875rem;height:.875rem}.docs-rail-button:hover,.docs-rail-button:focus-visible{background:var(--surface-secondary);color:var(--text-content);border-color:var(--border-primary);outline:none}.docs-rail-button-inline{margin-top:.0625rem}.docs-sidebar-rail .docs-rail-button,.docs-toc-rail .docs-rail-button{background:var(--surface-primary);border-color:var(--border-primary);color:var(--text-content-secondary)}:focus-visible{outline:2px solid var(--brand-primary);outline-offset:2px}::-moz-selection{background-color:var(--brand-primary);color:var(--selection-text, #ffffff)}::selection{background-color:var(--brand-primary);color:var(--selection-text, #ffffff)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-secondary)}::-webkit-scrollbar-thumb{background:var(--border-secondary);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--border-tertiary)}img,video{display:block;max-width:100%}.prose{color:var(--text-content-secondary);max-width:65ch}.prose h1,.prose h2,.prose h3,.prose h4,.prose h5,.prose h6{color:var(--text-content);font-family:var(--font-display, var(--font-sans));font-weight:var(--heading-font-weight, 600);letter-spacing:var(--heading-letter-spacing, normal);line-height:1.3;margin-top:2rem;margin-bottom:1rem}.prose h1{margin-top:0;font-size:2.25rem}.prose h2{font-size:1.875rem}.prose h3{font-size:1.5rem}.prose h4{font-size:1.25rem}.prose p{margin-bottom:1.25rem;line-height:1.7}.prose ul,.prose ol,.prose pre,.prose table,.prose blockquote{margin-bottom:1.25rem}.prose a{color:var(--brand-primary);-webkit-text-decoration:var(--link-decoration, none);text-decoration:var(--link-decoration, none);text-decoration-thickness:var(--link-decoration-thickness, auto);text-underline-offset:var(--link-underline-offset, auto);transition:color .15s ease}.prose a:hover{color:var(--brand-secondary);-webkit-text-decoration:var(--link-decoration-hover, underline);text-decoration:var(--link-decoration-hover, underline)}.prose strong{color:var(--text-content);font-weight:600}.prose code{background-color:var(--surface-secondary);color:var(--brand-primary);padding:.125rem .375rem;border-radius:.375rem;font-size:.875em;font-family:var(--font-mono)}.prose pre{background-color:var(--surface-primary);border:1px solid var(--border-primary);border-radius:.5rem;padding:1rem;overflow-x:auto}.prose pre code{background-color:transparent;color:var(--text-content);padding:0;font-size:.875rem}.prose ul{padding-left:1.5rem;list-style-type:disc}.prose ul ul{list-style-type:circle}.prose ul ul ul{list-style-type:square}.prose ol{padding-left:1.5rem;list-style-type:decimal}.prose li{margin-bottom:.5rem}.prose blockquote{border-left:2px solid var(--border-secondary);padding-left:1rem;margin-left:0;color:var(--text-content-tertiary);font-style:italic}.prose table{width:100%;border-collapse:collapse;font-size:.9rem}.prose thead th{background-color:var(--surface-secondary);color:var(--text-content);font-weight:600}.prose th,.prose td{border:1px solid var(--border-primary);padding:.5rem .75rem;text-align:left;vertical-align:top}.prose tbody tr:nth-child(2n){background-color:var(--surface-primary)}.prose hr{border:none;border-top:1px solid var(--border-primary);margin:2rem 0}:root{--prose-max-width: 80ch}@media(min-width:1280px){:root{--prose-max-width: 92ch}}@media(min-width:1536px){:root{--prose-max-width: 108ch}}@media(min-width:1920px){:root{--prose-max-width: 120ch}}.docs-prose{max-width:none}.docs-prose>*{max-width:var(--prose-max-width)}.docs-prose>:where(hr,.not-prose){max-width:none}.docs-prose>table{display:block;width:100%;overflow-x:auto}.docs-prose>.mermaid-card{width:100%;max-width:var(--prose-max-width)}.docs-prose>.katex-display{overflow-x:auto}.docs-typst-embed{margin:0 0 2rem;display:flex;flex-direction:column;gap:.625rem;max-width:none}.docs-typst-embed-actions{display:inline-flex;align-items:center;gap:.375rem;align-self:flex-end}.docs-typst-embed-chip{display:inline-flex;align-items:center;gap:.375rem;height:1.875rem;padding:0 .625rem;background:transparent;border:1px solid var(--border-primary);border-radius:.375rem;color:var(--text-content-secondary);font-family:var(--font-sans);font-size:.75rem;font-weight:500;text-decoration:none;cursor:pointer;transition:background-color .15s ease,color .15s ease,border-color .15s ease}.docs-typst-embed-chip:hover,.docs-typst-embed-chip:focus-visible{background:var(--surface-secondary);color:var(--text-content);border-color:var(--border-secondary);outline:none}.docs-typst-embed-chip svg{width:.75rem;height:.75rem;flex-shrink:0}.docs-typst-embed-frame-wrap{position:relative;width:100%;min-height:32rem;height:calc(100dvh - 18rem);max-height:90vh;background:var(--surface-primary);border:1px solid var(--border-primary);border-radius:.5rem;overflow:hidden}.docs-typst-embed-frame-wrap:fullscreen{height:100vh;height:100dvh;max-height:none;border-radius:0;border:0}.docs-typst-embed-loader{position:absolute;inset:0;display:flex;flex-direction:column;gap:.5rem;align-items:center;justify-content:center;pointer-events:none;font-family:var(--font-sans);z-index:0;transition:opacity .24s ease}.docs-typst-embed-frame-wrap[data-loaded=true] .docs-typst-embed-loader{opacity:0}.docs-typst-embed-loader-eyebrow{font-size:.6875rem;font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--text-content-quaternary)}.docs-typst-embed-loader-title{font-size:.875rem;font-weight:500;color:var(--text-content-secondary)}.docs-typst-embed-frame{position:absolute;inset:0;display:block;width:100%;height:100%;border:0;background:#fff;z-index:1;opacity:0;transition:opacity .24s ease}.docs-typst-embed-frame-wrap[data-loaded=true] .docs-typst-embed-frame{opacity:1}.docs-typst-embed-fallback{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;padding:2rem;background:var(--surface-primary);z-index:2;text-align:center}.docs-typst-embed-fallback[hidden]{display:none}.docs-typst-embed-fallback-text{margin:0;max-width:36rem;color:var(--text-content-secondary);font-size:.875rem;line-height:1.55}.docs-typst-embed-fallback-text a{color:var(--brand-primary);text-decoration:none}.docs-typst-embed-fallback-text a:hover,.docs-typst-embed-fallback-text a:focus-visible{text-decoration:underline;text-underline-offset:.2em;outline:none}@media(max-width:640px){.docs-typst-embed-frame-wrap{min-height:24rem;height:calc(100dvh - 22rem)}}.docs-main:has(.docs-haddock-embed),.docs-main-inner:has(.docs-haddock-embed){max-width:none;min-height:100vh;padding:0;background:var(--bg-primary)}.docs-prose-haskell-haddock:has(.docs-haddock-embed){min-height:100vh;margin:0;padding:0}.docs-prose.docs-prose-haskell-haddock:has(.docs-haddock-embed)>*{max-width:none}.docs-haddock-embed{margin:0;height:100vh;max-width:none;background:var(--bg-primary)}.docs-haddock-embed-frame-wrap{position:relative;width:100%;height:100%;min-height:100vh;background:var(--bg-primary);border:0;border-radius:0;overflow:hidden}.docs-haddock-embed-frame-wrap:fullscreen{height:100vh;height:100dvh;max-height:none;border-radius:0;border:0}.docs-haddock-embed-loader{position:absolute;inset:0;display:flex;flex-direction:column;gap:.5rem;align-items:center;justify-content:center;pointer-events:none;font-family:var(--font-sans);z-index:0;transition:opacity .24s ease;background:var(--bg-primary)}.docs-haddock-embed-frame-wrap[data-loaded=true] .docs-haddock-embed-loader{opacity:0}.docs-haddock-embed-loader-eyebrow{font-size:.6875rem;font-weight:500;letter-spacing:.16em;text-transform:uppercase;color:var(--text-content-quaternary)}.docs-haddock-embed-loader-title{font-size:.875rem;font-weight:500;color:var(--text-content-secondary)}.docs-haddock-embed-frame{position:absolute;inset:0;display:block;width:100%;height:100%;border:0;background:var(--bg-primary);color-scheme:inherit;z-index:1;opacity:0;transition:opacity .24s ease}.docs-haddock-embed-frame-wrap[data-loaded=true] .docs-haddock-embed-frame{opacity:1}.docs-haddock-embed-fallback{position:absolute;inset:0;display:flex;align-items:center;justify-content:center;padding:2rem;background:var(--surface-primary);z-index:2;text-align:center}.docs-haddock-embed-fallback[hidden]{display:none}.docs-haddock-embed-fallback-text{margin:0;max-width:36rem;color:var(--text-content-secondary);font-size:.875rem;line-height:1.55}.docs-haddock-embed-fallback-text a{color:var(--brand-primary);text-decoration:none}.docs-haddock-embed-fallback-text a:hover,.docs-haddock-embed-fallback-text a:focus-visible{text-decoration:underline;text-underline-offset:.2em;outline:none}@media(max-width:640px){.docs-haddock-embed-frame-wrap{min-height:100vh}}.docs-haskell-index{display:grid;grid-template-columns:repeat(auto-fit,minmax(20rem,1fr));gap:1.25rem;margin:.25rem 0 1.5rem;max-width:56rem}a.docs-haskell-package-card{display:flex;flex-direction:column;gap:.375rem;padding:1.5rem;border:1px solid var(--border-primary);border-radius:.75rem;background:var(--surface-primary);color:var(--text-content);text-decoration:none;transition:border-color .2s ease,transform .2s ease,background .2s ease}a.docs-haskell-package-card:hover,a.docs-haskell-package-card:focus-visible{border-color:var(--brand-primary);background:var(--surface-secondary);color:var(--text-content);text-decoration:none;transform:translateY(-1px);outline:none}.docs-haskell-package-card-eyebrow{display:block;font-size:.6875rem;font-weight:600;letter-spacing:.14em;text-transform:uppercase;color:var(--text-content-tertiary)}.docs-haskell-package-card-title{display:block;margin-top:.125rem;font-family:var(--font-mono);font-size:1.125rem;font-weight:600;letter-spacing:-.005em;color:var(--text-content)}.docs-haskell-package-card-desc{display:block;margin-top:.375rem;font-size:.9375rem;line-height:1.55;color:var(--text-content-secondary)}.docs-haskell-package-card-cta{display:inline-flex;align-items:center;gap:.4rem;margin-top:auto;padding-top:.625rem;font-size:.8125rem;font-weight:500;letter-spacing:.005em;color:var(--brand-primary)}.docs-haskell-package-card-cta svg{width:.875rem;height:.875rem;transition:transform .2s ease}.docs-haskell-package-card:hover .docs-haskell-package-card-cta svg,.docs-haskell-package-card:focus-visible .docs-haskell-package-card-cta svg{transform:translate(3px)}.docs-prose>.repo-docs-lean-page{--lean-card-radius: .5rem;--lean-card-border: 1px solid var(--border-primary);--lean-card-bg: var(--surface-primary);--lean-card-chrome: var(--surface-secondary);--lean-hover-tint: color-mix(in srgb, var(--brand-primary) 16%, transparent);--lean-active-tint: color-mix(in srgb, var(--brand-primary) 26%, transparent);--lean-pad-x: 1rem;--lean-pad-y: .875rem;margin-top:2rem;max-width:none}.repo-docs-lean-page :where(code,pre,.hl.lean,.hl.lean code){background:transparent;border:0;border-radius:0;color:inherit;padding:0;font-size:inherit}.repo-docs-lean-workspace{display:grid;gap:1.5rem;align-items:start}@media(min-width:1280px){.repo-docs-lean-workspace:has(.repo-docs-proof-state-panel:not([hidden])){grid-template-columns:minmax(0,1fr) minmax(20rem,26rem)}}.repo-docs-lean-page .code-content{position:relative;min-width:0}.repo-docs-lean-page .imports-list{margin:0 0 1.5rem;background:var(--lean-card-chrome);border:var(--lean-card-border);border-radius:.5rem;color:var(--text-content-tertiary);font-size:.8125rem;overflow:hidden}.repo-docs-lean-page .imports-list>summary{display:flex;align-items:center;gap:.5rem;padding:.5rem var(--lean-pad-x);margin:0;cursor:pointer;list-style:none;font-family:var(--font-sans);font-size:.75rem;font-weight:500;letter-spacing:.02em;color:var(--text-content-tertiary);-webkit-user-select:none;-moz-user-select:none;user-select:none;transition:color .12s ease}.repo-docs-lean-page .imports-list>summary::-webkit-details-marker{display:none}.repo-docs-lean-page .imports-list>summary:before{content:"";width:0;height:0;border-left:4px solid currentColor;border-top:3px solid transparent;border-bottom:3px solid transparent;transition:transform .15s ease}.repo-docs-lean-page .imports-list[open]>summary:before{transform:rotate(90deg)}.repo-docs-lean-page .imports-list>summary:hover,.repo-docs-lean-page .imports-list>summary:focus-visible{color:var(--text-content);outline:none}.repo-docs-lean-page .imports-code{padding:.875rem var(--lean-pad-x) 1rem;border-top:1px solid var(--border-primary);background:var(--lean-card-bg);color:var(--text-content-secondary);font-family:var(--font-mono);font-size:.8125rem;line-height:1.65;overflow-x:auto}.repo-docs-lean-page :where(.md-text,.verso-text){max-width:70ch;margin:0 0 1.5rem;color:var(--text-content-secondary);font-family:var(--font-sans);font-size:1rem;line-height:1.7}.repo-docs-lean-page :where(.md-text,.verso-text) h1,.repo-docs-lean-page :where(.md-text,.verso-text) h2,.repo-docs-lean-page :where(.md-text,.verso-text) h3,.repo-docs-lean-page :where(.md-text,.verso-text) h4,.repo-docs-lean-page :where(.md-text,.verso-text) h5,.repo-docs-lean-page :where(.md-text,.verso-text) h6{margin:2rem 0 1rem;color:var(--text-content);font-family:var(--font-display, var(--font-sans));font-weight:var(--heading-font-weight, 600);line-height:1.3}.repo-docs-lean-page :where(.md-text,.verso-text) h1:first-child,.repo-docs-lean-page :where(.md-text,.verso-text) h2:first-child,.repo-docs-lean-page :where(.md-text,.verso-text) h3:first-child,.repo-docs-lean-page :where(.md-text,.verso-text) h4:first-child,.repo-docs-lean-page :where(.md-text,.verso-text) h5:first-child,.repo-docs-lean-page :where(.md-text,.verso-text) h6:first-child{margin-top:0}.repo-docs-lean-page .code-content>.code-box+:where(.md-text,.verso-text),.repo-docs-lean-page .code-content>:where(.md-text,.verso-text)+.code-box{margin-top:2rem}.repo-docs-lean-page :where(.md-text,.verso-text) p,.repo-docs-lean-page :where(.md-text,.verso-text) ul,.repo-docs-lean-page :where(.md-text,.verso-text) ol,.repo-docs-lean-page :where(.md-text,.verso-text) pre,.repo-docs-lean-page :where(.md-text,.verso-text) blockquote,.repo-docs-lean-page :where(.md-text,.verso-text) table{margin:0 0 1.25rem}.repo-docs-lean-page :where(.md-text,.verso-text)>:last-child{margin-bottom:0}.repo-docs-lean-page :where(.md-text,.verso-text) ul,.repo-docs-lean-page :where(.md-text,.verso-text) ol{padding-left:1.5rem}.repo-docs-lean-page :where(.md-text,.verso-text) :where(ul,ol)>p{display:list-item;margin:0 0 .375rem}.repo-docs-lean-page :where(.md-text,.verso-text) ul>p{list-style:disc outside}.repo-docs-lean-page :where(.md-text,.verso-text) ol>p{list-style:decimal outside}.repo-docs-lean-page :where(.md-text,.verso-text) table{display:block;width:100%;overflow-x:auto}.repo-docs-lean-page :where(.md-text,.verso-text) pre{padding:1rem;overflow-x:auto;background:var(--lean-card-bg);border:var(--lean-card-border);border-radius:.5rem}.repo-docs-lean-page :where(.md-text,.verso-text) :not(pre)>code{padding:.125rem .375rem;color:var(--brand-primary);background:var(--surface-secondary);border-radius:.375rem;font-family:var(--font-mono);font-size:.875em}.repo-docs-lean-page .code-box{position:relative;width:100%;padding:0;background:transparent;color:var(--text-content-secondary);font-family:var(--font-sans);overflow-x:auto}.repo-docs-lean-page .hl.lean{background:transparent;border-radius:0;color:var(--tok-default);font-family:var(--font-mono);font-size:inherit;padding:0;-moz-tab-size:2;-o-tab-size:2;tab-size:2}.repo-docs-lean-page .hl.lean.block{display:block;margin:.625rem 0;padding:var(--lean-pad-y) var(--lean-pad-x);width:-moz-max-content;width:max-content;min-width:100%;background:var(--lean-card-bg);border:var(--lean-card-border);border-radius:var(--lean-card-radius);font-size:.875rem;line-height:1.7;overflow-x:visible;white-space:pre}.repo-docs-lean-page .code-box>.hl.lean.block:first-child{margin-top:1rem}.repo-docs-lean-page .code-box>.hl.lean.block:last-child{margin-bottom:0}.repo-docs-lean-page .code-box>.md-text:not(.mod-doc),.repo-docs-lean-page .code-box>.verso-text:not(.mod-doc){margin:1.5rem 0 .25rem;padding:0}.repo-docs-lean-page .code-box>:where(.md-text,.verso-text):not(.mod-doc)+.hl.lean.block{margin-top:0}.repo-docs-lean-page .code-box>.md-text:not(.mod-doc)>:first-child,.repo-docs-lean-page .code-box>.verso-text:not(.mod-doc)>:first-child{margin-top:0}.repo-docs-lean-page .code-box>.md-text:not(.mod-doc)>:last-child,.repo-docs-lean-page .code-box>.verso-text:not(.mod-doc)>:last-child{margin-bottom:0}.repo-docs-lean-page .code-box>.md-text:not(.mod-doc) code,.repo-docs-lean-page .code-box>.verso-text:not(.mod-doc) code{padding:.125rem .375rem;color:var(--brand-primary);background:var(--surface-secondary);border:0;border-radius:.375rem;font-family:var(--font-mono);font-size:.875em}.repo-docs-lean-page .hl.lean .keyword{color:var(--tok-keyword)}.repo-docs-lean-page .hl.lean .const,.repo-docs-lean-page .hl.lean .module-name{color:var(--tok-constant)}.repo-docs-lean-page .hl.lean .var{color:var(--tok-variable)}.repo-docs-lean-page .hl.lean .literal{color:var(--tok-string)}.repo-docs-lean-page .hl.lean .unknown,.repo-docs-lean-page .hl.lean .inter-text{color:var(--tok-default)}.repo-docs-lean-page .hl.lean .token.binding-hl,.repo-docs-lean-page .hl.lean .literal.string:hover,.repo-docs-lean-page .hl.lean .token.typed:hover,.repo-docs-lean-page .hl.lean .has-info.warning:hover,.repo-docs-lean-page .hl.lean .has-info.error:hover,.repo-docs-lean-page .hl.lean .has-info.information:hover,.repo-docs-lean-page .hl.lean .tactic:has(.tactic-toggle:not(:checked))>label:hover{background-color:var(--lean-hover-tint)!important;border-radius:.25rem!important;transition:background-color .12s ease!important}.repo-docs-lean-page .hl.lean a{color:inherit;-webkit-text-decoration:currentcolor underline dotted;text-decoration:currentcolor underline dotted;text-underline-offset:.2em}.repo-docs-lean-page .hl.lean a:hover{color:var(--brand-primary);-webkit-text-decoration:currentcolor underline solid;text-decoration:currentcolor underline solid}.repo-docs-lean-page .hl.lean .tactic>label:after{border-color:var(--border-secondary)!important;background:color-mix(in srgb,var(--brand-primary) 18%,transparent)!important}.repo-docs-lean-page .hl.lean .tactic>label:has(+.tactic-toggle:checked):after{background:var(--brand-primary)!important;border-color:var(--brand-primary)!important}.repo-docs-lean-page .hl.lean .tactic.is-active>label{background-color:var(--lean-active-tint)!important;border-radius:.25rem!important;box-shadow:0 0 0 1px color-mix(in srgb,var(--brand-primary) 32%,transparent)}.repo-docs-lean-page .hl.lean .tactic-state,.hl.lean.popup .tactic-state{background:var(--surface-secondary)!important;border:1px solid var(--border-primary)!important;border-radius:.5rem!important;padding:.625rem .75rem!important;color:var(--text-content)!important;font-family:var(--font-sans)!important}.repo-docs-lean-page .lean-output{border-left-color:var(--border-secondary)}.repo-docs-lean-page .lean-output.error{border-left-color:var(--status-deprecated)}.repo-docs-lean-page .lean-output.warning{border-left-color:var(--status-draft)}.repo-docs-lean-page .lean-output.information{border-left-color:var(--brand-primary)}.repo-docs-proof-state-panel{background:var(--lean-card-bg);border:var(--lean-card-border);border-radius:var(--lean-card-radius);color:var(--text-content-secondary);overflow:hidden;display:flex;flex-direction:column;box-shadow:0 1px color-mix(in srgb,var(--border-primary) 40%,transparent) inset,0 16px 32px -24px #00000073}@media(min-width:1280px){.repo-docs-proof-state-panel{position:sticky;top:2rem;align-self:start;max-height:calc(100vh - 4rem)}}.repo-docs-proof-state-panel[hidden]{display:none}.repo-docs-proof-state-header{display:grid;gap:.25rem;padding:.625rem var(--lean-pad-x);background:var(--lean-card-chrome);border-bottom:1px solid var(--border-primary)}.repo-docs-proof-state-eyebrow{color:var(--text-content-tertiary);font-size:.6875rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase}.repo-docs-proof-state-header strong{color:var(--text-content);font-family:var(--font-mono);font-size:.9rem;font-weight:600;line-height:1.35;word-break:break-word}.repo-docs-proof-state-body{max-height:inherit;overflow:auto;padding:var(--lean-pad-y) var(--lean-pad-x);font-size:.875rem;line-height:1.6}.repo-docs-proof-state-body .tactic-state{display:block!important;position:static!important;width:auto!important;background:transparent!important;border:0!important;padding:0!important;color:var(--text-content-secondary)!important}.repo-docs-proof-state-body .goal+.goal{margin-top:1rem;padding-top:1rem;border-top:1px dashed var(--border-primary)}.repo-docs-proof-state-body .case-label{display:block;margin-bottom:.5rem;color:var(--text-content-tertiary);font-size:.6875rem;font-weight:700;letter-spacing:.12em;text-transform:uppercase}.repo-docs-proof-state-body .hypotheses,.repo-docs-proof-state-body .conclusion{display:block;font-family:var(--font-mono);font-size:.84375rem}.repo-docs-proof-state-body .hypothesis{display:grid;grid-template-columns:max-content 1rem minmax(0,1fr);gap:.25rem;margin-bottom:.375rem}.repo-docs-proof-state-body .hypothesis>*{min-width:0}.repo-docs-proof-state-body .hypotheses+.conclusion{margin-top:.75rem;padding-top:.75rem;border-top:1px solid var(--border-primary)}.repo-docs-proof-state-body .prefix{color:var(--brand-primary);font-weight:700}.repo-docs-proof-state-body .name,.repo-docs-proof-state-body .goal-name{color:var(--tok-constant)}.repo-docs-proof-state-body .type{color:var(--tok-default)}.repo-docs-lean-page .copy-button{position:absolute;right:.625rem;top:.625rem;z-index:2;display:inline-flex;align-items:center;gap:.375rem;background:color-mix(in srgb,var(--surface-secondary) 80%,transparent);backdrop-filter:blur(6px);border:1px solid var(--border-primary);border-radius:.375rem;color:var(--text-content-secondary);cursor:pointer;font-family:var(--font-sans);font-size:.75rem;font-weight:500;letter-spacing:0;line-height:1;padding:.3125rem .5rem;opacity:0;transform:translateY(-2px);transition:opacity .15s ease,transform .15s ease,background-color .15s ease,color .15s ease}.repo-docs-lean-page .code-content:hover .copy-button,.repo-docs-lean-page .copy-button:focus-visible{opacity:1;transform:translateY(0)}.repo-docs-lean-page .copy-button:hover,.repo-docs-lean-page .copy-button:focus-visible{background:var(--surface-hover);border-color:var(--border-secondary);color:var(--text-content);outline:none}.repo-docs-lean-page .copy-button.copied{color:var(--brand-primary);border-color:color-mix(in srgb,var(--brand-primary) 50%,var(--border-primary));opacity:1;transform:translateY(0)}.tippy-box[data-theme~=lean],.tippy-box[data-theme~=tactic],.tippy-box[data-theme~=warning],.tippy-box[data-theme~=error],.tippy-box[data-theme~=info]{background:var(--surface-primary)!important;border:1px solid var(--border-secondary)!important;border-radius:.5rem!important;color:var(--text-content)!important;font-family:var(--font-sans)!important;font-size:.875rem!important;line-height:1.55!important;box-shadow:0 .625rem 1.5rem -.5rem #00000052!important}.tippy-box[data-theme~=warning]{border-color:color-mix(in srgb,var(--status-draft) 60%,var(--border-secondary))!important}.tippy-box[data-theme~=error]{border-color:color-mix(in srgb,var(--status-deprecated) 60%,var(--border-secondary))!important}.tippy-box[data-theme~=info]{border-color:color-mix(in srgb,var(--brand-primary) 60%,var(--border-secondary))!important}.tippy-box[data-theme~=lean] .tippy-content,.tippy-box[data-theme~=tactic] .tippy-content,.tippy-box[data-theme~=warning] .tippy-content,.tippy-box[data-theme~=error] .tippy-content,.tippy-box[data-theme~=info] .tippy-content{max-width:min(44rem,calc(100vw - 2rem));max-height:min(32rem,calc(100vh - 2rem));overflow:auto;padding:.875rem 1rem!important}.tippy-box .hl.lean,.tippy-box .hover-info,.tippy-box .docstring{color:var(--text-content-secondary)!important;font-family:var(--font-sans)!important;white-space:normal!important}.tippy-box .hl.lean code,.tippy-box .hover-info code,.tippy-box .verso-message,.tippy-box .tactic-state .hypotheses,.tippy-box .tactic-state .conclusion{background:transparent!important;color:var(--text-content)!important;font-family:var(--font-mono)!important}.tippy-box .hl.lean .keyword{color:var(--tok-keyword)!important}.tippy-box .hl.lean .const,.tippy-box .hl.lean .module-name{color:var(--tok-constant)!important}.tippy-box .hl.lean .var{color:var(--tok-variable)!important}.tippy-box .hl.lean .literal{color:var(--tok-string)!important}.tippy-box .docstring p,.tippy-box .hover-info p{margin:0 0 .75rem}.tippy-box .docstring p:last-child,.tippy-box .hover-info p:last-child{margin-bottom:0}.tippy-box .docstring ul,.tippy-box .hover-info ul,.tippy-box .extra-doc-links{margin:.75rem 0 0;padding-left:1.25rem}.tippy-box .extra-doc-links a{color:var(--brand-primary)}.tippy-box .hover-info .sep{border-top:1px solid var(--border-primary)!important}.tippy-box .tactic-state{display:block!important;position:static!important;width:auto!important;background:transparent!important;border:0!important;padding:0!important}.tippy-box[data-theme~=lean]>.tippy-arrow:before,.tippy-box[data-theme~=tactic]>.tippy-arrow:before,.tippy-box[data-theme~=warning]>.tippy-arrow:before,.tippy-box[data-theme~=error]>.tippy-arrow:before,.tippy-box[data-theme~=info]>.tippy-arrow:before{border-top-color:var(--surface-primary)!important;border-bottom-color:var(--surface-primary)!important;border-left-color:var(--surface-primary)!important;border-right-color:var(--surface-primary)!important}.docs-prose>.docs-title+h1,.docs-prose>h1:first-child{display:none}.docs-title{margin-top:0;margin-bottom:2.5rem}.docs-title-breadcrumb{display:flex;flex-wrap:wrap;align-items:center;gap:.375rem;margin:0 0 1rem;font-size:.6875rem;text-transform:uppercase;letter-spacing:.16em;color:var(--text-content-quaternary)}.docs-title-command{float:right;display:inline-flex;align-items:center;justify-content:center;margin:.0625em 0 0 .875rem;width:1.625rem;height:1.625rem;padding:0;color:var(--text-content-tertiary);background:color-mix(in srgb,var(--surface-secondary) 70%,transparent);border:1px solid var(--border-primary);border-radius:.3125rem;cursor:pointer;transition:color .12s ease,border-color .12s ease,background-color .12s ease;position:relative;font-style:normal}.docs-title-command:hover,.docs-title-command:focus-visible{color:var(--text-content);border-color:var(--border-secondary);background:var(--surface-secondary);outline:none}.docs-title-command-icon{display:inline-flex;align-items:center;justify-content:center;width:.875rem;height:.875rem;color:inherit}.docs-title-command-icon svg{width:100%;height:100%}.docs-title-command-status{position:absolute;right:calc(100% + .5rem);top:50%;transform:translateY(-50%);white-space:nowrap;background:var(--surface-secondary);color:var(--text-content);font-family:var(--font-mono, ui-monospace, "JetBrains Mono", monospace);font-weight:600;font-style:normal;letter-spacing:.04em;text-transform:uppercase;font-size:.5625rem;padding:.1875rem .4375rem;border-radius:.25rem;border:1px solid var(--border-primary);opacity:0;pointer-events:none;transition:opacity .14s ease}.docs-title-command[data-copied] .docs-title-command-status{opacity:1}.docs-title-command[data-copied=true]{border-color:color-mix(in srgb,var(--brand-primary, currentColor) 50%,var(--border-secondary))}@media(max-width:640px){.docs-title-command{max-width:50%;font-size:.6875rem}}.docs-title-breadcrumb-sep{color:var(--text-content-quaternary);opacity:.65}.docs-title-breadcrumb-crumb{color:inherit}.docs-title-breadcrumb-crumb:last-child{color:var(--text-content-tertiary)}.docs-title-head{display:flex;flex-wrap:wrap;align-items:baseline;gap:.75rem 1rem;margin:0}.docs-title-heading{font-family:var(--font-display, var(--font-sans));font-size:clamp(2.25rem,1.8rem + 2.2vw,3.125rem);font-weight:600;letter-spacing:-.022em;line-height:1.1;color:var(--text-content);margin:0}.docs-title-badges{display:inline-flex;flex-wrap:wrap;gap:.375rem;margin:0;padding:0;list-style:none;align-self:center;transform:translateY(-.125em)}.docs-title-badge{display:inline-flex;align-items:center;gap:.3125rem;padding:.1875rem .4375rem;font-size:.625rem;font-weight:500;text-transform:uppercase;letter-spacing:.06em;color:var(--text-content-tertiary);background:transparent;border:1px solid var(--border-primary);border-radius:.25rem;line-height:1.35;transition:border-color .12s ease,color .12s ease,background-color .12s ease}.docs-title-badge a{color:inherit;text-decoration:none}.docs-title-badge:has(a:hover),.docs-title-badge:has(a:focus-visible){color:var(--text-content);border-color:var(--border-secondary);background:var(--surface-secondary)}.docs-title-badge-draft{color:var(--brand-primary);border-color:color-mix(in srgb,var(--brand-primary) 32%,transparent)}.docs-title-description{max-width:70ch;margin:.875rem 0 0;font-size:1.0625rem;line-height:1.55;color:var(--text-content-secondary);font-style:italic;font-weight:400}.docs-title-description:has(.docs-title-command),.docs-title-byline:has(.docs-title-command){max-width:none}.docs-title-byline{display:flex;flex-wrap:wrap;align-items:center;gap:.5rem;margin:1.25rem 0 0;font-size:.8125rem;color:var(--text-content-tertiary);letter-spacing:.005em}.docs-title-byline-authors{display:inline-flex;flex-wrap:wrap;gap:.5rem;align-items:center}.docs-title-byline-author{color:var(--text-content-secondary);font-weight:500}.docs-title-byline-date,.docs-title-byline-updated{font-variant-numeric:tabular-nums}.docs-title-byline-sep{color:var(--text-content-quaternary);opacity:.7}.docs-title-divider{clear:both;width:100%;margin:2rem 0 0;border:0;border-top:1px solid var(--border-primary)}.docs-meta-block{display:flex;flex-wrap:wrap;align-items:center;gap:.4rem;margin:0 0 1.5rem;padding:0;background:transparent;border:0}.docs-meta-pill{display:inline-flex;align-items:center;gap:.3rem;padding:.15rem .55rem;font-size:.6875rem;font-weight:500;line-height:1.45;letter-spacing:.005em;border-radius:.3125rem;text-decoration:none;color:var(--text-content-tertiary);border:1px solid color-mix(in srgb,currentColor 35%,transparent);background:color-mix(in srgb,currentColor 8%,transparent);transition:border-color .12s ease,background-color .12s ease,color .12s ease}.docs-meta-pill>span{color:var(--text-content);font-weight:500}a.docs-meta-pill:hover,a.docs-meta-pill:focus-visible{border-color:color-mix(in srgb,currentColor 60%,transparent);background:color-mix(in srgb,currentColor 16%,transparent);outline:none}.docs-meta-pill-superseded{color:var(--status-superseded)}.docs-meta-pill-related{color:var(--text-content-tertiary)}.docs-meta-pill-ticket{color:var(--text-content-tertiary);font-family:var(--font-mono);font-size:.6875rem;letter-spacing:.02em}.docs-meta-pill-text{color:var(--text-content-tertiary)}.docs-sequence{display:grid;grid-template-columns:1fr 1fr;gap:.875rem;margin:3rem 0 0;padding-top:1.5rem;border-top:1px solid var(--border-primary)}.docs-sequence-link{display:flex;flex-direction:column;gap:.25rem;padding:0;background:transparent;border:0;color:var(--text-content-secondary);text-decoration:none;transition:color .12s ease}.docs-sequence-link:hover .docs-sequence-title,.docs-sequence-link:focus-visible .docs-sequence-title{color:var(--brand-primary);text-decoration:underline;text-underline-offset:.2em}.docs-sequence-link:focus-visible{outline:2px solid var(--brand-primary);outline-offset:4px;border-radius:.125rem}.docs-sequence-prev{align-items:flex-start;text-align:left}.docs-sequence-next{align-items:flex-end;text-align:right}.docs-sequence-direction{font-size:.6875rem;font-weight:600;text-transform:uppercase;letter-spacing:.12em;color:var(--text-content-quaternary)}.docs-sequence-title{font-size:.9375rem;font-weight:500;color:var(--text-content);line-height:1.35}.docs-sequence-spacer{display:block}@media(max-width:640px){.docs-sequence{grid-template-columns:1fr}.docs-sequence-spacer{display:none}}.docs-prose .footnotes{margin-top:3rem;padding-top:1.25rem;border-top:1px solid var(--border-primary);font-size:.8125rem;color:var(--text-content-secondary);counter-reset:docs-footnote}.docs-prose .footnotes:before{content:"References";display:block;font-size:.6875rem;font-weight:600;text-transform:uppercase;letter-spacing:.14em;color:var(--text-content-quaternary);margin-bottom:.875rem}.docs-prose .footnotes .sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.docs-prose .footnotes ol{margin:0;padding-left:1.5rem}.docs-prose .footnotes li{margin-bottom:.625rem;padding-left:.25rem}.docs-prose .footnotes li p{margin:0;line-height:1.55}.docs-prose .footnotes a[data-footnote-backref]{color:var(--text-content-quaternary);text-decoration:none;margin-left:.25rem;font-size:.875em;opacity:.7;transition:opacity .12s ease,color .12s ease}.docs-prose .footnotes a[data-footnote-backref]:hover,.docs-prose .footnotes a[data-footnote-backref]:focus-visible{color:var(--brand-primary);opacity:1;outline:none}.docs-prose sup a[data-footnote-ref]{color:var(--brand-primary);text-decoration:none;padding:0 .15em;border-radius:.125rem;font-weight:500}.docs-prose sup a[data-footnote-ref]:hover,.docs-prose sup a[data-footnote-ref]:focus-visible{background:var(--surface-secondary);outline:none}.docs-prose :is(h2,h3)[id=references]+ol,.docs-prose :is(h2,h3)[id=bibliography]+ol,.docs-prose ol.docs-references{list-style:decimal outside;padding-left:2.25rem;margin:.875rem 0 0;font-size:.8125rem;line-height:1.55;color:var(--text-content-secondary)}.docs-prose :is(h2,h3)[id=references]+ol>li,.docs-prose :is(h2,h3)[id=bibliography]+ol>li,.docs-prose ol.docs-references>li{margin-bottom:.625rem;padding-left:.25rem}.docs-prose :is(h2,h3)[id=references]+ol>li::marker,.docs-prose :is(h2,h3)[id=bibliography]+ol>li::marker,.docs-prose ol.docs-references>li::marker{color:var(--text-content-quaternary);font-variant-numeric:tabular-nums;font-size:.78125rem}.docs-prose :is(h2,h3)[id=references]+ol>li>p,.docs-prose :is(h2,h3)[id=bibliography]+ol>li>p,.docs-prose ol.docs-references>li>p{margin:0}.docs-prose :is(h2,h3)[id=references]+ol em,.docs-prose :is(h2,h3)[id=bibliography]+ol em,.docs-prose ol.docs-references em{color:var(--text-content);font-style:italic}.docs-prose :is(h2,h3)[id=references]+ol a,.docs-prose :is(h2,h3)[id=bibliography]+ol a,.docs-prose ol.docs-references a{color:var(--brand-primary);font-family:var(--font-mono);font-size:.92em;letter-spacing:0;text-decoration:none;word-break:break-word}.docs-prose :is(h2,h3)[id=references]+ol a:hover,.docs-prose :is(h2,h3)[id=references]+ol a:focus-visible,.docs-prose :is(h2,h3)[id=bibliography]+ol a:hover,.docs-prose :is(h2,h3)[id=bibliography]+ol a:focus-visible,.docs-prose ol.docs-references a:hover,.docs-prose ol.docs-references a:focus-visible{text-decoration:underline;text-underline-offset:.2em;outline:none}.docs-prose :is(h2,h3):is([id=references],[id=bibliography]){margin-top:3rem;padding-top:1.25rem;border-top:1px solid var(--border-primary);font-size:.6875rem;font-weight:600;text-transform:uppercase;letter-spacing:.14em;color:var(--text-content-quaternary);margin-bottom:0;font-family:var(--font-sans)}.docs-tag-list{list-style:none;margin:0;padding:0}.docs-tag-item{margin:0;padding:.875rem 0;border-bottom:1px solid var(--border-primary)}.docs-tag-item:first-child{padding-top:0}.docs-tag-item:last-child{border-bottom:0}.docs-tag-link{display:inline-block;font-size:1rem;font-weight:500;color:var(--text-content);text-decoration:none;transition:color .12s ease}.docs-tag-link:hover,.docs-tag-link:focus-visible{color:var(--brand-primary);outline:none}.docs-tag-meta{margin:.25rem 0 0;font-size:.8125rem;color:var(--text-content-tertiary);line-height:1.5}.docs-tag-date{font-variant-numeric:tabular-nums;color:var(--text-content-tertiary)}.docs-tag-sep{color:var(--text-content-quaternary)}.docs-tag-desc{color:var(--text-content-secondary)}.docs-prose-publication .docs-title-heading{font-size:clamp(2.5rem,1.9rem + 2.6vw,3.625rem);letter-spacing:-.026em;line-height:1.05}.docs-prose-publication .docs-title-description{font-size:1.1875rem;max-width:65ch;margin-top:1.125rem}.docs-prose-publication .docs-title-divider{border-top-width:2px}.docs-prose-research-note .docs-title-byline,.docs-prose-handoff .docs-title-byline,.docs-prose-experiment .docs-title-byline{font-size:.875rem;margin-top:1rem}.docs-prose-research-note .docs-title-byline-date,.docs-prose-handoff .docs-title-byline-date,.docs-prose-experiment .docs-title-byline-date{color:var(--text-content-secondary);font-weight:500}.prose .katex-display{overflow-x:auto;padding:.5rem 0}.prose .mermaid-card{position:relative;background-color:var(--surface-primary);border:1px solid var(--border-primary);border-radius:.5rem;margin-bottom:1.5rem;overflow:hidden}.prose .mermaid-toolbar{position:absolute;top:.5rem;right:.5rem;z-index:1;display:flex;align-items:center;justify-content:flex-end;padding:0;background:transparent;border:0;pointer-events:none}.prose .mermaid-expand-button{pointer-events:auto;background-color:color-mix(in srgb,var(--surface-secondary) 80%,transparent);backdrop-filter:blur(6px);border:1px solid var(--border-primary);border-radius:.375rem;color:var(--text-content-secondary);cursor:pointer;font-family:inherit;font-size:.75rem;font-weight:500;line-height:1;padding:.3125rem .5rem;opacity:0;transition:opacity .15s ease,background-color .15s ease,color .15s ease}.prose .mermaid-card:hover .mermaid-expand-button,.prose .mermaid-expand-button:focus-visible{opacity:1}.prose .mermaid-expand-button:hover,.prose .mermaid-expand-button:focus-visible{background-color:var(--surface-secondary);color:var(--text-content);outline:none}.prose .mermaid{background-color:var(--surface-primary);padding:1rem;overflow-x:auto}.prose .mermaid svg,.prose .mermaid svg foreignObject,.prose .mermaid svg .label,.prose .mermaid svg .nodeLabel,.prose .mermaid svg .edgeLabel{overflow:visible!important}.prose .mermaid svg :where(.label,.nodeLabel,.edgeLabel) p{margin:0!important;line-height:1.35!important}.prose .mermaid svg :where(.label,.nodeLabel,.edgeLabel) code{padding:0!important;color:inherit!important;background:transparent!important;border-radius:0!important;font:inherit!important}.prose .mermaid svg .edgeLabel p{display:inline-block;padding:.08rem .35rem!important;border-radius:.25rem}.prose .mermaid svg{display:block;margin:0 auto;height:auto;max-width:100%}.prose .mermaid-card:fullscreen{background-color:var(--surface-primary);display:flex;flex-direction:column;height:100%;margin:0;padding:1rem;width:100%}.prose .mermaid-card:fullscreen .mermaid-expand-button{opacity:1}.prose .mermaid-card:fullscreen .mermaid{display:flex;flex:1 1 auto;align-items:flex-start;justify-content:flex-start;overflow:auto}html[data-theme=cortex-slate] .mermaid svg .node rect,html[data-theme=cortex-slate] .mermaid svg .node polygon,html[data-theme=cortex-slate] .mermaid svg .node circle,html[data-theme=cortex-slate] .mermaid svg .node ellipse,html[data-theme=cortex-slate] .mermaid svg .node path,html[data-theme=cortex-slate] .mermaid svg .cluster rect{stroke-width:1px!important}html[data-theme=cortex-slate] .mermaid svg .edgePath .path,html[data-theme=cortex-slate] .mermaid svg .flowchart-link,html[data-theme=cortex-slate] .mermaid svg .messageLine0,html[data-theme=cortex-slate] .mermaid svg .messageLine1,html[data-theme=cortex-slate] .mermaid svg .actor-line{stroke-width:1px!important}html[data-theme=cortex-slate] .mermaid svg .arrowheadPath,html[data-theme=cortex-slate] .mermaid svg .marker{stroke-width:1px!important}html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+1)>rect,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+1)>polygon,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+1)>circle,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+1)>ellipse,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+1)>path{fill:#383f5e!important;stroke:#5a6493!important}html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+2)>rect,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+2)>polygon,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+2)>circle,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+2)>ellipse,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+2)>path{fill:#2f4a4a!important;stroke:#4d7a78!important}html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+3)>rect,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+3)>polygon,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+3)>circle,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+3)>ellipse,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+3)>path{fill:#4a3f2f!important;stroke:#7a6948!important}html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+4)>rect,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+4)>polygon,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+4)>circle,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+4)>ellipse,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+4)>path{fill:#4a323e!important;stroke:#7a525f!important}html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+5)>rect,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+5)>polygon,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+5)>circle,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+5)>ellipse,html[data-theme=cortex-slate] .mermaid svg g.nodes>g.node:nth-of-type(5n+5)>path{fill:#3a4a3a!important;stroke:#5e7a5e!important}html[data-theme=cortex-slate] .mermaid svg .node .label,html[data-theme=cortex-slate] .mermaid svg .node .label *,html[data-theme=cortex-slate] .mermaid svg .nodeLabel,html[data-theme=cortex-slate] .mermaid svg .nodeLabel *{color:#cdd9e5!important;fill:#cdd9e5!important}html[data-theme=cortex-slate] .mermaid svg .cluster rect{fill:#2d333b!important;stroke:#444c56!important}html[data-theme=cortex-slate] .mermaid svg .edgeLabel,html[data-theme=cortex-slate] .mermaid svg .edgeLabel rect{background-color:#2d333b!important;fill:#2d333b!important;color:#adbac7!important}html[data-theme=cortex-slate] .mermaid svg .edgeLabel p{background-color:#2d333b!important}html[data-theme=cortex-slate] .mermaid svg .edgeLabel :where(span,p,text,tspan){color:#adbac7!important;fill:#adbac7!important}html.light .astro-code,html.light .astro-code span{color:var(--shiki-light)!important;font-style:var(--shiki-light-font-style)!important;font-weight:var(--shiki-light-font-weight)!important;-webkit-text-decoration:var(--shiki-light-text-decoration)!important;text-decoration:var(--shiki-light-text-decoration)!important}html.dark .astro-code,html.dark .astro-code span{background-color:var(--shiki-dark-bg)!important;color:var(--shiki-dark)!important;font-style:var(--shiki-dark-font-style)!important;font-weight:var(--shiki-dark-font-weight)!important;-webkit-text-decoration:var(--shiki-dark-text-decoration)!important;text-decoration:var(--shiki-dark-text-decoration)!important}.tree-sitter-pre,html.light .tree-sitter-pre,html.dark .tree-sitter-pre{background-color:var(--surface-primary)!important;color:var(--tok-default)}.tree-sitter-pre .tree-sitter-code{background-color:transparent!important}.tree-sitter-code{color:var(--tok-default)}.tree-sitter-code .tok-keyword{color:var(--tok-keyword)}.tree-sitter-code .tok-keyword-operator{color:var(--tok-keyword-operator)}.tree-sitter-code .tok-function,.tree-sitter-code .tok-function-call,.tree-sitter-code .tok-function-method{color:var(--tok-function)}.tree-sitter-code .tok-method{color:var(--tok-method)}.tree-sitter-code .tok-constructor{color:var(--tok-constructor)}.tree-sitter-code .tok-type,.tree-sitter-code .tok-type-builtin{color:var(--tok-type)}.tree-sitter-code .tok-constant,.tree-sitter-code .tok-constant-builtin,.tree-sitter-code .tok-constant-macro{color:var(--tok-constant)}.tree-sitter-code .tok-number{color:var(--tok-number)}.tree-sitter-code .tok-boolean{color:var(--tok-boolean)}.tree-sitter-code .tok-string,.tree-sitter-code .tok-string-special,.tree-sitter-code .tok-string-special-key{color:var(--tok-string)}.tree-sitter-code .tok-escape{color:var(--tok-escape)}.tree-sitter-code .tok-comment,.tree-sitter-code .tok-comment-documentation{color:var(--tok-comment);font-style:italic}.tree-sitter-code .tok-variable,.tree-sitter-code .tok-variable-member{color:var(--tok-variable)}.tree-sitter-code .tok-property{color:var(--tok-property)}.tree-sitter-code .tok-parameter{color:var(--tok-parameter)}.tree-sitter-code .tok-operator{color:var(--tok-operator)}.tree-sitter-code .tok-punctuation,.tree-sitter-code .tok-punctuation-bracket,.tree-sitter-code .tok-punctuation-delimiter,.tree-sitter-code .tok-punctuation-special{color:var(--tok-punctuation)}.tree-sitter-code .tok-tag{color:var(--tok-tag)}.tree-sitter-code .tok-attribute{color:var(--tok-attribute)}.tree-sitter-code .tok-namespace{color:var(--tok-namespace)}.tree-sitter-code .tok-label{color:var(--tok-label)}