.ce-file-header_header__AkqML{display:flex;flex-wrap:wrap;align-items:baseline;gap:.5rem 1rem;margin-bottom:1.5rem}.ce-file-header_fileIdChip__xZfXX{font-family:var(--font-mono);font-size:.95rem;padding:.25rem .6rem;border-radius:6px;background-color:var(--base01);border:1px solid var(--base02);color:var(--base05);word-break:break-all}.ce-file-header_meta__ssLbR{display:flex;flex-wrap:wrap;align-items:baseline;gap:.25rem 1rem}.ce-file-header_metaLine__HfVj1{margin:0;font-size:.9rem;color:var(--base04)}.ce-file-header_publisherLink__NpMOd{color:var(--base0D);text-decoration:none}.ce-file-header_publisherLink__NpMOd:hover{text-decoration:underline}.ce-file-header_forkedFromId__Pcjyi{font-family:var(--font-mono);font-size:.85rem;word-break:break-all}.workbench-status-bar_statusBar__vhjv_{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.4rem 1rem;height:2rem;flex:0 0 auto;border-top:1px solid var(--base02);background-color:var(--base01);font-size:.8rem;color:var(--base04)}@media (max-width:767px){.workbench-status-bar_statusBar__vhjv_{height:auto;min-height:2.75rem;padding:.25rem .75rem max(.25rem,env(safe-area-inset-bottom));gap:.5rem}}.workbench-status-bar_left__FabMb{display:flex;align-items:center;gap:.75rem;min-width:0;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.workbench-status-bar_right__BYR0O{display:flex;align-items:center;gap:.5rem;flex:0 0 auto}.workbench-status-bar_statusBar__vhjv_ [data-slot=button]{height:1.5rem;width:1.5rem;padding:0}.workbench-status-bar_statusBar__vhjv_ [data-slot=button] svg{width:.875rem;height:.875rem}@media (max-width:767px){.workbench-status-bar_statusBar__vhjv_ [data-slot=button]{height:2.75rem;width:2.75rem}.workbench-status-bar_statusBar__vhjv_ [data-slot=button] svg{width:1.25rem;height:1.25rem}.workbench-status-bar_paletteButton__747kN,.workbench-status-bar_shortcutsButton__Bj0ZZ{width:2.75rem;height:2.75rem}.workbench-status-bar_paletteIcon__Okude,.workbench-status-bar_shortcutsIcon__H0BD3{width:1.25rem;height:1.25rem}}.workbench-status-bar_fileIdChip__9WcgP{font-family:var(--font-mono);font-size:.75rem;padding:.1rem .4rem;border-radius:4px;background-color:var(--base00);border:1px solid var(--base02);color:var(--base05);max-width:14rem}.workbench-status-bar_fileIdChip__9WcgP,.workbench-status-bar_publisherLine__4mlXj{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}@media (max-width:767px){.workbench-status-bar_publisherLine__4mlXj{display:none}}.workbench-status-bar_declCountChip__sNb3G{font-family:var(--font-mono);font-size:.75rem;padding:.1rem .4rem;border-radius:4px;background-color:var(--base00);border:1px solid var(--base02);color:var(--base05);white-space:nowrap}.workbench-status-bar_publisherLink__QvvCG{color:var(--base0D);text-decoration:none}.workbench-status-bar_publisherLink__QvvCG:hover{text-decoration:underline}.workbench-status-bar_searchHint__HIMh_{display:inline-flex;align-items:center;gap:.25rem;white-space:nowrap;color:var(--base04)}@media (max-width:767px){.workbench-status-bar_searchHint__HIMh_{display:none}}.workbench-status-bar_kbd__R5NIq{display:inline-flex;align-items:center;justify-content:center;min-width:1rem;height:1.1rem;padding:0 .25rem;border:solid var(--base02);border-width:1px 1px 2px;border-radius:3px;background-color:var(--base00);color:var(--base05);font-family:var(--font-mono);font-size:.7rem;line-height:1}.workbench-status-bar_copyright__k9fnQ{color:var(--base04);white-space:nowrap}.workbench-status-bar_legalLink__JCmgj{color:var(--base04);text-decoration:none;white-space:nowrap}.workbench-status-bar_legalLink__JCmgj:hover{color:var(--base05);text-decoration:underline}@media (max-width:767px){.workbench-status-bar_copyright__k9fnQ,.workbench-status-bar_legalLink__JCmgj{display:none}}.workbench-status-bar_shortcutsButton__Bj0ZZ{display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;padding:0;background-color:transparent;border:0;border-radius:3px;color:var(--base04);cursor:pointer;transition:background-color 80ms ease,color 80ms ease}.workbench-status-bar_shortcutsButton__Bj0ZZ:hover{background-color:var(--base02);color:var(--base05)}.workbench-status-bar_shortcutsButton__Bj0ZZ:focus-visible{outline:2px solid var(--ring);outline-offset:1px}.workbench-status-bar_shortcutsIcon__H0BD3{width:14px;height:14px}@media (max-width:767px){.workbench-status-bar_shortcutsButton__Bj0ZZ{display:none}}@media (prefers-reduced-motion:reduce){.workbench-status-bar_shortcutsButton__Bj0ZZ{transition:none}}.workbench-status-bar_focusModeButton__s_fCJ{display:inline-flex;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;padding:0;background-color:transparent;border:0;border-radius:3px;color:var(--base04);cursor:pointer;transition:background-color 80ms ease,color 80ms ease}.workbench-status-bar_focusModeButton__s_fCJ:hover,.workbench-status-bar_focusModeButton__s_fCJ[aria-pressed=true]{background-color:var(--base02);color:var(--base05)}.workbench-status-bar_focusModeButton__s_fCJ:focus-visible{outline:2px solid var(--ring);outline-offset:1px}.workbench-status-bar_focusModeIcon__6b_gp{width:14px;height:14px}@media (max-width:767px){.workbench-status-bar_focusModeButton__s_fCJ{width:2.75rem;height:2.75rem}.workbench-status-bar_focusModeIcon__6b_gp{width:1.25rem;height:1.25rem}}@media (prefers-reduced-motion:reduce){.workbench-status-bar_focusModeButton__s_fCJ{transition:none}}.workbench-status-bar_paletteButton__747kN{display:none;align-items:center;justify-content:center;width:1.25rem;height:1.25rem;padding:0;background-color:transparent;border:0;border-radius:3px;color:var(--base04);cursor:pointer;transition:background-color 80ms ease,color 80ms ease}.workbench-status-bar_paletteButton__747kN:hover{background-color:var(--base02);color:var(--base05)}.workbench-status-bar_paletteButton__747kN:focus-visible{outline:2px solid var(--ring);outline-offset:1px}.workbench-status-bar_paletteIcon__Okude{width:14px;height:14px}@media (max-width:767px){.workbench-status-bar_paletteButton__747kN{display:inline-flex}}@media (prefers-reduced-motion:reduce){.workbench-status-bar_paletteButton__747kN{transition:none}}.workbench-status-bar_viewToggleSlot__XXySq{display:inline-flex;align-items:center;flex:0 1 auto;min-width:0;overflow:hidden}.workbench-status-bar_viewToggleSlot__XXySq [data-slot=button]{width:auto;height:1.5rem;padding:0 .5rem;font-size:.72rem;white-space:nowrap}.workbench-status-bar_viewToggleSlot__XXySq [data-slot=button] svg{width:auto;height:auto}@media (max-width:1023px){.workbench-status-bar_statusLeftMobileHide__0FKX3{display:none}}@media (max-width:767px){.workbench-status-bar_viewToggleSlot__XXySq [data-slot=button]{height:1.875rem;padding:0 .6rem}.workbench-status-bar_statusBar__vhjv_:has(.workbench-status-bar_viewToggleSlot__XXySq){display:grid;grid-template-columns:minmax(0,1fr) auto minmax(0,1fr);column-gap:.5rem}.workbench-status-bar_statusBar__vhjv_:has(.workbench-status-bar_viewToggleSlot__XXySq) .workbench-status-bar_viewToggleSlot__XXySq{grid-column:2;justify-self:center}.workbench-status-bar_statusBar__vhjv_:has(.workbench-status-bar_viewToggleSlot__XXySq) .workbench-status-bar_right__BYR0O{grid-column:3;justify-self:end}}.shortcuts-help_content__MMN7w{max-width:28rem}.shortcuts-help_list___Lhf2{display:grid;grid-template-columns:auto 1fr;column-gap:1rem;row-gap:.5rem;margin:0;padding:0}.shortcuts-help_keys__5byPu{display:flex;align-items:center;gap:.25rem;margin:0}.shortcuts-help_kbd__K_Oj2{display:inline-flex;align-items:center;justify-content:center;min-width:1.6rem;height:1.6rem;padding:0 .4rem;border:solid var(--base02);border-width:1px 1px 2px;border-radius:4px;background-color:var(--base00);color:var(--base05);font-family:var(--font-mono);font-size:.8rem}.shortcuts-help_description__CgVK0{margin:0;align-self:center;font-size:.9rem;color:var(--base05)}.shortcuts-help_gesturesHeading__sL2_z{margin:1rem 0 0;font-size:.85rem;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--base04)}.shortcuts-help_gestureName__rHd9Z{margin:0;align-self:center;font-size:.9rem;color:var(--base05)}@media (max-width:767px){.command-palette_input__ODzYr{font-size:1rem}}.command-palette_localName__MGT23{font-family:var(--font-mono);font-size:.875rem;color:var(--base05)}.command-palette_qualifiedName__l_VaI{margin-left:auto;font-size:.75rem;color:var(--base04);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;max-width:60%}.command-palette_footer__FqvCT{display:flex;align-items:center;gap:.75rem;flex-wrap:wrap;padding:.4rem .75rem;border-top:1px solid var(--base02);background-color:var(--base01);font-size:.7rem;color:var(--base04)}.command-palette_footerHint__4Gk3b{display:inline-flex;align-items:center;gap:.25rem;white-space:nowrap}.command-palette_kbd__oXjw8{display:inline-flex;align-items:center;justify-content:center;min-width:1rem;height:1.1rem;padding:0 .25rem;border:solid var(--base02);border-width:1px 1px 2px;border-radius:3px;background-color:var(--base00);color:var(--base05);font-family:var(--font-mono);font-size:.7rem;line-height:1}.identifier-popover_body__4h59J{display:flex;flex-direction:column;gap:.4rem;font-family:var(--font-mono);font-size:.8rem;line-height:1.45}.identifier-popover_content__Mw1n9{width:auto;min-width:14rem;max-width:min(32rem,90vw);padding:.6rem .75rem;border-radius:6px;background-color:var(--base01);border:1px solid var(--base02);color:var(--base05);box-shadow:0 4px 16px rgb(0 0 0/.18);z-index:50;white-space:normal}@media (prefers-reduced-motion:no-preference){.identifier-popover_content__Mw1n9[data-state=open]{animation:identifier-popover_identifier-popover-in___rjzI .12s ease-out}.identifier-popover_content__Mw1n9[data-state=closed]{animation:identifier-popover_identifier-popover-out__W1X0R 80ms ease-in}}@keyframes identifier-popover_identifier-popover-in___rjzI{0%{opacity:0;transform:scale(.95)}to{opacity:1;transform:scale(1)}}@keyframes identifier-popover_identifier-popover-out__W1X0R{0%{opacity:1;transform:scale(1)}to{opacity:0;transform:scale(.95)}}.identifier-popover_qualifiedName__gpQZZ{color:var(--base05);font-weight:600;word-break:break-all}.identifier-popover_typeSummary__gr3VZ{color:var(--base04);white-space:pre-wrap;word-break:break-word}.identifier-popover_kindBadge__3lI4y{display:inline-block;align-self:flex-start;background-color:var(--base02);color:var(--base04);font-family:var(--font-mono);font-size:.7rem;line-height:1;padding:.2rem .4rem;border-radius:4px;text-transform:lowercase;letter-spacing:.02em}.avatar-stack_row__Vrmur{display:flex;align-items:center}.avatar-stack_avatar__2L7vZ{position:relative;display:inline-flex;flex:none;border-radius:9999px;box-shadow:0 0 0 2px var(--base01)}.avatar-stack_avatar__2L7vZ:not(:first-child){margin-left:-7px}.avatar-stack_more__Bpkev{margin-left:.5rem;font-size:.8rem;color:var(--base04)}.token-tree_tag__gjlW8{background:none;border:0;padding:0}.token-tree_text__ad4lJ{background:none}.token-tree_kindIdentifier__avA_F{color:var(--ce-token-identifier)}.token-tree_kindKeyword__ALHXy{color:var(--ce-token-keyword)}.token-tree_kindOp__mGyDA{color:var(--ce-token-op)}.token-tree_kindLiteral__x0bwJ{color:var(--ce-token-literal)}.token-tree_kindString__0qiQ8{color:var(--ce-token-string)}.token-tree_kindComment__7UcSp{color:var(--ce-token-comment);font-style:italic}.token-tree_kindStdlib__3vf24{color:var(--ce-token-stdlib);cursor:default}.token-tree_kindWhitespace__ebQJd{color:inherit}.token-tree_clickable__OJ_w1{cursor:pointer;text-decoration:underline dotted;text-decoration-color:color-mix(in oklab,var(--ring) 55%,transparent);text-decoration-thickness:1px;text-underline-offset:2px}.token-tree_clickable__OJ_w1:hover{text-decoration:underline;text-decoration-color:var(--ring);text-decoration-thickness:1px;text-underline-offset:2px}.token-tree_clickable__OJ_w1:focus-visible{outline:2px solid var(--ring);outline-offset:2px;border-radius:2px}.token-tree_stdlib__0nJqC{color:var(--ce-token-stdlib);cursor:default}.token-tree_binderDefSite__5buaR{color:var(--ce-token-binder-defsite);font-style:normal}.token-tree_binderUseSite__xdUkA{color:var(--ce-token-binder-usesite)}.token-tree_kindNotation__JlY6v{color:var(--ce-token-notation)}.render-hast_sliceIdentifier__vA62X{color:var(--ce-token-binder-usesite)}.render-hast_sliceIdentifier__vA62X[data-kind=identifier]:not([data-qualified-name]){color:var(--ce-token-binder-defsite)!important}.render-hast_sliceIdentifier__vA62X[data-def-id]{cursor:pointer;text-decoration:underline dotted;text-decoration-color:color-mix(in oklab,var(--ring) 55%,transparent);text-decoration-thickness:1px;text-underline-offset:2px}.render-hast_sliceIdentifier__vA62X[data-def-id]:hover{text-decoration-color:var(--ring)}.signature-tokens_hero__nEcud{min-width:0}.signature-tokens_heroInteractive__AbQVZ{border-radius:6px;cursor:pointer;padding:3px 6px;margin:-3px -6px}.signature-tokens_heroInteractive__AbQVZ:hover{background-color:var(--base01)}@media (prefers-reduced-motion:no-preference){.signature-tokens_heroInteractive__AbQVZ{transition:background-color .12s ease}}.signature-tokens_heroInteractive__AbQVZ:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.signature-tokens_code__YNgWH{display:block;font-family:JuliaMono,JetBrains Mono,ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.9375rem;line-height:1.5;color:var(--base05);white-space:normal;word-break:break-word}.signature-tokens_code__YNgWH pre.shiki{margin:0;padding:0;background:transparent!important;white-space:normal}.pager_pager__vjJx_{display:flex;align-items:center;gap:6px;margin-top:18px}.pager_info__9jqlH{font-family:JuliaMono,JetBrains Mono,ui-monospace,SFMono-Regular,monospace;font-size:12px;color:var(--base04)}.pager_spacer__op3F5{flex:1}.pager_btn__qx_0u{min-width:30px;height:30px;padding:0 9px;border:1px solid var(--base02);background:var(--base00);border-radius:7px;color:var(--base05);font-size:12.5px;cursor:pointer;display:inline-grid;place-items:center;font-family:JuliaMono,JetBrains Mono,ui-monospace,SFMono-Regular,monospace}.pager_btn__qx_0u:hover:not(:disabled){background:var(--base01)}.pager_btn__qx_0u:disabled{opacity:.4;cursor:default}.pager_cur__9TJCl{color:var(--base00);border-color:var(--base0D)}.pager_cur__9TJCl,.pager_cur__9TJCl:hover{background:var(--base0D)}.pager_gap__Y10D9{min-width:18px;text-align:center;color:var(--base04);font-family:JuliaMono,JetBrains Mono,ui-monospace,SFMono-Regular,monospace;font-size:12.5px}.pager_rows__2QKHV{display:inline-flex;align-items:center;gap:6px;margin-left:10px;padding:5px 10px;border-radius:7px;border:1px solid var(--base02);background:var(--base00);color:var(--base04);font-size:12.5px}.pager_rows__2QKHV b{color:var(--base05);font-weight:600}.side-panel_sheetBottom__5U1Ov{max-height:85vh;max-height:85dvh;border-top-left-radius:12px;border-top-right-radius:12px}.side-panel_dockedPane__W0uY1{display:flex;flex-direction:column;height:100%;background-color:var(--base00);border-left:1px solid var(--base02)}.side-panel_dockedHeader__aG325{display:flex;align-items:center;gap:.5rem;padding:.75rem 1rem;border-bottom:1px solid var(--base02)}.side-panel_dockedCloseButton__vN0lg{flex:0 0 auto;margin-left:auto}.side-panel_sheet__pLUgO{display:flex;flex-direction:column}.side-panel_sheetHeader__jr4oe{border-bottom:1px solid var(--base02);padding-right:3rem}.side-panel_navStrip__GZey3{display:inline-flex;gap:.25rem;align-self:flex-start}.side-panel_viewInFileButton__ldd1r{align-self:flex-start;margin-top:.5rem}.side-panel_srOnly__Ffv4C{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.side-panel_body__o7yKh{flex:1 1 auto;overflow-y:auto;padding:1rem;display:flex;flex-direction:column;gap:1.25rem;scrollbar-width:thin;scrollbar-color:var(--base03) transparent}.side-panel_body__o7yKh::-webkit-scrollbar{width:10px}.side-panel_body__o7yKh::-webkit-scrollbar-track{background:transparent}.side-panel_body__o7yKh::-webkit-scrollbar-thumb{background-color:var(--base03);border-radius:6px;border:2px solid var(--base00)}.side-panel_body__o7yKh::-webkit-scrollbar-thumb:hover{background-color:var(--base04)}.side-panel_section__ALsWf{display:flex;flex-direction:column;gap:.4rem}.side-panel_sectionHeader__N1PGc{display:flex;align-items:center;justify-content:space-between;gap:.75rem}.side-panel_sectionTitle__K4H12{font-size:.85rem;font-weight:600;letter-spacing:-.01em;color:color-mix(in oklab,var(--base05) 90%,transparent);margin:0}.side-panel_localName__CrrJ_{font-family:var(--font-mono);font-size:1.25rem;margin:0;color:var(--base05);word-break:break-all}.side-panel_propTitle__61C4b{font-family:var(--font-sans,inherit);font-size:1.2rem;font-weight:600;letter-spacing:-.01em;color:var(--base05);margin:0}.side-panel_qualifiedName__AvA4v{font-family:var(--font-mono);font-size:.8rem;color:var(--base04);word-break:break-all}.side-panel_attribution__Ol6Jw{font-size:.85rem;margin:0;color:var(--base04)}.side-panel_fileChip__j8qsr{font-family:var(--font-mono);font-size:.8rem;padding:.05rem .35rem;border-radius:4px;background-color:var(--base01);border:1px solid var(--base02);color:var(--base05);word-break:break-all}.side-panel_publisherLink__H9TYD{color:var(--base0D);text-decoration:none}.side-panel_publisherLink__H9TYD:hover{text-decoration:underline}.side-panel_theoremLink__tTE2w{margin:.5rem 0 0;font-size:.875rem}.side-panel_outlineList__M4FZj{margin:0;padding:0;list-style:none;display:flex;flex-direction:column;max-height:12rem;overflow-y:auto;border:1px solid var(--base02);border-radius:4px;scrollbar-width:thin;scrollbar-color:var(--base03) transparent}.side-panel_outlineRow__xhzu_{display:flex;width:100%;padding:.25rem .5rem;background:transparent;border:0;text-align:left;cursor:pointer;color:var(--base05);font:inherit}.side-panel_outlineRow__xhzu_:hover{background-color:color-mix(in oklab,var(--base02) 50%,transparent)}.side-panel_outlineRow__xhzu_:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.side-panel_outlineRow__xhzu_[aria-current=true]{background-color:color-mix(in oklab,var(--base0D) 18%,transparent);box-shadow:inset 2px 0 0 0 var(--base0D)}.side-panel_outlineLocalName__ra4Id{font-family:var(--font-mono);font-size:.85rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.side-panel_memberList__GA5FL{margin:0;padding:0;list-style:none;display:flex;flex-direction:column;border:1px solid var(--base02);border-radius:4px;overflow:hidden}.side-panel_memberRow__miUAx{display:flex;align-items:center;gap:.5rem;min-width:0;padding:.25rem .5rem;color:var(--base05)}.side-panel_memberRow__miUAx+.side-panel_memberRow__miUAx{border-top:1px solid color-mix(in oklab,var(--base02) 65%,transparent)}.side-panel_memberName__dz2q9{border:0;background:transparent;padding:0;min-width:0;flex:1 1 auto;overflow:hidden;text-overflow:ellipsis;white-space:nowrap;font-family:var(--font-mono);font-size:.85rem;color:var(--ce-token-binder-defsite);text-align:left}button.side-panel_memberName__dz2q9{cursor:pointer;text-decoration:underline dotted;text-decoration-color:color-mix(in oklab,var(--ring) 55%,transparent);text-decoration-thickness:1px;text-underline-offset:2px}button.side-panel_memberName__dz2q9:hover{text-decoration:underline;text-decoration-color:var(--ring);text-decoration-thickness:1px;text-underline-offset:2px}.side-panel_memberKind__PnAZC{flex:none;border-radius:3px;background-color:var(--base02);color:var(--base04);padding:.1rem .32rem;font-size:.62rem;font-weight:700;letter-spacing:.04em;text-transform:uppercase}.side-panel_viewToggle__eGw9M{display:inline-flex;gap:.25rem}.side-panel_codeSurface__gd6uW{font-family:var(--font-mono);font-size:.85rem;line-height:1.55;background-color:var(--base01);border:1px solid var(--base02);border-radius:6px;padding:.6rem .75rem;margin:0;overflow-x:auto;white-space:pre-wrap;word-break:break-word}.side-panel_codeSurface__gd6uW pre.shiki{display:inline;margin:0;padding:0;background-color:transparent;white-space:inherit}.side-panel_codeSurface__gd6uW pre.shiki code{display:inline}.side-panel_collapseTrigger__z1KyO{height:auto;padding:.15rem .5rem;font-size:.8rem;display:inline-flex;align-items:center;gap:.3rem}.side-panel_chevron__3Jzpb{display:inline-block;transition:transform .12s ease}.side-panel_collapseTrigger__z1KyO[data-state=open] .side-panel_chevron__3Jzpb{transform:rotate(90deg)}.side-panel_collapseLabel__se2f6{font-size:.8rem}@media (prefers-reduced-motion:reduce){.side-panel_chevron__3Jzpb{transition:none}}.side-panel_noValue__e76zC{font-family:var(--font-mono);font-size:.85rem;color:var(--base04);margin:0}.side-panel_inferredBadge__LPunI{display:block;font-family:var(--font-sans,inherit);font-size:.72rem;font-style:italic;text-transform:uppercase;letter-spacing:.04em;color:var(--base04);margin-bottom:.25rem}.side-panel_referencedByList__jiZ8b{margin:0;padding:0;list-style:none;display:flex;flex-direction:column;border:1px solid var(--base02);border-radius:4px;overflow:hidden}.side-panel_referencedByRow__0xRNo{display:flex;width:100%;align-items:flex-start;gap:.5rem;padding:.4rem .6rem;background:transparent;border:0;text-align:left;cursor:pointer;color:var(--base05);font:inherit}.side-panel_referencedByList__jiZ8b li+li .side-panel_referencedByRow__0xRNo,.side-panel_referencedByRow__0xRNo+.side-panel_referencedByRow__0xRNo{border-top:1px solid var(--base02)}.side-panel_referencedByRow__0xRNo:hover{background-color:color-mix(in oklab,var(--base02) 50%,transparent)}.side-panel_referencedByRow__0xRNo:focus-visible{outline:2px solid var(--ring);outline-offset:-2px}.side-panel_referencedByRowLabels__sV1Vd{display:flex;flex-direction:column;gap:.1rem;flex:1 1 auto;min-width:0}.side-panel_referencedByLocalName__k4z3z{font-size:.85rem;color:var(--base05)}.side-panel_referencedByLocalName__k4z3z,.side-panel_referencedByQualifiedName__0A_wN{font-family:var(--font-mono);overflow:hidden;text-overflow:ellipsis;white-space:nowrap;min-width:0}.side-panel_referencedByQualifiedName__0A_wN{font-size:.72rem;color:var(--base04)}.side-panel_referencedByKindChip__WXkCj{flex:0 0 auto;align-self:center;font-family:var(--font-sans,inherit);font-size:.65rem;font-weight:600;text-transform:uppercase;letter-spacing:.04em;color:var(--base04);padding:.1rem .35rem;border-radius:3px;background-color:color-mix(in oklab,var(--base02) 60%,transparent)}.side-panel_referencedByLoadMore__KnMKr{display:block;margin:.5rem auto 0;padding:.35rem .85rem;font-size:.8rem;font-family:var(--font-sans,inherit);background:transparent;color:var(--base05);border:1px solid var(--base02);border-radius:4px;cursor:pointer}.side-panel_referencedByLoadMore__KnMKr:hover:not(:disabled){background-color:color-mix(in oklab,var(--base02) 50%,transparent)}.side-panel_referencedByLoadMore__KnMKr:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.side-panel_referencedByLoadMore__KnMKr:disabled{opacity:.6;cursor:progress}.side-panel_referencedBySkeletonStack__Dvax1{display:flex;flex-direction:column;gap:.3rem}.side-panel_referencedBySkeletonRow__BKFWO{height:1.25rem;width:100%}.side-panel_sectionEmpty___YCqu{margin:0;font-size:.875rem;font-style:italic;color:var(--base04)}.side-panel_loading__RwYTg{font-size:.9rem;color:var(--base04);margin:0}.side-panel_skeleton__0JreW{display:flex;flex-direction:column;gap:1.25rem}.side-panel_skeletonHeading__WSuMd{height:1.5rem;width:60%}.side-panel_skeletonCaption__VEI0y{height:.85rem;width:80%}.side-panel_skeletonLine__BL1yG{height:.85rem;width:90%}.side-panel_skeletonSectionTitle__yoQ97{height:.85rem;width:4rem}.side-panel_skeletonCodeSurface__q30Wh{height:4rem;width:100%}.side-panel_errorMessage___GOEW{font-size:.9rem;color:var(--base08);margin:0;display:inline-flex;align-items:center;gap:.4rem}.side-panel_errorIcon__61fM9{flex-shrink:0;color:var(--base08)}.side-panel_errorStatus__zqsiQ{font-family:var(--font-mono);font-size:.8rem;color:var(--base04);margin:0}.side-panel_idleMessage__uwirZ{font-size:.9rem;color:var(--base04);margin:0}.view-theorem-page-link_link__LlQHX{display:inline-flex;align-items:center;gap:.25rem;vertical-align:baseline;color:var(--base0D);text-decoration:none}.view-theorem-page-link_link__LlQHX:hover{color:var(--base0C)}.view-theorem-page-link_link__LlQHX:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px;border-radius:2px}.view-theorem-page-link_icon__jK_kS{width:1em;height:1em;transform:rotate(180deg)}.render-view-toggle_root__Teq6q{display:inline-flex;align-items:center;gap:.4rem;min-width:0}.render-view-toggle_label__rvpgD{font-size:.72rem;font-weight:600;color:var(--base04);white-space:nowrap}.render-view-toggle_pill__8WIL9{position:relative;display:inline-grid;grid-template-columns:repeat(2,1fr);align-items:stretch;padding:3px;border-radius:9999px;background-color:var(--syntax-toggle-bg,var(--base01));border:1px solid var(--base02)}.render-view-toggle_thumb__uPz6H{position:absolute;top:3px;bottom:3px;left:3px;width:calc(50% - 3px);border-radius:9999px;background-color:var(--base0D);box-shadow:0 1px 2px color-mix(in oklab,var(--base05) 18%,transparent);transition:transform .18s ease;pointer-events:none}.render-view-toggle_pill__8WIL9[data-selected-kind=empty] .render-view-toggle_thumb__uPz6H{transform:translateX(100%)}.render-view-toggle_option__JHdpF{position:relative;z-index:1;min-width:0;display:inline-flex;flex-direction:column;align-items:center;justify-content:center;appearance:none;border:0;background:transparent;cursor:pointer;padding:.2rem .7rem;border-radius:9999px;font:inherit;font-size:.72rem;line-height:1.2;white-space:nowrap;color:var(--base04);transition:color .18s ease}.render-view-toggle_option__JHdpF:after{content:attr(data-label);font-weight:600;height:0;overflow:hidden;visibility:hidden;pointer-events:none;user-select:none}.render-view-toggle_option__JHdpF[aria-checked=true]{color:var(--base00);font-weight:600}.render-view-toggle_option__JHdpF:focus-visible{outline:2px solid var(--ring);outline-offset:2px}@media (prefers-reduced-motion:reduce){.render-view-toggle_option__JHdpF,.render-view-toggle_thumb__uPz6H{transition:none}}.segmented-control_root__ZlEMF{display:inline-flex;align-items:center;gap:.4rem;min-width:0}.segmented-control_label__9hSri{font-size:.72rem;font-weight:600;color:var(--base04);white-space:nowrap}.segmented-control_pill__HK6M6{position:relative;display:inline-grid;grid-template-columns:repeat(var(--seg-count,2),1fr);align-items:stretch;padding:3px;border-radius:9999px;background-color:var(--syntax-toggle-bg,var(--base01));border:1px solid var(--base02);max-width:100%}.segmented-control_thumb__zC4_C{position:absolute;top:3px;bottom:3px;left:3px;width:calc((100% - 6px) / var(--seg-count, 2));transform:translateX(calc(var(--seg-index, 0) * 100%));border-radius:9999px;background-color:var(--base0D);box-shadow:0 1px 2px color-mix(in oklab,var(--base05) 18%,transparent);transition:transform .18s ease;pointer-events:none}.segmented-control_option__ulnjQ{position:relative;z-index:1;min-width:0;display:inline-flex;flex-direction:column;align-items:center;justify-content:center;appearance:none;border:0;background:transparent;cursor:pointer;padding:.2rem .7rem;border-radius:9999px;font:inherit;font-size:.72rem;line-height:1.2;white-space:nowrap;color:var(--base04);transition:color .18s ease}.segmented-control_line___Mw53{display:inline-flex;align-items:baseline;gap:.3rem}.segmented-control_hint__RSFgL{opacity:.7;font-variant-numeric:tabular-nums}.segmented-control_option__ulnjQ:after{content:attr(data-label);font-weight:600;height:0;overflow:hidden;visibility:hidden;pointer-events:none;user-select:none}.segmented-control_option__ulnjQ[aria-checked=true]{color:var(--base00);font-weight:600}.segmented-control_option__ulnjQ:disabled{color:var(--base03);cursor:not-allowed}.segmented-control_option__ulnjQ:focus-visible{outline:2px solid var(--ring);outline-offset:2px}@media (prefers-reduced-motion:reduce){.segmented-control_option__ulnjQ,.segmented-control_thumb__zC4_C{transition:none}}