.HomeSections-module__ZUJ-pG__section{padding-block:clamp(var(--space-8), 9vh, var(--space-10))}.HomeSections-module__ZUJ-pG__sectionTight{padding-block:clamp(var(--space-7), 6vh, var(--space-9))}.HomeSections-module__ZUJ-pG__grid{gap:0 var(--space-7);grid-template-columns:1fr;display:grid}@media (min-width:40rem){.HomeSections-module__ZUJ-pG__grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (min-width:68rem){.HomeSections-module__ZUJ-pG__grid{grid-template-columns:repeat(3,minmax(0,1fr))}}.HomeSections-module__ZUJ-pG__featured{background:var(--surface-raised);border-block:1px solid var(--rule-hairline)}.HomeSections-module__ZUJ-pG__featuredInner{gap:var(--space-6);padding-block:clamp(var(--space-7), 8vh, var(--space-9));grid-template-columns:1fr;display:grid}@media (min-width:62rem){.HomeSections-module__ZUJ-pG__featuredInner{gap:var(--space-8);grid-template-columns:minmax(0,1.75fr) minmax(15rem,.85fr)}}.HomeSections-module__ZUJ-pG__featuredEyebrow{align-items:center;gap:var(--space-3);font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--accent);margin-bottom:var(--space-5);font-weight:600;display:flex}.HomeSections-module__ZUJ-pG__featuredEyebrow:after{content:"";background:var(--rule-soft);flex:1;height:1px}.HomeSections-module__ZUJ-pG__featuredTitle{font-family:var(--font-display);font-size:var(--text-3xl);letter-spacing:-.03em;color:var(--text-primary);text-wrap:balance;margin:0;font-weight:400;line-height:1.06}.HomeSections-module__ZUJ-pG__featuredTitle a{transition:color var(--duration-fast) var(--ease-out)}.HomeSections-module__ZUJ-pG__featuredTitle a:hover{color:var(--accent)}.HomeSections-module__ZUJ-pG__featuredStandfirst{margin:var(--space-5) 0 0;max-width:46ch;font-family:var(--font-body);font-size:clamp(1.0625rem,.6vw + .95rem,1.25rem);font-style:italic;line-height:var(--leading-normal);color:var(--text-secondary);text-wrap:pretty}.HomeSections-module__ZUJ-pG__featuredDescription{margin:var(--space-4) 0 0;max-width:56ch;font-family:var(--font-body);font-size:var(--text-md);line-height:var(--leading-prose);color:var(--text-muted)}.HomeSections-module__ZUJ-pG__featuredAction{align-items:center;gap:var(--space-3);margin-top:var(--space-6);padding:var(--space-3) var(--space-5);background:var(--surface-inverse);color:var(--text-on-inverse);border-radius:var(--radius-sm);font-family:var(--font-ui);font-size:var(--text-sm);transition:opacity var(--duration-fast) var(--ease-out);font-weight:500;display:inline-flex}.HomeSections-module__ZUJ-pG__featuredAction:hover{opacity:.86}.HomeSections-module__ZUJ-pG__featuredAction svg{transition:transform var(--duration-base) var(--ease-out)}.HomeSections-module__ZUJ-pG__featuredAction:hover svg{transform:translate(3px)}.HomeSections-module__ZUJ-pG__colophon{gap:var(--space-4);padding:var(--space-5);background:var(--surface-page);border:1px solid var(--rule-hairline);border-radius:var(--radius-sm);flex-direction:column;align-self:start;display:flex}.HomeSections-module__ZUJ-pG__colophonRow{gap:var(--space-1);flex-direction:column;display:flex}.HomeSections-module__ZUJ-pG__colophonKey{font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--text-faint);font-weight:600}.HomeSections-module__ZUJ-pG__colophonValue{font-family:var(--font-ui);font-size:var(--text-base);color:var(--text-secondary)}.HomeSections-module__ZUJ-pG__colophonValue a:hover{color:var(--accent);text-underline-offset:3px;text-decoration:underline}.HomeSections-module__ZUJ-pG__tagRow{gap:var(--space-2);flex-wrap:wrap;display:flex}.HomeSections-module__ZUJ-pG__tag{font-family:var(--font-ui);font-size:var(--text-xs);color:var(--text-muted);padding:.15rem var(--space-3);border:1px solid var(--rule-hairline);border-radius:var(--radius-pill);transition:border-color var(--duration-fast) var(--ease-out), color var(--duration-fast) var(--ease-out)}a.HomeSections-module__ZUJ-pG__tag:hover{color:var(--accent);border-color:var(--accent)}.HomeSections-module__ZUJ-pG__browse{gap:var(--space-6);padding:clamp(var(--space-6), 5vw, var(--space-8));border:1px solid var(--rule-soft);border-radius:var(--radius-sm);background:var(--surface-raised);grid-template-columns:1fr;align-items:center;display:grid}@media (min-width:54rem){.HomeSections-module__ZUJ-pG__browse{gap:var(--space-8);grid-template-columns:minmax(0,1fr) auto}}.HomeSections-module__ZUJ-pG__browseTitle{font-family:var(--font-display);font-size:var(--text-2xl);letter-spacing:-.025em;color:var(--text-primary);margin:0;font-weight:400}.HomeSections-module__ZUJ-pG__browseText{margin:var(--space-4) 0 0;max-width:52ch;font-family:var(--font-body);font-size:var(--text-md);line-height:var(--leading-prose);color:var(--text-muted)}.HomeSections-module__ZUJ-pG__browseStats{gap:var(--space-5) var(--space-7);margin-top:var(--space-6);flex-wrap:wrap;display:flex}.HomeSections-module__ZUJ-pG__stat{flex-direction:column;gap:.15rem;display:flex}.HomeSections-module__ZUJ-pG__statValue{font-family:var(--font-display);font-size:var(--text-xl);font-variant-numeric:tabular-nums;color:var(--text-primary);font-weight:500;line-height:1}.HomeSections-module__ZUJ-pG__statLabel{font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--text-faint);font-weight:500}.HomeSections-module__ZUJ-pG__browseActions{gap:var(--space-3);flex-direction:column;min-width:14rem;display:flex}.HomeSections-module__ZUJ-pG__primaryAction{justify-content:space-between;align-items:center;gap:var(--space-4);padding:var(--space-4) var(--space-5);background:var(--accent);color:var(--accent-contrast);border-radius:var(--radius-sm);font-family:var(--font-ui);font-size:var(--text-base);transition:background-color var(--duration-fast) var(--ease-out);font-weight:500;display:inline-flex}.HomeSections-module__ZUJ-pG__primaryAction:hover{background:var(--accent-hover)}.HomeSections-module__ZUJ-pG__secondaryAction{justify-content:space-between;align-items:center;gap:var(--space-4);padding:var(--space-4) var(--space-5);border:1px solid var(--rule-soft);border-radius:var(--radius-sm);font-family:var(--font-ui);font-size:var(--text-base);color:var(--text-secondary);transition:border-color var(--duration-fast) var(--ease-out), color var(--duration-fast) var(--ease-out);font-weight:500;display:inline-flex}.HomeSections-module__ZUJ-pG__secondaryAction:hover{border-color:var(--rule-strong);color:var(--text-primary)}
.Math-module__15O7Mq__inline .katex{font-size:1.06em}.Math-module__15O7Mq__display{margin-block:var(--space-6);padding-block:var(--space-1) var(--space-2);padding-inline:var(--space-1);scrollbar-width:thin;overflow:auto hidden}.Math-module__15O7Mq__display .katex-display{margin:0}.Math-module__15O7Mq__display .katex{font-size:1.14em}.Math-module__15O7Mq__tagged{align-items:center;gap:var(--space-4);display:flex}.Math-module__15O7Mq__tagged .Math-module__15O7Mq__displayBody{scrollbar-width:thin;flex:1;min-width:0;overflow-x:auto}.Math-module__15O7Mq__tag{font-family:var(--font-body);font-size:var(--text-base);font-variant-numeric:tabular-nums;color:var(--text-faint);flex:none}@media (max-width:34rem){.Math-module__15O7Mq__display .katex{font-size:1.02em}}
.CodeBlock-module__i5HM7a__block{margin-block:var(--space-6);border:1px solid var(--rule-hairline);border-radius:var(--radius-sm);background:var(--surface-raised);overflow:hidden}.CodeBlock-module__i5HM7a__head{justify-content:space-between;align-items:center;gap:var(--space-4);padding:var(--space-2) var(--space-3) var(--space-2) var(--space-4);border-bottom:1px solid var(--rule-hairline);background:var(--surface-sunken);display:flex}.CodeBlock-module__i5HM7a__language{font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--text-faint);font-weight:600}.CodeBlock-module__i5HM7a__copy{align-items:center;gap:var(--space-2);padding:.25rem var(--space-3);font-family:var(--font-ui);font-size:var(--text-xs);color:var(--text-muted);border-radius:var(--radius-sm);transition:color var(--duration-fast) var(--ease-out), border-color var(--duration-fast) var(--ease-out);background:0 0;border:1px solid #0000;display:inline-flex}.CodeBlock-module__i5HM7a__copy:hover{color:var(--text-primary);border-color:var(--rule-soft)}.CodeBlock-module__i5HM7a__copy[data-state=copied]{color:var(--accent)}.CodeBlock-module__i5HM7a__copy[data-state=failed]{color:var(--text-muted)}.CodeBlock-module__i5HM7a__scroll{scrollbar-width:thin;overflow-x:auto}.CodeBlock-module__i5HM7a__scroll pre.shiki{padding:var(--space-4) var(--space-5);font-family:var(--font-mono);font-size:var(--text-sm);tab-size:2;font-variant-ligatures:none;margin:0;line-height:1.75;background:0 0!important}.CodeBlock-module__i5HM7a__scroll pre.shiki code{width:fit-content;min-width:100%;font-family:inherit;display:block}.CodeBlock-module__i5HM7a__scroll pre.shiki span{color:var(--shiki-light);font-style:var(--shiki-light-font-style);font-weight:var(--shiki-light-font-weight)}[data-theme=dark] .CodeBlock-module__i5HM7a__scroll pre.shiki span{color:var(--shiki-dark);font-style:var(--shiki-dark-font-style);font-weight:var(--shiki-dark-font-weight)}.CodeBlock-module__i5HM7a__caption{padding:var(--space-3) var(--space-5) var(--space-4);border-top:1px solid var(--rule-hairline);font-family:var(--font-ui);font-size:var(--text-xs);line-height:var(--leading-normal);color:var(--text-muted);margin:0}
.Inline-module__qe8iDq__code{font-family:var(--font-mono);color:var(--text-primary);background:var(--accent-wash);border:1px solid var(--rule-hairline);border-radius:var(--radius-xs);word-break:break-word;padding:.08em .32em;font-size:.88em}.Inline-module__qe8iDq__link{color:var(--text-primary);text-decoration:underline;text-decoration-thickness:1px;-webkit-text-decoration-color:var(--accent);text-decoration-color:var(--accent);text-underline-offset:.18em;transition:color var(--duration-fast) var(--ease-out)}.Inline-module__qe8iDq__link:hover{color:var(--accent)}
.ArticleBody-module__vYvAfq__body{font-family:var(--font-body);font-size:var(--text-md);line-height:var(--leading-prose);color:var(--text-secondary)}.ArticleBody-module__vYvAfq__body>*{max-width:var(--measure-prose)}.ArticleBody-module__vYvAfq__paragraph{margin-block:0 var(--space-5);text-wrap:pretty}.ArticleBody-module__vYvAfq__h2,.ArticleBody-module__vYvAfq__h3{font-family:var(--font-display);color:var(--text-primary);letter-spacing:-.015em;text-wrap:balance;scroll-margin-top:calc(var(--header-height) + var(--space-5));font-weight:500}.ArticleBody-module__vYvAfq__h2{font-size:var(--text-2xl);line-height:var(--leading-snug);margin-block:var(--space-8) var(--space-4);padding-top:var(--space-4);border-top:1px solid var(--rule-hairline)}.ArticleBody-module__vYvAfq__h3{font-size:var(--text-lg);line-height:var(--leading-snug);margin-block:var(--space-6) var(--space-3)}.ArticleBody-module__vYvAfq__body>.ArticleBody-module__vYvAfq__h2:first-child,.ArticleBody-module__vYvAfq__body>.ArticleBody-module__vYvAfq__h3:first-child{margin-top:0}.ArticleBody-module__vYvAfq__list{margin-block:0 var(--space-5);padding-inline-start:var(--space-5)}.ArticleBody-module__vYvAfq__list li{margin-block:var(--space-2);padding-inline-start:var(--space-2)}.ArticleBody-module__vYvAfq__list li::marker{color:var(--text-faint);font-size:.9em}.ArticleBody-module__vYvAfq__statement{margin-block:var(--space-6);padding:var(--space-4) var(--space-5);background:var(--surface-raised);border:1px solid var(--rule-hairline);border-inline-start:2px solid var(--accent);border-radius:0 var(--radius-sm) var(--radius-sm) 0;position:relative}.ArticleBody-module__vYvAfq__statement[data-variant=example],.ArticleBody-module__vYvAfq__statement[data-variant=remark],.ArticleBody-module__vYvAfq__statement[data-variant=exercise]{border:none;border-inline-start:1px solid var(--rule-soft);padding-block:var(--space-1);background:0 0;border-radius:0}.ArticleBody-module__vYvAfq__statementLabel{font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--accent);margin-bottom:var(--space-2);font-weight:600;display:block}.ArticleBody-module__vYvAfq__statementName{color:var(--text-faint);text-transform:none;letter-spacing:var(--tracking-wide);font-weight:500}.ArticleBody-module__vYvAfq__statement[data-variant=theorem] .ArticleBody-module__vYvAfq__paragraph,.ArticleBody-module__vYvAfq__statement[data-variant=lemma] .ArticleBody-module__vYvAfq__paragraph,.ArticleBody-module__vYvAfq__statement[data-variant=proposition] .ArticleBody-module__vYvAfq__paragraph,.ArticleBody-module__vYvAfq__statement[data-variant=corollary] .ArticleBody-module__vYvAfq__paragraph{font-style:italic}.ArticleBody-module__vYvAfq__statement>:last-child,.ArticleBody-module__vYvAfq__proof>:last-child{margin-bottom:0}.ArticleBody-module__vYvAfq__proof{margin-block:var(--space-5) var(--space-6)}.ArticleBody-module__vYvAfq__proofLabel{font-family:var(--font-body);color:var(--text-primary);font-style:italic}.ArticleBody-module__vYvAfq__proofLabel:after{content:"."}.ArticleBody-module__vYvAfq__qed{vertical-align:-.02em;border:1.5px solid var(--accent);width:.58em;height:.58em;margin-inline-start:.55em;display:inline-block}.ArticleBody-module__vYvAfq__figure{margin-block:var(--space-7);max-width:min(100%,46rem)}.ArticleBody-module__vYvAfq__figureFrame{border:1px solid var(--rule-hairline);border-radius:var(--radius-sm);background:var(--surface-plate);line-height:0;overflow:hidden}.ArticleBody-module__vYvAfq__figureImage{width:100%;height:auto;filter:var(--plate-filter)}.ArticleBody-module__vYvAfq__caption{margin:var(--space-3) 0 0;font-family:var(--font-ui);font-size:var(--text-sm);line-height:var(--leading-normal);color:var(--text-muted);max-width:60ch}.ArticleBody-module__vYvAfq__captionIndex{color:var(--text-secondary);font-weight:600}.ArticleBody-module__vYvAfq__quote{margin-block:var(--space-6);border-inline-start:2px solid var(--rule-soft);font-size:var(--text-lg);line-height:var(--leading-normal);color:var(--text-primary);padding-inline-start:var(--space-5)}.ArticleBody-module__vYvAfq__quote p{text-wrap:pretty;margin:0}.ArticleBody-module__vYvAfq__attribution{margin-top:var(--space-3);font-family:var(--font-ui);font-size:var(--text-xs);letter-spacing:var(--tracking-wide);color:var(--text-faint);font-style:normal;display:block}.ArticleBody-module__vYvAfq__attribution:before{content:"— "}.ArticleBody-module__vYvAfq__body>.ArticleBody-module__vYvAfq__wide{max-width:min(100%,46rem)}
.TopicGrid-module__6XHpua__grid{background:var(--rule-hairline);border:1px solid var(--rule-hairline);grid-template-columns:1fr;gap:1px;display:grid}@media (min-width:34rem){.TopicGrid-module__6XHpua__grid{grid-template-columns:repeat(2,minmax(0,1fr))}}@media (min-width:58rem){.TopicGrid-module__6XHpua__grid{grid-template-columns:repeat(3,minmax(0,1fr))}}.TopicGrid-module__6XHpua__topic{gap:var(--space-2);min-height:10.5rem;padding:var(--space-5);background:var(--surface-page);isolation:isolate;transition:background-color var(--duration-base) var(--ease-out);flex-direction:column;display:flex;position:relative;overflow:hidden}.TopicGrid-module__6XHpua__topic:hover{background:var(--surface-raised)}.TopicGrid-module__6XHpua__glyph{z-index:-1;color:var(--text-primary);opacity:.06;pointer-events:none;transition:opacity var(--duration-slow) var(--ease-out), transform var(--duration-slow) var(--ease-out);font-size:3.75rem;line-height:1;position:absolute;inset-block-end:-.75rem;inset-inline-end:-.5rem}.TopicGrid-module__6XHpua__topic:hover .TopicGrid-module__6XHpua__glyph{opacity:.11;transform:scale(1.05)}.TopicGrid-module__6XHpua__name{font-family:var(--font-display);font-size:var(--text-lg);letter-spacing:-.015em;color:var(--text-primary);transition:color var(--duration-fast) var(--ease-out);margin:0;font-weight:500}.TopicGrid-module__6XHpua__name a:after{content:"";position:absolute;inset:0}.TopicGrid-module__6XHpua__topic:hover .TopicGrid-module__6XHpua__name{color:var(--accent)}.TopicGrid-module__6XHpua__blurb{font-family:var(--font-body);font-size:var(--text-base);line-height:var(--leading-normal);color:var(--text-muted);max-width:30ch;margin:0}.TopicGrid-module__6XHpua__count{padding-top:var(--space-3);font-family:var(--font-ui);font-size:var(--text-xs);font-variant-numeric:tabular-nums;color:var(--text-faint);margin-top:auto}
.ArticleContents-module__EuzPVq__contents{font-family:var(--font-ui)}.ArticleContents-module__EuzPVq__label{font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--text-faint);margin:0 0 var(--space-3);padding-bottom:var(--space-2);border-bottom:1px solid var(--rule-hairline);font-weight:600}.ArticleContents-module__EuzPVq__list{gap:.1rem;margin:0;padding:0;list-style:none;display:grid}.ArticleContents-module__EuzPVq__item a{padding:.3rem 0 .3rem var(--space-3);font-size:var(--text-base);line-height:var(--leading-snug);color:var(--text-muted);border-inline-start:1px solid var(--rule-hairline);transition:color var(--duration-fast) var(--ease-out), border-color var(--duration-fast) var(--ease-out);display:block}.ArticleContents-module__EuzPVq__item a:hover{color:var(--text-primary);border-inline-start-color:var(--rule-strong)}.ArticleContents-module__EuzPVq__sub a{font-size:var(--text-sm);padding-inline-start:var(--space-5)}.ArticleContents-module__EuzPVq__item[data-active=true] a{color:var(--text-primary);border-inline-start-color:var(--accent)}
.SectionHeading-module__1CUDPa__heading{justify-content:space-between;align-items:flex-end;gap:var(--space-4) var(--space-6);padding-bottom:var(--space-5);border-bottom:1px solid var(--rule-strong);flex-wrap:wrap;display:flex}.SectionHeading-module__1CUDPa__text{max-width:46ch}.SectionHeading-module__1CUDPa__eyebrow{font-family:var(--font-ui);font-size:var(--text-2xs);letter-spacing:var(--tracking-caps);text-transform:uppercase;color:var(--text-faint);margin-bottom:var(--space-3);font-weight:600;display:block}.SectionHeading-module__1CUDPa__title{font-family:var(--font-display);font-size:var(--text-2xl);font-weight:400;line-height:var(--leading-tight);letter-spacing:-.025em;color:var(--text-primary);margin:0}.SectionHeading-module__1CUDPa__description{margin:var(--space-3) 0 0;font-family:var(--font-body);font-size:var(--text-md);line-height:var(--leading-normal);color:var(--text-muted);text-wrap:pretty}.SectionHeading-module__1CUDPa__action{align-items:center;gap:var(--space-2);font-family:var(--font-ui);font-size:var(--text-sm);color:var(--accent);transition:border-color var(--duration-fast) var(--ease-out), color var(--duration-fast) var(--ease-out);border-bottom:1px solid #0000;padding-bottom:.15rem;font-weight:500;display:inline-flex}.SectionHeading-module__1CUDPa__action:hover{color:var(--accent-hover);border-bottom-color:currentColor}.SectionHeading-module__1CUDPa__action svg{transition:transform var(--duration-base) var(--ease-out)}.SectionHeading-module__1CUDPa__action:hover svg{transform:translate(3px)}