.Cite_wrapper__NNnKd{position:relative;display:inline;margin-left:.2em}.Cite_link__dzZo6{color:var(--text-muted);text-decoration:none;cursor:help;transition:color .15s ease;font-size:.875em;border-bottom:1px dotted var(--text-muted);padding-bottom:1px}.Cite_link__dzZo6:hover{color:var(--accent);border-bottom-color:var(--accent);text-decoration:none}.Cite_linkPinned__EG6_n{color:var(--accent)}.Cite_tooltip__A00Ri{position:absolute;left:50%;transform:translateX(-50%);width:-moz-max-content;width:max-content;max-width:420px;padding:var(--space-3) var(--space-4);background:var(--bg);border:1px solid var(--border);border-radius:6px;box-shadow:0 4px 20px rgba(0,0,0,.15);z-index:9999;font-size:.875rem;line-height:1.5;opacity:0;visibility:hidden;pointer-events:none;transition:opacity .15s ease,visibility .15s ease}.Cite_tooltip__A00Ri[data-visible=true]{opacity:1;visibility:visible;pointer-events:auto}.Cite_tooltipBottom__Pt_y2{top:calc(100% + 8px)}.Cite_tooltipTop__oMpCz{bottom:calc(100% + 8px)}.Cite_tooltipBottom__Pt_y2:before{content:"";position:absolute;bottom:100%;left:50%;transform:translateX(-50%);border:6px solid transparent;border-bottom:6px solid var(--border)}.Cite_tooltipBottom__Pt_y2:after{content:"";position:absolute;bottom:100%;left:50%;transform:translateX(-50%) translateY(1px);border:5px solid transparent;border-bottom:5px solid var(--bg)}.Cite_tooltipTop__oMpCz:before{content:"";position:absolute;top:100%;left:50%;transform:translateX(-50%);border:6px solid transparent;border-top:6px solid var(--border)}.Cite_tooltipTop__oMpCz:after{content:"";position:absolute;top:100%;left:50%;transform:translateX(-50%) translateY(-1px);border:5px solid transparent;border-top:5px solid var(--bg)}.Cite_citation__yUQi_{display:block;font-family:var(--font-body);font-size:.875rem;line-height:1.6;color:var(--text)}.Cite_citation__yUQi_ em{font-style:italic}.Cite_loading__QTr51,.Cite_notFound__b6xWX{font-size:.875rem;color:var(--text-muted);font-style:italic}.Cite_viewLink__PX19C{display:block;margin-top:var(--space-3);padding-top:var(--space-2);border-top:1px solid var(--border-light);font-size:.75rem;color:var(--text-muted);text-decoration:none;transition:color .15s ease}.Cite_viewLink__PX19C:hover{color:var(--accent);text-decoration:none}@media (max-width:500px){.Cite_tooltip__A00Ri{left:0;transform:none;max-width:calc(100vw - 2rem)}.Cite_tooltipBottom__Pt_y2:after,.Cite_tooltipBottom__Pt_y2:before,.Cite_tooltipTop__oMpCz:after,.Cite_tooltipTop__oMpCz:before{left:1rem;transform:none}}@media (prefers-reduced-motion:reduce){.Cite_tooltip__A00Ri{transition:none}}.Breadcrumb_breadcrumb__uXLkg{margin-bottom:1rem}.Breadcrumb_list___zZaJ{flex-wrap:wrap;list-style:none;padding:0;margin:0;font-size:.8125rem;color:var(--text-muted)}.Breadcrumb_item__Vi3UK,.Breadcrumb_list___zZaJ{display:flex;align-items:center}.Breadcrumb_separator__sVCMn{margin:0 .5rem;color:var(--border-strong)}.Breadcrumb_link__FTCwa{color:var(--text-muted);text-decoration:none;transition:color var(--transition-fast)}.Breadcrumb_link__FTCwa:hover{color:var(--text-secondary);text-decoration:none}.Breadcrumb_current__8CFPS{color:var(--text-secondary)}@media (max-width:640px){.Breadcrumb_list___zZaJ{font-size:.75rem;flex-wrap:nowrap;overflow:hidden}.Breadcrumb_item__Vi3UK:not(:first-child):not(:last-child){display:none}.Breadcrumb_current__8CFPS{white-space:nowrap;overflow:hidden;text-overflow:ellipsis;max-width:200px}}.content_sidenoteNumber__YW8Km{counter-increment:sidenote}.content_sidenoteNumber__YW8Km:after{content:counter(sidenote);font-size:.75rem;vertical-align:super;color:var(--accent);cursor:pointer}.content_sidenoteToggle__5_6eJ{display:none}.content_sidenote__WyVnR{float:right;clear:right;width:200px;margin-right:-240px;margin-bottom:1rem;font-size:.875rem;line-height:1.5;color:var(--text-secondary)}@media (max-width:1200px){.content_sidenote__WyVnR{display:none;float:none;width:100%;margin:.5rem 0 .5rem 1rem;padding:.75rem;background:var(--bg-code);border-left:2px solid var(--accent)}.content_sidenoteToggle__5_6eJ:checked+.content_sidenote__WyVnR{display:block}}.content_definition__chOMw{margin:2.5rem 0;padding:1.25rem 1.5rem;background:var(--definition-bg);border-left:3px solid var(--accent)}.content_definitionHeader__GGZOi{display:flex;gap:.75rem;align-items:baseline;margin-bottom:.75rem}.content_definitionId__HwAAK{font-family:var(--font-small-caps);font-size:.875rem;color:var(--accent);font-variant:small-caps;letter-spacing:.03em}.content_definitionId__HwAAK,.content_definitionTerm__UdboJ{font-weight:var(--weight-semibold)}.content_definitionContent__EMUPJ{color:var(--text-secondary);line-height:1.65}.content_cite__io3Q4{color:var(--text-muted);font-size:.9375em;white-space:normal}.content_citeLink___wLl0{color:var(--text-muted);text-decoration:none;transition:color var(--transition-fast)}.content_citeLink___wLl0:hover{color:var(--text-secondary);text-decoration:underline}.content_blockquote__pKl4J{margin:2.5rem 0;padding:0 0 0 1.5rem;border-left:3px solid var(--border)}.content_blockquoteContent___KPkl{font-style:italic;color:var(--text-secondary);line-height:1.7}.content_blockquoteContent___KPkl p{margin-bottom:1em}.content_blockquoteContent___KPkl p:last-child{margin-bottom:0}.content_blockquoteAttribution__VJ_9G{margin-top:1rem;font-size:.9375rem;color:var(--text-muted);font-style:normal}.content_epigraph__XGAh8{margin:0 0 3.5rem;padding:2rem;border-left:none;text-align:center;background:transparent}.content_epigraph__XGAh8 .content_blockquoteContent___KPkl{font-size:1.125rem;line-height:1.75;color:var(--text-secondary)}.content_epigraph__XGAh8 .content_blockquoteAttribution__VJ_9G{margin-top:1.25rem;font-size:.875rem}.content_dart__Mgg19{display:block;margin:2.5rem 0;padding:1.5rem 2rem;background:var(--definition-bg);border-left:3px solid var(--accent);font-style:italic;color:var(--text-secondary);line-height:1.7}.content_dart__Mgg19 p{margin:0}.content_dart__Mgg19 p+p{margin-top:1em}.content_box__u7sZR{margin:1.5rem 0;padding:1rem 1.25rem;background:var(--code-bg);border-left:3px solid var(--border)}.content_boxDefault__D3RWi{border-left-color:var(--border)}.content_boxWarning__CTpC4{border-left-color:var(--accent);background:color-mix(in srgb,var(--accent) 5%,var(--bg))}.content_boxNote__QRw35{border-left-color:var(--text-muted)}.content_boxTitle__R0yO3{font-weight:var(--weight-semibold);font-size:.9375rem;margin-bottom:.5rem}.content_boxContent__XZTVe{font-size:.9375rem;color:var(--text-secondary)}.content_figure__CYfwX{margin:2.5rem 0}.content_figureImage__HV8os{border-radius:4px}.content_figureContent__T7GP9{overflow-x:auto;padding:1.25rem 1.5rem;background:var(--bg-secondary);border:1px solid var(--border);border-radius:4px}.content_figureContent__T7GP9 p{margin-top:0;margin-bottom:1em}.content_figureContent__T7GP9 p:last-child{margin-bottom:0}.content_figureContent__T7GP9 ol,.content_figureContent__T7GP9 ul{margin:.5em 0;padding-left:1.5em}.content_figureContent__T7GP9 strong{display:block;margin-top:1.25em;margin-bottom:.5em;color:var(--text)}.content_figureContent__T7GP9 strong:first-child{margin-top:0}.content_figureContent__T7GP9 table{width:100%;border-collapse:collapse;font-size:.9375rem;margin:-1.25rem -1.5rem;width:calc(100% + 3rem);max-width:calc(100vw - 2rem)}.content_figureContent__T7GP9 td,.content_figureContent__T7GP9 th{padding:.75em 1em;text-align:left;border:1px solid var(--border);vertical-align:top}.content_figureContent__T7GP9 th{background:var(--bg);font-weight:var(--weight-semibold)}.content_figureContent__T7GP9 tbody tr:hover{background:var(--bg)}.content_figureContent__T7GP9:has(>table:only-child){padding:0;background:transparent;border:none}.content_figureContent__T7GP9:has(>table:only-child) table{margin:0;width:100%}.content_figureCaption__U_A4T{margin-top:1rem;font-style:italic}.content_figureCaptionAbove__zR27a{margin-bottom:.75rem;font-size:.9375rem;font-weight:var(--weight-semibold);color:var(--text-secondary)}.content_pullQuote__XCFD3{margin:2rem 0;padding:1.5rem 0;text-align:center;font-style:italic;font-size:1.125rem;line-height:1.8;color:var(--text-secondary)}.content_figure__CYfwX{margin:2rem 0}.content_figureFullBleed__MaOhC{width:100%;margin-left:calc(50% - 50vw);margin-right:calc(50% - 50vw);max-width:100vw;overflow-x:hidden}.content_figureImage__HV8os{width:100%;height:auto}.content_figureCaption__U_A4T{margin-top:.75rem;font-size:.875rem;color:var(--text-muted);text-align:center}.content_anchor__HyThh{scroll-margin-top:6rem;margin:var(--space-4) 0}.content_anchorBadge__bH0u7{display:inline-flex;align-items:center;gap:.25rem;font-size:.75rem;font-family:var(--font-mono);color:#b45309;background:rgba(245,158,11,.1);padding:.125rem .5rem;border-radius:3px;border:1px solid rgba(245,158,11,.2)}.dark .content_anchorBadge__bH0u7{color:#fbbf24;background:rgba(245,158,11,.15);border-color:rgba(245,158,11,.25)}.content_anchorId__t__Ou{font-weight:var(--weight-semibold)}.content_anchorTitle__P5FmA{font-weight:var(--weight-normal);margin-left:.25rem}.content_anchorRef__rIyL4{font-family:var(--font-mono);font-size:.875em;color:#b45309;text-decoration:underline;text-decoration-style:dotted;text-underline-offset:2px;transition:color .15s ease}.content_anchorRef__rIyL4:hover{color:#92400e}.dark .content_anchorRef__rIyL4{color:#fbbf24}.dark .content_anchorRef__rIyL4:hover{color:#fcd34d}@media (max-width:640px){.content_figureContent__T7GP9 table{margin:0;width:100%;max-width:100%}.content_figureContent__T7GP9{padding:.75rem 1rem}.content_epigraph__XGAh8{padding:1.5rem 1rem}.content_dart__Mgg19{padding:1.25rem 1rem}.content_definition__chOMw{padding:1rem}}.ContentLayout_layout__g9zzi{display:grid;grid-template-columns:200px minmax(0,1fr) 240px;gap:2rem;max-width:1200px;margin:0 auto;padding:2rem 1.5rem 4rem}.ContentLayout_layoutCentered__b_PpC{display:block;max-width:min(720px,100%);margin:0 auto;padding:2rem 1.5rem 4rem}.ContentLayout_content__K4GRt{max-width:var(--content-width);width:100%;min-width:0;margin:0 auto;counter-reset:sidenote}.ContentLayout_header__fTT9U{margin-bottom:2.5rem;text-align:center}.ContentLayout_title__RLE4x{font-size:var(--text-page-title);font-weight:var(--weight-medium);line-height:1.2;letter-spacing:-.02em;margin:0 0 .75rem;overflow-wrap:break-word;word-wrap:break-word}.ContentLayout_meta__IUI94{font-size:.875rem;color:var(--text-muted);margin:0}.ContentLayout_prose__IUNGH{font-size:var(--text-body);line-height:var(--leading-body);color:var(--text);max-width:100%;hanging-punctuation:first last;overflow-wrap:break-word;word-wrap:break-word;hyphens:manual;-webkit-hyphens:manual}.ContentLayout_prose__IUNGH p{margin-top:0;margin-bottom:1.75em}.ContentLayout_prose__IUNGH h2+p,.ContentLayout_prose__IUNGH h3+p,.ContentLayout_prose__IUNGH h4+p{margin-top:0}.ContentLayout_prose__IUNGH p+h2,.ContentLayout_prose__IUNGH p+h3{margin-top:2.25em}.ContentLayout_prose__IUNGH h2{font-size:1.5rem;font-weight:var(--weight-medium);line-height:1.3;letter-spacing:-.01em;margin-top:2.5rem;margin-bottom:1rem;color:var(--text)}.ContentLayout_prose__IUNGH h3{font-size:1.25rem;font-weight:var(--weight-semibold);line-height:1.4;margin-top:2rem;margin-bottom:.75rem}.ContentLayout_prose__IUNGH h4{font-size:1.0625rem;font-weight:var(--weight-semibold);line-height:1.5;margin-top:1.75rem;margin-bottom:.5rem}.ContentLayout_prose__IUNGH>h2:first-child,.ContentLayout_prose__IUNGH>h3:first-child{margin-top:0}.ContentLayout_prose__IUNGH hr{border:none;text-align:center;margin:2.5rem 0}.ContentLayout_prose__IUNGH hr:before{content:"* * *";color:var(--text-muted);letter-spacing:.5em;font-size:.875rem}.ContentLayout_prose__IUNGH ol,.ContentLayout_prose__IUNGH ul{margin-top:0;margin-bottom:1.75em;padding-left:1.75em}.ContentLayout_prose__IUNGH li{margin-bottom:.5em;padding-left:.25em}.ContentLayout_prose__IUNGH li>p{margin-bottom:.75em}.ContentLayout_prose__IUNGH li:last-child{margin-bottom:0}.ContentLayout_prose__IUNGH li>ol,.ContentLayout_prose__IUNGH li>ul{margin-top:.5em;margin-bottom:.5em}.ContentLayout_prose__IUNGH blockquote{margin:2em 0;padding:0 0 0 1.5em;border-left:3px solid var(--border);font-style:italic;color:var(--text-secondary)}.ContentLayout_prose__IUNGH blockquote p{margin-bottom:1em}.ContentLayout_prose__IUNGH blockquote p:last-child{margin-bottom:0}.ContentLayout_prose__IUNGH code{font-family:var(--font-mono);font-size:.875em;padding:.15em .35em;background:var(--bg-code);border-radius:3px;white-space:normal;overflow-wrap:break-word;word-break:break-word}.ContentLayout_prose__IUNGH pre{margin:2em 0;padding:1.25rem 1.5rem;background:var(--bg-code);border-radius:4px;overflow-x:auto;font-size:.875rem;line-height:1.6}.ContentLayout_prose__IUNGH pre code{padding:0;background:none;white-space:pre}.ContentLayout_prose__IUNGH em{font-style:italic}.ContentLayout_prose__IUNGH strong{font-weight:var(--weight-semibold);color:var(--text)}.ContentLayout_prose__IUNGH figure{margin:2.5em 0}.ContentLayout_prose__IUNGH figcaption{margin-top:.75em;font-size:.875rem;color:var(--text-muted);text-align:center}.ContentLayout_prose__IUNGH img{max-width:100%;height:auto}.ContentLayout_prose__IUNGH table{width:100%;margin:2em 0;border-collapse:collapse;font-size:.9375rem;display:block;overflow-x:auto;-webkit-overflow-scrolling:touch}.ContentLayout_prose__IUNGH td,.ContentLayout_prose__IUNGH th{padding:.75em 1em;text-align:left;border-bottom:1px solid var(--border)}.ContentLayout_prose__IUNGH th{font-weight:var(--weight-semibold);color:var(--text)}.ContentLayout_prose__IUNGH tbody tr:hover{background:var(--bg-secondary)}.ContentLayout_prose__IUNGH>p:first-of-type{font-size:1.0625em}.ContentLayout_prose__IUNGH .ContentLayout_drop-cap__PVKev:first-letter{float:left;font-size:3.5em;line-height:.8;padding-right:.1em;font-weight:var(--weight-normal);color:var(--accent)}.ContentLayout_prose__IUNGH .ContentLayout_small-caps___4pfU{font-variant:small-caps;letter-spacing:.05em}@media (max-width:1200px){.ContentLayout_layout__g9zzi{grid-template-columns:1fr;max-width:100%;padding:1.5rem 1rem 3rem}.ContentLayout_sidenoteSidebar__uIqYh,.ContentLayout_tocSidebar__lt1He{display:none}.ContentLayout_title__RLE4x{font-size:1.75rem}}@media (max-width:640px){.ContentLayout_prose__IUNGH{font-size:1.0625rem}.ContentLayout_prose__IUNGH h2{font-size:1.375rem}.ContentLayout_prose__IUNGH h3{font-size:1.125rem}.ContentLayout_title__RLE4x{font-size:1.5rem}}.ChapterNav_nav__kxHAY{display:flex;justify-content:space-between;gap:2rem;margin-top:4rem;padding-top:2rem;border-top:1px solid var(--border)}.ChapterNav_next__m3hI4,.ChapterNav_prev__o5Jzb{flex:1;min-width:0}.ChapterNav_next__m3hI4{text-align:right}.ChapterNav_link__5iICu{display:inline-flex;flex-direction:column;gap:.25rem;text-decoration:none;color:inherit;max-width:100%}.ChapterNav_link__5iICu:hover{text-decoration:none}.ChapterNav_link__5iICu:hover .ChapterNav_title__DPE1t{color:var(--accent)}.ChapterNav_direction__no7hX{font-size:.8125rem;color:var(--text-muted)}.ChapterNav_title__DPE1t{font-weight:var(--weight-medium);transition:color .15s ease;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.ChapterNav_crossVolume__NFTZu{padding:1rem;border:1px solid var(--border);transition:border-color .2s ease,background-color .2s ease}.ChapterNav_crossVolume__NFTZu:hover{border-color:var(--accent);background:var(--bg-muted)}.ChapterNav_crossVolumeSubtitle__2hkCV{font-size:.875rem;font-style:italic;color:var(--text-secondary)}@media (max-width:640px){.ChapterNav_nav__kxHAY{flex-direction:column;gap:1rem}.ChapterNav_next__m3hI4{text-align:left}}.Epigraph_epigraph__rRC6E{margin:0 auto 3.5rem;padding:0 0 3rem;border-bottom:1px solid var(--border);max-width:800px}.Epigraph_centered__yg7us{text-align:center}.Epigraph_content___wpAo{font-style:italic;color:var(--text-secondary);font-size:1.0625rem;line-height:1.85;text-align:center}.Epigraph_content___wpAo p{margin-bottom:1.25em}.Epigraph_content___wpAo p:last-child{margin-bottom:0}.Epigraph_parallel__zIX7Y{display:flex;flex-direction:column;gap:2.5rem}.Epigraph_versePair__O4b8l{display:grid;grid-template-columns:1fr 1fr;gap:0;align-items:start}.Epigraph_verseOriginal__E0HIH{font-style:italic;color:var(--text-secondary);font-size:.9375rem;line-height:1.85;padding-right:2.5rem;border-right:1px solid var(--border-light);text-align:right}.Epigraph_verseTranslation__95h1p{font-style:normal;color:var(--text);font-size:.9375rem;line-height:1.8;padding-left:2.5rem}.Epigraph_verse__frX_G{margin-bottom:2rem;display:block}.Epigraph_verse__frX_G:last-child{margin-bottom:0}.Epigraph_attribution__XsCo8{margin-top:3rem;padding-top:1.5rem;border-top:1px solid var(--border-light);font-size:.875rem;color:var(--text-muted);font-style:normal;text-align:center}.Epigraph_author__rBV3D{display:block}.Epigraph_source__aDe0k{display:block;font-style:italic}@media (max-width:768px){.Epigraph_versePair__O4b8l{grid-template-columns:1fr;gap:1rem}.Epigraph_verseOriginal__E0HIH{border-right:none;padding-right:0;text-align:left;padding-bottom:.75rem;border-bottom:1px solid var(--border)}.Epigraph_verseTranslation__95h1p{padding-left:0}}.argument_toc__uc_vK{max-width:720px;margin:0 auto;padding:var(--space-8) var(--space-5) var(--space-12)}.argument_header__03JIb{margin-bottom:var(--space-8)}.argument_title__h2Fg8{font-size:var(--text-page-title);font-weight:var(--weight-medium);letter-spacing:var(--tracking-h1);margin:0 0 .75rem}.argument_subtitle__BUbsg{font-size:1.25rem;font-style:italic;color:var(--text-secondary);margin:0 0 1.5rem}.argument_description__Hqecn{font-size:var(--text-body);color:var(--text-secondary);line-height:var(--leading-body);margin:0 0 1rem}.argument_stats__GN6U7{font-size:.875rem;color:var(--text-muted);margin:0}.argument_actList__WvNdo{display:flex;flex-direction:column;gap:var(--space-6)}.argument_actSection__01Si5{padding-bottom:var(--space-4)}.argument_actHeader__FKdDF{display:flex;align-items:baseline;gap:.75rem;margin-bottom:var(--space-3);padding-bottom:var(--space-2);border-bottom:1px solid var(--border-light)}.argument_actTitle__pfxKX{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.argument_actSubtitle__UOWEB{font-size:.9375rem;font-style:italic;color:var(--text-secondary)}.argument_chapterList__qjQPg{list-style:none;margin:0;padding:0}.argument_chapterItem__9X_4_{border-bottom:1px solid var(--border-light)}.argument_chapterItem__9X_4_:last-child{border-bottom:none}.argument_chapterLink__WPwSt{display:flex;align-items:baseline;gap:1rem;padding:.625rem 0;text-decoration:none;color:var(--text);transition:color var(--transition-normal)}.argument_chapterLink__WPwSt:hover{color:var(--accent);text-decoration:none}.argument_chapterNum__V6HPu{font-size:.875rem;color:var(--text-muted);min-width:1.5rem;text-align:right;flex-shrink:0}.argument_chapterTitle__XLlCP{font-size:1rem;flex:1}.argument_hinge__JaUQB .argument_chapterLink__WPwSt{color:var(--text-secondary);font-style:italic}.argument_hinge__JaUQB .argument_chapterLink__WPwSt:hover{color:var(--accent)}.argument_constitutionalNote__T8xWs{font-size:.9375rem;color:var(--text-secondary);margin:0 0 var(--space-3) 0;font-style:italic}.argument_externalArrow__icG5k{color:var(--text-muted);font-size:.875rem;transition:transform .2s ease}.argument_chapterLink__WPwSt:hover .argument_externalArrow__icG5k{transform:translateX(3px)}.argument_footer__3pHK6{margin-top:var(--space-8);padding-top:var(--space-6);border-top:1px solid var(--border-light);text-align:center}.argument_footerLink__8zOkR{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.argument_footerLink__8zOkR:hover{color:var(--accent);text-decoration:none}.argument_breadcrumb__DKsxf{font-size:.8125rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.argument_chapterNav__1INET{display:flex;justify-content:space-between;align-items:flex-start;margin-top:var(--space-8);padding-top:var(--space-6);border-top:1px solid var(--border-light);gap:2rem}.argument_navLink__CP5v_{text-decoration:none;color:var(--text-secondary);font-size:.9375rem;flex:1}.argument_navLink__CP5v_:hover{color:var(--accent)}.argument_navLinkRight__9Io5y{text-align:right}.argument_secondaryLinkWrap__6vCD8{text-align:center;margin-top:var(--space-4)}.argument_secondaryLink__6b6Mb{font-size:.875rem;color:var(--text-muted);text-decoration:none}.argument_secondaryLink__6b6Mb:hover{color:var(--accent)}@media (max-width:640px){.argument_toc__uc_vK{padding:var(--space-6) var(--space-4) var(--space-8)}}.constitution_page__lFhVy{max-width:720px;margin:0 auto;padding:var(--space-8) var(--space-5) var(--space-12)}.constitution_header__xS6Za{margin-bottom:var(--space-8)}.constitution_title__JPcEU{font-size:var(--text-page-title);font-weight:var(--weight-medium);letter-spacing:var(--tracking-h1);margin:0 0 .5rem}.constitution_subtitle__3mcXa{font-size:1.125rem;font-style:italic;color:var(--text-secondary);margin:0 0 1.5rem}.constitution_description__sOi0i{font-size:var(--text-body);color:var(--text-secondary);line-height:var(--leading-body);margin:0}.constitution_sectionHeading__TddBF{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin:0 0 var(--space-3) 0;padding-bottom:var(--space-2);border-bottom:1px solid var(--border-light)}.constitution_separations__Ya0Mn{margin-bottom:var(--space-6)}.constitution_separationList__NRwnl{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:var(--space-3)}.constitution_separationCard__KiKdM{display:flex;flex-direction:column;gap:.25rem;padding:var(--space-3) var(--space-4);border:1px solid var(--border-light);border-radius:6px;background:var(--bg-secondary,hsla(0,0%,50%,.03))}.constitution_separationTitle__PZv_c{font-size:.9375rem;font-weight:var(--weight-medium)}.constitution_separationDesc__Lh_O2{font-size:.875rem;color:var(--text-secondary);line-height:1.5}.constitution_documents__7RD2M{margin-bottom:var(--space-6)}.constitution_documentList__htuLD{list-style:none;margin:0;padding:0}.constitution_documentItem__KeCvO{border-bottom:1px solid var(--border-light)}.constitution_documentItem__KeCvO:last-child{border-bottom:none}.constitution_documentLink__sP52r{display:flex;flex-direction:column;gap:.25rem;padding:.75rem 0;text-decoration:none;color:var(--text);transition:color var(--transition-normal)}.constitution_documentLink__sP52r:hover{color:var(--accent);text-decoration:none}.constitution_documentTitle__yIccD{font-size:1rem;font-weight:var(--weight-medium)}.constitution_documentDesc__xEI4v{font-size:.875rem;color:var(--text-secondary);line-height:1.5}.constitution_documentLink__sP52r:hover .constitution_documentDesc__xEI4v{color:var(--accent)}.constitution_crossLinks__AdA1g{margin-bottom:var(--space-6)}.constitution_linkList__qfH6a{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.constitution_crossLink__oBUrs{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.constitution_crossLink__oBUrs:hover{color:var(--accent)}.constitution_breadcrumb__7PtpQ{font-size:.8125rem;font-weight:500;letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.constitution_detailNav__zNnuh{display:flex;justify-content:space-between;margin-top:var(--space-8);padding-top:var(--space-6);border-top:1px solid var(--border-light);gap:2rem}.constitution_detailNavLink__ordgW{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.constitution_detailNavLink__ordgW:hover{color:var(--accent)}.constitution_detailNavLinkRight__YCjOu{text-align:right}@media (max-width:640px){.constitution_page__lFhVy{padding:var(--space-6) var(--space-4) var(--space-8)}}.StatusBadge_badge__Sv1Ap{display:inline-block;padding:.25rem .75rem;border-radius:9999px;font-size:.75rem;font-weight:500;letter-spacing:.04em;text-transform:uppercase;white-space:nowrap}.StatusBadge_verified__DYxXr{background:hsla(150,50%,40%,.15);color:hsl(150,50%,40%)}.StatusBadge_demonstrated__P3kzW{background:hsla(210,50%,50%,.15);color:hsl(210,50%,50%)}.StatusBadge_operational__KmfZa{background:hsla(180,40%,45%,.15);color:hsl(180,40%,45%)}.StatusBadge_conjectural__nZD9T{background:hsla(40,55%,45%,.15);color:hsl(40,55%,45%)}.StatusBadge_frozen__GmJ2Y{background:hsla(210,50%,50%,.15);color:hsl(210,50%,50%)}.StatusBadge_design-only__e2Rir{background:var(--bg-secondary,hsla(0,0%,50%,.1));color:var(--text-muted,hsl(0,0%,50%))}@media (prefers-color-scheme:dark){.StatusBadge_verified__DYxXr{background:hsla(150,50%,50%,.15);color:hsl(150,50%,55%)}.StatusBadge_demonstrated__P3kzW{background:hsla(210,50%,60%,.15);color:hsl(210,50%,65%)}.StatusBadge_operational__KmfZa{background:hsla(180,40%,55%,.15);color:hsl(180,40%,60%)}.StatusBadge_conjectural__nZD9T{background:hsla(40,60%,55%,.15);color:hsl(40,60%,60%)}.StatusBadge_frozen__GmJ2Y{background:hsla(210,50%,60%,.15);color:hsl(210,50%,65%)}}.research_page__AHQaU{max-width:800px;margin:0 auto;padding:var(--space-8) var(--space-5) var(--space-12)}.research_header__7P6Qt{margin-bottom:var(--space-8)}.research_title__cr4Z7{font-size:var(--text-page-title);font-weight:var(--weight-medium);letter-spacing:var(--tracking-h1);margin:0 0 1rem}.research_description__AnHtT{font-size:var(--text-body);color:var(--text-secondary);line-height:var(--leading-body);margin:0}.research_omnibusSection__ohiv6{margin-bottom:var(--space-8);padding:var(--space-4);border:1px solid var(--border-light);border-radius:6px;background:var(--bg-secondary,hsla(0,0%,50%,.03))}.research_omnibusText__qnMuq{font-size:var(--text-body);line-height:var(--leading-body);color:var(--text-secondary);margin:0 0 var(--space-3) 0}.research_omnibusLinks__4KWZz{display:flex;gap:1.5rem}.research_omnibusLink__4OgT1{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.research_omnibusLink__4OgT1:hover{color:var(--accent)}.research_statusMap__t9Pog{display:flex;flex-direction:column;gap:var(--space-6)}.research_layerSection__iSyFG{padding-bottom:var(--space-4)}.research_layerHeader__UYbmd{margin-bottom:var(--space-3);padding-bottom:var(--space-2);border-bottom:1px solid var(--border-light)}.research_layerLabel__Ajr5t{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.research_entryList__H6_cH{list-style:none;margin:0;padding:0}.research_entryItem__To2Bz{border-bottom:1px solid var(--border-light)}.research_entryItem__To2Bz:last-child{border-bottom:none}.research_entryLink__b8Q0y{display:flex;align-items:center;justify-content:space-between;gap:1rem;padding:.75rem 0;text-decoration:none;color:var(--text);transition:color var(--transition-normal)}.research_entryLink__b8Q0y:hover{color:var(--accent);text-decoration:none}.research_entryInfo__Fpm9A{display:flex;flex-direction:column;gap:.125rem;min-width:0}.research_entryTitle__Mm4_b{font-size:1rem;font-weight:var(--weight-medium)}.research_entrySubtitle__vtALO{font-size:.875rem;color:var(--text-secondary);font-style:italic}.research_entryLink__b8Q0y:hover .research_entrySubtitle__vtALO{color:var(--accent)}.research_claimsLink__YKNcz{margin-top:var(--space-6);padding:var(--space-4) 0;border-top:1px solid var(--border-light)}.research_ledgerLink__ymCWl{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.research_ledgerLink__ymCWl:hover{color:var(--accent)}.research_footer__VOWZr{margin-top:var(--space-6);padding-top:var(--space-6);border-top:1px solid var(--border-light);text-align:center}.research_footerLink__13Tu1{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.research_footerLink__13Tu1:hover{color:var(--accent)}@media (max-width:640px){.research_page__AHQaU{padding:var(--space-6) var(--space-4) var(--space-8)}.research_entryLink__b8Q0y{flex-direction:column;align-items:flex-start;gap:.5rem}}.ReadingList_list__w5fSv{display:flex;flex-direction:column;gap:var(--space-10)}.ReadingList_section___6zvC{position:relative}.ReadingList_sectionTitle__g065E{font-family:var(--font-body);font-size:1.25rem;font-weight:var(--weight-normal);letter-spacing:.02em;color:var(--text);margin:0 0 var(--space-2);padding-bottom:var(--space-3);border-bottom:1px solid var(--border)}.ReadingList_sectionDesc__9iS5l{font-family:var(--font-body);font-size:.9375rem;font-style:italic;color:var(--text-secondary);margin:0 0 var(--space-5);max-width:600px}.ReadingList_sectionItems__Z2K7z{display:flex;flex-direction:column;gap:var(--space-5)}.ReadingList_item__QPRD8{position:relative;padding-left:var(--space-5)}.ReadingList_item__QPRD8:before{content:"";position:absolute;left:0;top:.5em;width:6px;height:6px;background:var(--border);border-radius:50%}.ReadingList_itemMain__I8LB3{font-family:var(--font-body);font-size:.9375rem;line-height:1.6;color:var(--text)}.ReadingList_author__pvWpB{font-weight:var(--weight-medium)}.ReadingList_author__pvWpB:after{content:". "}.ReadingList_title__sJLxu{color:var(--text)}.ReadingList_title__sJLxu:after{content:". "}.ReadingList_publication__NP9hA{color:var(--text-secondary)}.ReadingList_publication__NP9hA:before{content:""}.ReadingList_publication__NP9hA:after{content:", "}.ReadingList_year__Adtom{color:var(--text-muted);font-variant-numeric:tabular-nums}.ReadingList_year__Adtom:before{content:"("}.ReadingList_year__Adtom:after{content:")"}.ReadingList_annotation__R9nJ9{font-family:var(--font-body);font-size:.875rem;line-height:1.5;color:var(--text-secondary);margin:var(--space-2) 0 0;padding-left:0;font-style:normal}.ReadingList_item__QPRD8{transition:background .15s ease;padding:var(--space-3) var(--space-4) var(--space-3) var(--space-5);margin:0 calc(-1 * var(--space-4));border-radius:4px}.ReadingList_item__QPRD8:hover{background:var(--bg-muted)}.ReadingList_item__QPRD8:hover:before{background:var(--accent)}@media (max-width:640px){.ReadingList_sectionTitle__g065E{font-size:1.125rem}.ReadingList_item__QPRD8{padding-left:var(--space-4);margin:0 calc(-1 * var(--space-3));padding-right:var(--space-3)}.ReadingList_itemMain__I8LB3{font-size:.875rem}.ReadingList_annotation__R9nJ9{font-size:.8125rem}}@media print{.ReadingList_item__QPRD8:hover{background:none}.ReadingList_item__QPRD8:before{background:#000}}.math_definition__YSuYY,.math_example__sjSnD,.math_proof__ef4_n,.math_remark__K_xnZ,.math_theorem__UsnEN{margin:var(--space-6) 0;padding:var(--space-4) var(--space-5);border-left:3px solid var(--border);background:var(--bg-muted);border-radius:0 4px 4px 0}.math_header__kpjtX{display:flex;align-items:baseline;gap:var(--space-2);margin-bottom:var(--space-3)}.math_label__GvCrI{font-weight:var(--weight-semibold);text-transform:uppercase;letter-spacing:.04em}.math_label__GvCrI,.math_number__75fiu{font-family:var(--font-body);font-size:.875rem;color:var(--text-secondary)}.math_number__75fiu{font-weight:var(--weight-medium)}.math_title__W8Qvg{font-family:var(--font-body);font-size:.875rem;font-style:italic;color:var(--text-secondary)}.math_content__tTfnd{font-family:var(--font-body);font-size:1rem;line-height:1.7;color:var(--text)}.math_content__tTfnd p{margin:0 0 var(--space-3)}.math_content__tTfnd p:last-child{margin-bottom:0}.math_theorem__UsnEN{border-left-color:var(--accent)}.math_theorem__UsnEN .math_label__GvCrI{color:var(--accent)}.math_lemma__5p8q5{border-left-color:var(--text-muted)}.math_proposition__wKSFe{border-left-color:var(--accent)}.math_corollary__BY7x_{border-left-color:var(--text-secondary)}.math_definition__YSuYY{border-left-color:#b45309;background:rgba(245,158,11,.05)}.math_definition__YSuYY .math_label__GvCrI{color:#b45309}.dark .math_definition__YSuYY{background:rgba(245,158,11,.08)}.math_example__sjSnD{border-left-color:#0891b2;background:rgba(6,182,212,.05)}.math_example__sjSnD .math_label__GvCrI{color:#0891b2}.dark .math_example__sjSnD{background:rgba(6,182,212,.08)}.math_remark__K_xnZ{border-left-color:var(--text-muted);background:transparent;border-left-style:dashed}.math_remark__K_xnZ .math_label__GvCrI{font-style:italic;text-transform:none;letter-spacing:normal}.math_proof__ef4_n{border-left-color:transparent;background:transparent;padding-left:var(--space-4);border-left-width:0}.math_proof__ef4_n .math_label__GvCrI{font-style:italic;text-transform:none;letter-spacing:normal}.math_proofOf__RVFaN{font-family:var(--font-body);font-size:.875rem;font-style:italic;color:var(--text-secondary)}.math_qed__RyMSd{text-align:right;font-size:1rem;color:var(--text-secondary);margin-top:var(--space-2)}.math_mathBlock__Qnd_R{margin:var(--space-6) 0;border:1px solid var(--border);border-radius:4px;overflow:hidden}.math_mathBlockTitle__rm0YT{padding:var(--space-2) var(--space-4);background:var(--bg-muted);border-bottom:1px solid var(--border);font-family:var(--font-mono);font-size:.875rem;font-weight:var(--weight-semibold);color:var(--text-secondary)}.math_mathBlockContent__jspjs{padding:0}.math_mathBlockContent__jspjs pre{margin:0;border-radius:0;border:none}@media (max-width:640px){.math_definition__YSuYY,.math_example__sjSnD,.math_proof__ef4_n,.math_remark__K_xnZ,.math_theorem__UsnEN{padding:var(--space-3) var(--space-4);margin:var(--space-4) 0}}.CodexNav_nav__TZpqV{display:flex;justify-content:space-between;align-items:flex-start;gap:2rem;margin-top:4rem;padding-top:2rem;border-top:1px solid var(--border)}.CodexNav_next__uNiFC,.CodexNav_prev__D2ncN{flex:1;min-width:0}.CodexNav_center__8VhVE{flex:0 0 auto;text-align:center}.CodexNav_next__uNiFC{text-align:right}.CodexNav_link__Plpgi{display:inline-flex;flex-direction:column;gap:.25rem;text-decoration:none;color:inherit;max-width:100%}.CodexNav_link__Plpgi:hover{text-decoration:none}.CodexNav_link__Plpgi:hover .CodexNav_title__B1fJL{color:var(--accent)}.CodexNav_direction__p3kDN{font-size:.8125rem;color:var(--text-muted)}.CodexNav_title__B1fJL{font-weight:var(--weight-medium);transition:color .15s ease;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.CodexNav_tocLink__pYwr9{font-size:.875rem;color:var(--text-muted);text-decoration:none;padding:.5rem 1rem;border:1px solid var(--border);transition:all .15s ease}.CodexNav_tocLink__pYwr9:hover{color:var(--text);border-color:var(--text-muted);text-decoration:none}@media (max-width:640px){.CodexNav_nav__TZpqV{flex-direction:column;gap:1rem}.CodexNav_center__8VhVE{order:-1;align-self:center}.CodexNav_next__uNiFC{text-align:left}}.omnibus_page__ff_Q0{max-width:720px;margin:0 auto;padding:var(--space-8) var(--space-5) var(--space-12)}.omnibus_header__4JJ2T{margin-bottom:var(--space-6)}.omnibus_label__ILT7Y{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.omnibus_title__JFDNa{font-size:var(--text-page-title);font-weight:var(--weight-medium);letter-spacing:var(--tracking-h1);margin:.5rem 0}.omnibus_subtitle__epcr9{font-size:1.125rem;font-style:italic;color:var(--text-secondary);margin:0 0 var(--space-4) 0}.omnibus_downloadRow__D8nWo{display:flex;gap:1.5rem;margin-top:var(--space-3)}.omnibus_downloadLink__FDqm_{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.omnibus_downloadLink__FDqm_:hover{color:var(--accent)}.omnibus_namesSection____nK1{margin-top:var(--space-8)}.omnibus_sectionHeading__TECjm{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin:0 0 var(--space-3) 0;padding-bottom:var(--space-2);border-bottom:1px solid var(--border-light)}.omnibus_namesTable___L_7n{width:100%;border-collapse:collapse;font-size:.9375rem}.omnibus_namesTable___L_7n th{text-align:left;font-size:.75rem;font-weight:var(--weight-medium);letter-spacing:.06em;text-transform:uppercase;color:var(--text-muted);padding:.5rem .75rem;border-bottom:1px solid var(--border-light)}.omnibus_namesTable___L_7n td{padding:.625rem .75rem;border-bottom:1px solid var(--border-light);vertical-align:top}.omnibus_namesTable___L_7n tr:last-child td{border-bottom:none}.omnibus_paperLink__qdcON{color:var(--text);text-decoration:none;font-weight:var(--weight-medium)}.omnibus_paperLink__qdcON:hover{color:var(--accent)}.omnibus_paperRole__NyxS6{color:var(--text-secondary);font-size:.875rem}.omnibus_footer__lTdr6,.omnibus_readingGuide__N03ul{margin-top:var(--space-8)}.omnibus_footer__lTdr6{padding-top:var(--space-6);border-top:1px solid var(--border-light);display:flex;gap:1.5rem}.omnibus_footerLink__sToK2{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.omnibus_footerLink__sToK2:hover{color:var(--accent)}@media (max-width:640px){.omnibus_page__ff_Q0{padding:var(--space-6) var(--space-4) var(--space-8)}.omnibus_downloadRow__D8nWo,.omnibus_footer__lTdr6{flex-direction:column;gap:.5rem}.omnibus_namesTable___L_7n{font-size:.875rem}}.detail_researchMeta__i4dpA{margin-bottom:var(--space-6);padding:var(--space-4);border:1px solid var(--border-light);border-radius:6px;background:var(--bg-secondary,hsla(0,0%,50%,.03))}.detail_metaRow__C9bJl{display:flex;align-items:center;gap:.75rem;margin-bottom:var(--space-3)}.detail_statusDetail__pt91Q{font-size:.875rem;color:var(--text-secondary)}.detail_keyResult__QIW8J{margin-bottom:var(--space-3)}.detail_falsificationLabel__dinXq,.detail_keyResultLabel__Q8ZH0{display:block;font-size:.6875rem;font-weight:var(--weight-medium);letter-spacing:.1em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.25rem}.detail_keyResultText__rLXiI{font-size:.9375rem;line-height:1.5;margin:0;font-style:italic}.detail_falsificationText__N84WY{font-size:.875rem;line-height:1.5;color:var(--text-secondary);margin:0}.detail_layerLabel__0AdE0{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted)}.detail_footer__OCEuh{margin-top:var(--space-8);padding-top:var(--space-6);border-top:1px solid var(--border-light)}.detail_footerLink__GrB57{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.detail_footerLink__GrB57:hover{color:var(--accent)}.detail_summaryPage__wNOzN{max-width:720px;margin:0 auto;padding:var(--space-8) var(--space-5) var(--space-12)}.detail_header__OXnqg{margin-bottom:var(--space-6)}.detail_title___YQzc{font-size:var(--text-page-title);font-weight:var(--weight-medium);letter-spacing:var(--tracking-h1);margin:.5rem 0}.detail_subtitle__DAa8Z{font-size:1.125rem;font-style:italic;color:var(--text-secondary);margin:0}.detail_abstractSection__k63in{margin-top:var(--space-6)}.detail_sectionHeading__EwnYz{font-size:.8125rem;font-weight:var(--weight-medium);letter-spacing:.08em;text-transform:uppercase;color:var(--text-muted);margin:0 0 var(--space-3) 0;padding-bottom:var(--space-2);border-bottom:1px solid var(--border-light)}.detail_abstractText__n_HAI{font-size:var(--text-body);line-height:var(--leading-body);color:var(--text);margin:0}.detail_linksSection__fTuvm{margin-top:var(--space-6)}.detail_resourceList__OkmcU{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:.5rem}.detail_resourceLink__4Qcig{font-size:.9375rem;color:var(--text-secondary);text-decoration:none}.detail_resourceLink__4Qcig:hover{color:var(--accent)}@media (max-width:640px){.detail_summaryPage__wNOzN{padding:var(--space-6) var(--space-4) var(--space-8)}.detail_metaRow__C9bJl{flex-direction:column;align-items:flex-start;gap:.375rem}}.LocalTOC_tocWrapper__LRl0f{position:sticky;top:80px;max-height:calc(100vh - 120px);padding:.5rem;margin:-.5rem}.LocalTOC_toc__dNooE{opacity:.6;transition:opacity .2s ease;overflow-y:auto;padding-right:1rem;max-height:calc(100vh - 140px)}.LocalTOC_tocWrapper__LRl0f:hover .LocalTOC_toc__dNooE,.LocalTOC_toc__dNooE:has(.LocalTOC_active__erSnL){opacity:1}.LocalTOC_label__z1pEp{display:block;font-size:.6875rem;font-weight:600;letter-spacing:.05em;text-transform:uppercase;color:var(--text-muted);margin-bottom:.75rem;padding:.25rem 0}.LocalTOC_list__whKm5{list-style:none;padding:0;margin:0}.LocalTOC_item__KQqDs{margin-bottom:.25rem}.LocalTOC_link__gikQu{display:block;padding:.25rem 0;font-size:.8125rem;color:var(--text-secondary);text-decoration:none;line-height:1.4;transition:color .15s ease}.LocalTOC_link__gikQu:hover{color:var(--text);text-decoration:none}.LocalTOC_active__erSnL .LocalTOC_link__gikQu{color:var(--accent)}.LocalTOC_toc__dNooE::-webkit-scrollbar{width:4px}.LocalTOC_toc__dNooE::-webkit-scrollbar-track{background:transparent}.LocalTOC_toc__dNooE::-webkit-scrollbar-thumb{background:var(--border);border-radius:2px}@media (max-width:1200px){.LocalTOC_tocWrapper__LRl0f{display:none}}.MobileTOC_pill__naIEP{display:none}@media (max-width:1200px){.MobileTOC_pill__naIEP{display:block;position:fixed;bottom:1.5rem;left:1.5rem;z-index:100;padding:.5rem 1rem;font-family:var(--font-body);font-size:.8125rem;font-weight:500;color:var(--text-secondary);background:var(--bg);border:1px solid var(--border);border-radius:999px;cursor:pointer;box-shadow:var(--shadow-md);transition:color var(--transition-fast),border-color var(--transition-fast)}.MobileTOC_pill__naIEP:hover{color:var(--text);border-color:var(--border-strong)}}.MobileTOC_backdrop__PkQTD{position:fixed;inset:0;z-index:300;background:rgba(0,0,0,.3);animation:MobileTOC_fadeIn___DdXG .15s ease}@keyframes MobileTOC_fadeIn___DdXG{0%{opacity:0}to{opacity:1}}.MobileTOC_sheet__A3P_V{position:fixed;bottom:0;left:0;right:0;z-index:301;max-height:60vh;background:var(--bg);border-top:1px solid var(--border);border-radius:12px 12px 0 0;display:flex;flex-direction:column;animation:MobileTOC_slideUp__CWPli .2s ease}@keyframes MobileTOC_slideUp__CWPli{0%{transform:translateY(100%)}to{transform:translateY(0)}}.MobileTOC_sheetHeader__zmA86{display:flex;align-items:center;justify-content:space-between;padding:1rem 1.5rem;border-bottom:1px solid var(--border-light);flex-shrink:0}.MobileTOC_sheetTitle__1wQjA{font-size:.8125rem;font-weight:600;letter-spacing:.04em;text-transform:uppercase;color:var(--text-muted)}.MobileTOC_closeButton__H_pZC{background:none;border:none;font-size:1.25rem;color:var(--text-muted);cursor:pointer;padding:.25rem;line-height:1;transition:color var(--transition-fast)}.MobileTOC_closeButton__H_pZC:hover{color:var(--text)}.MobileTOC_sheetNav__nrk5Q{overflow-y:auto;padding:1rem 1.5rem 2rem;-webkit-overflow-scrolling:touch}.MobileTOC_list__i3PfD{list-style:none;padding:0;margin:0}.MobileTOC_item__2F8qM{margin-bottom:.125rem}.MobileTOC_link__7kTGV{display:block;padding:.5rem 0;font-size:1rem;color:var(--text-secondary);text-decoration:none;line-height:1.4;transition:color var(--transition-fast)}.MobileTOC_link__7kTGV:hover{color:var(--text);text-decoration:none}.proof-status-badge_badge__Fs68_{display:inline-block;padding:.2rem .625rem;border-radius:9999px;font-size:.6875rem;font-weight:500;letter-spacing:.04em;text-transform:uppercase;white-space:nowrap}.proof-status-badge_verified__FvaRJ{background:hsla(150,50%,40%,.15);color:hsl(150,50%,40%)}.proof-status-badge_prose__jXJoO{background:hsla(210,50%,50%,.15);color:hsl(210,50%,50%)}.proof-status-badge_conjectural__muIJV{background:hsla(0,0%,50%,.1);color:var(--text-muted,hsl(0,0%,50%))}@media (prefers-color-scheme:dark){.proof-status-badge_verified__FvaRJ{background:hsla(150,50%,50%,.15);color:hsl(150,50%,55%)}.proof-status-badge_prose__jXJoO{background:hsla(210,50%,60%,.15);color:hsl(210,50%,65%)}.proof-status-badge_conjectural__muIJV{background:hsla(0,0%,60%,.15);color:hsl(0,0%,70%)}}