.ce-file-body_shellWrapper__grvgU{flex:1 1 auto;min-height:0;display:flex;flex-direction:column;width:100%}.ce-file-body_mainColumn__aHYL_{width:100%;max-width:920px;margin:0 auto;padding:1.5rem 1rem;display:flex;flex-direction:column;height:100%;min-height:0}.ce-file-body_body__N6Y50{flex:1 1 auto;min-height:0;position:relative;border:1px solid var(--base02);border-radius:6px;overflow-x:auto;overflow-y:auto;scrollbar-width:thin;scrollbar-color:var(--base03) transparent;font-family:var(--font-mono);font-size:.875rem;line-height:1.6;background-color:var(--base01)}.ce-file-body_body__N6Y50::-webkit-scrollbar{width:10px;height:10px}.ce-file-body_body__N6Y50::-webkit-scrollbar-track{background:transparent}.ce-file-body_body__N6Y50::-webkit-scrollbar-thumb{background-color:var(--base03);border-radius:6px;border:2px solid var(--base01)}.ce-file-body_body__N6Y50::-webkit-scrollbar-thumb:hover{background-color:var(--base04)}.ce-file-body_body__N6Y50::-webkit-scrollbar-corner{background:transparent}@media (max-width:767px){.ce-file-body_body__N6Y50{font-size:1rem;overscroll-behavior:contain}}.ce-file-body_body__N6Y50:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.ce-file-body_body__N6Y50 pre.shiki{margin:0;padding:.75rem 0;counter-reset:line;width:max-content;min-width:100%;background-color:transparent}.ce-file-body_body__N6Y50 pre.shiki code{display:block}.ce-file-body_body__N6Y50 .line{counter-increment:line;display:inline-block;min-width:100%;box-sizing:border-box;padding:0 1rem}.ce-file-body_body__N6Y50 .line:before{content:counter(line);display:inline-block;width:2.5rem;margin-right:1rem;text-align:right;color:var(--base03);user-select:none}.ce-file-body_body__N6Y50 .line:hover{background-color:var(--base02)}@media (prefers-reduced-motion:no-preference){.ce-file-body_body__N6Y50 .line{transition:background-color 60ms ease-out}}.ce-file-body_stickyDeclHeader__9BPnc{position:sticky;top:0;z-index:2;background-color:color-mix(in oklab,var(--base01) 92%,transparent);backdrop-filter:saturate(180%) blur(6px);border-bottom:1px solid var(--base02);font-family:var(--font-mono);font-size:.85rem;line-height:1.4;pointer-events:none}.ce-file-body_stickyDeclHeaderLabel__jnmeT{display:flex;align-items:baseline;gap:.6rem;width:100%;padding:.25rem 1rem;color:var(--base05)}.ce-file-body_stickyDeclName__7OXQz{color:var(--base0D);font-weight:500}.ce-file-body_stickyDeclQualifier__h0lvq{color:var(--base04);font-size:.78rem;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}@media (prefers-reduced-motion:reduce){.ce-file-body_stickyDeclHeader__9BPnc{backdrop-filter:none;background-color:var(--base01)}}.ce-file-body_body__N6Y50 .ce-identifier{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}.ce-file-body_body__N6Y50 .ce-identifier:hover{text-decoration:underline;text-decoration-color:var(--ring);text-decoration-thickness:1px;text-underline-offset:2px}.ce-file-body_body__N6Y50 .ce-identifier:focus-visible{outline:2px solid var(--ring);outline-offset:2px;border-radius:2px}.ce-file-body_body__N6Y50 .ce-file-ref{cursor:pointer;color:var(--base0D);text-decoration:underline solid;text-decoration-color:var(--base0D);text-decoration-thickness:1px;text-underline-offset:2px;border-radius:2px;transition:text-decoration-thickness .12s ease}.ce-file-body_body__N6Y50 .ce-file-ref:hover{text-decoration-thickness:2px}.ce-file-body_body__N6Y50 .ce-file-ref:focus-visible{outline:2px solid var(--ring);outline-offset:2px}@media (prefers-reduced-motion:reduce){.ce-file-body_body__N6Y50 .ce-file-ref{transition:none}}.ce-file-body_body__N6Y50 .ce-theorem-keyword{cursor:pointer;border-radius:2px}.ce-file-body_body__N6Y50 .ce-theorem-keyword:hover{text-decoration:underline solid currentColor;text-decoration-thickness:2px;text-underline-offset:2px}.ce-file-body_body__N6Y50 .ce-theorem-keyword:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.ce-file-body_body__N6Y50 [data-decl-wrapper][aria-current=true]{background-color:color-mix(in oklab,var(--base02) 60%,transparent);box-shadow:0 -1px 0 0 var(--base0D),0 1px 0 0 var(--base0D);border-radius:2px}@keyframes ce-file-body_lineFlash__b_R58{0%{background-color:color-mix(in oklab,var(--base0D) 30%,transparent)}to{background-color:transparent}}.ce-file-body_body__N6Y50 .line[data-line-flash=true]{animation:ce-file-body_lineFlash__b_R58 .6s ease-out}@media (prefers-reduced-motion:reduce){.ce-file-body_body__N6Y50 .line[data-line-flash=true]{animation:none}}.lean-code_leanCode__Eqbmx{border:1px solid var(--base02);border-radius:6px;overflow-x:auto;font-family:var(--font-mono);font-size:.875rem;line-height:1.6}.lean-code_leanCode__Eqbmx:focus-visible{outline:2px solid var(--ring);outline-offset:2px}.lean-code_leanCode__Eqbmx pre.shiki{margin:0;padding:.75rem 0;counter-reset:line;width:max-content;min-width:100%}.lean-code_leanCode__Eqbmx pre.shiki code{display:block}.lean-code_leanCode__Eqbmx .line{counter-increment:line;display:inline-block;min-width:100%;box-sizing:border-box;padding:0 1rem}.lean-code_leanCode__Eqbmx .line:before{content:counter(line);display:inline-block;width:2.5rem;margin-right:1rem;text-align:right;color:var(--base03);user-select:none}