.theorem-syntax_syntax__ACdzk{margin:0;font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:1rem;line-height:1.6;white-space:pre-wrap;word-break:break-word;color:var(--base05);tab-size:4}.theorem-syntax_line__8S3MT{display:block}.theorem-syntax_firstLine__D8roZ{display:flex;align-items:flex-start;gap:.5rem}.theorem-syntax_firstLineText__upAju{flex:1 1 auto;min-width:0}.theorem-syntax_firstLineTruncate__yRnCC{white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.theorem-syntax_premise__iLUM2{padding-left:4ch}.theorem-syntax_conclusion__RMVX8{padding-left:2ch}.theorem-syntax_keyword__cWyLK{color:var(--base0E);font-weight:600}.theorem-syntax_name__lCXqY{color:var(--base0D);font-weight:600;cursor:pointer;border-radius:3px}.theorem-syntax_name__lCXqY:hover{text-decoration:underline;text-underline-offset:2px}.theorem-syntax_name__lCXqY:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_binder__1dv_9{color:var(--base0D)}.theorem-syntax_propLink__81HKs{cursor:pointer;border-radius:3px}.theorem-syntax_propLink__81HKs:hover{text-decoration:underline;text-underline-offset:2px}.theorem-syntax_propLink__81HKs:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_punct__IXCR8{color:var(--base04)}.theorem-syntax_conclusionLink__RuF19{cursor:pointer;border-radius:3px;padding:.25rem .35rem;margin:-.25rem -.35rem}.theorem-syntax_conclusionLink__RuF19:hover{color:var(--base0D)}.theorem-syntax_conclusionLink__RuF19:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_moreRow__z7EIM{padding-left:4ch;margin:.25rem 0}.theorem-syntax_moreChip__Xtb_j{appearance:none;display:inline-flex;align-items:center;gap:.35rem;padding:.15rem .6rem;border:1px solid var(--base02);border-radius:999px;background-color:var(--base01);color:var(--base04);font-family:system-ui,-apple-system,Segoe UI,Roboto,Helvetica,Arial,sans-serif;font-size:.75rem;font-weight:600;line-height:1.4;cursor:pointer}.theorem-syntax_moreChip__Xtb_j:hover{background-color:var(--base02);color:var(--base05)}.theorem-syntax_moreChip__Xtb_j:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:2px}.theorem-syntax_unavailable__nJqLQ{color:var(--base04);font-style:italic}.theorem-syntax_syntax__ACdzk .shiki,.theorem-syntax_syntax__ACdzk .shiki .line,.theorem-syntax_syntax__ACdzk .shiki code{display:inline;background:transparent!important;padding:0;margin:0;font:inherit;white-space:pre-wrap}.page_shellWrapper__7IhdJ{flex:1 1 auto;min-height:0;display:flex;flex-direction:column;width:100%}.page_infoPanel__dQIPH{height:100%;overflow-y:auto;display:flex;flex-direction:column;gap:1.25rem;padding:1.25rem 1.25rem 2rem;background-color:var(--base00);scrollbar-width:thin;scrollbar-color:var(--base03) transparent}.page_signature__piaq8{font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:1rem;line-height:1.6;white-space:pre-wrap;word-break:break-word;padding:.25rem 0}.page_meta__kLB4g{display:flex;flex-direction:column;gap:.3rem;padding-top:.5rem;border-top:1px solid var(--base02)}.page_metaLine__97Bwr{margin:0;font-size:.8125rem;color:var(--base04)}.page_metaLink__F42z2{color:var(--base0D);text-decoration:none}.page_metaLink__F42z2:hover{text-decoration:underline}.page_fileChip__j2KNU{font-family:ui-monospace,SFMono-Regular,SF Mono,Menlo,Consolas,monospace;font-size:.78rem}.page_premiseFree__jR5Gq{margin:0;font-size:.8125rem;font-style:italic;color:var(--base04)}.page_canvasFull__IyWoL{width:100%;height:100%;overflow:hidden;display:grid;place-items:center;background-color:var(--base00)}.page_mobileStack__jrBwM{flex:1 1 auto;min-height:0;height:100%;overflow-y:auto;display:flex;flex-direction:column;scrollbar-width:thin;scrollbar-color:var(--base03) transparent}.page_mobileInfo__lK_69{flex:none}.page_infoPanelMobile__bVAkR{display:flex;flex-direction:column;gap:1rem;padding:.75rem 1rem 1rem;background-color:var(--base00);border-bottom:1px solid var(--base02)}.page_mobileChevron__rOGEb{appearance:none;flex:none;display:inline-flex;align-items:center;justify-content:center;width:1.75rem;height:1.75rem;margin:-.2rem -.25rem 0 0;border:none;border-radius:6px;background:transparent;color:var(--base04);cursor:pointer}.page_mobileChevron__rOGEb:hover{background-color:color-mix(in oklch,var(--base05) 8%,transparent);color:var(--base05)}.page_mobileChevron__rOGEb:focus-visible{outline:2px solid var(--ring,var(--base0D));outline-offset:1px}.page_mobileCanvas__ofmPd{flex:1 1 0;min-height:0;width:100%;border-top:1px solid var(--base02)}.page_footerToggle__PlL1a{display:inline-flex;align-items:center;gap:.4rem;min-width:0;--syntax-toggle-bg:var(--base00)}.page_fallback__immXB{max-width:32rem;padding:1.5rem;border:1px dashed var(--base02);border-radius:8px;color:var(--base04);font-size:.9375rem;text-align:center}.page_retryButton__Cgyzj{display:inline-block;padding:.5rem 1rem;border:1px solid var(--base02);border-radius:4px;background-color:var(--base01);color:var(--base05);font:inherit;cursor:pointer}.page_retryButton__Cgyzj:hover{background-color:var(--base02)}