.prose{counter-reset:theorem lemma definition;overflow-wrap:break-word}.prose>:first-child{margin-top:0}.prose>:last-child{margin-bottom:0}.prose h2{margin:var(--space-6) 0 var(--space-2)}.prose h3{margin:var(--space-4) 0 var(--space-1)}.prose :is(h2,h3) a{color:inherit;text-decoration:none}.prose :is(h2,h3) a:hover{color:var(--color-accent)}.prose :target{scroll-margin-top:var(--space-3)}.prose a{text-decoration:underline 1px;text-decoration-color:color-mix(in srgb, var(--color-accent) 40%, transparent);text-underline-offset:3px}.prose a:hover{text-decoration-color:var(--color-accent)}.prose :is(ul,ol){margin:1em 0;padding-left:1.4em}.prose li+li,.prose li>:is(ul,ol){margin-top:.35em}.prose li>:is(ul,ol){margin-bottom:0}.prose li>p{margin:.35em 0}.prose li::marker{color:var(--color-secondary)}.prose blockquote,.prose .note{margin:var(--space-3) 0;padding-left:var(--space-3);border-left:1px solid var(--color-hairline)}.prose blockquote{color:var(--color-secondary)}.prose .note{font-size:var(--text-small)}.prose :is(blockquote,.note)>:first-child{margin-top:0}.prose :is(blockquote,.note)>:last-child{margin-bottom:0}.prose .table-wrap{margin:var(--space-3) 0;overflow-x:auto}.prose table{border-collapse:collapse;width:100%;font-size:var(--text-small);font-variant-numeric:tabular-nums}.prose :is(th,td){padding:var(--space-1) var(--space-2) var(--space-1) 0;border-bottom:1px solid var(--color-hairline);text-align:left;vertical-align:top}.prose :is(th,td):last-child{padding-right:0}.prose th{font-weight:600}.prose :is(th,td)[align=right]{text-align:right}.prose :is(th,td)[align=center]{text-align:center}.prose figure{margin:var(--space-4) 0}.prose img{max-width:100%;height:auto;display:block}.prose figcaption p{margin:0}.prose figcaption{margin-top:var(--space-1);color:var(--color-secondary);font-size:var(--text-small)}.prose code{font-family:var(--font-mono);font-size:.92em}.prose .code-block{margin:var(--space-3) 0;border-radius:var(--radius-code);background:var(--color-code-bg);position:relative;overflow:hidden}.prose .code-title{padding:var(--space-1) var(--space-2);border-bottom:1px solid var(--color-hairline);color:var(--color-secondary);font-family:var(--font-mono);font-size:var(--text-small);line-height:var(--lh-body)}.prose pre{padding:var(--space-2);font-size:var(--text-small);tab-size:4;margin:0;line-height:1.55;overflow-x:auto}.prose pre code{width:fit-content;min-width:100%;font-size:inherit;display:block}.prose pre .line.highlighted{width:calc(100% + 2 * var(--space-2));margin-inline:calc(-1 * var(--space-2));padding-inline:var(--space-2);background:color-mix(in srgb, var(--color-accent) var(--code-highlight-tint), transparent);display:inline-block}.prose .copy-button{padding:var(--space-1) var(--space-2);background:var(--color-code-bg);color:var(--color-secondary);font-family:var(--font-sans);font-size:var(--text-small);line-height:var(--lh-body);cursor:pointer;border:0;transition:color .15s;position:absolute;top:0;right:0}.prose .copy-button:hover{color:var(--color-text)}.astro-code,.astro-code span{color:var(--shiki-light);font-style:var(--shiki-light-font-style);font-weight:var(--shiki-light-font-weight)}@media (prefers-color-scheme:dark){.astro-code,.astro-code span{color:var(--shiki-dark);font-style:var(--shiki-dark-font-style);font-weight:var(--shiki-dark-font-weight)}}.prose .katex{font-size:1.1em}.prose .katex-display{margin:var(--space-2) 0;padding-block:2px;overflow:auto hidden}.prose .theorem{margin:var(--space-3) 0}.prose .theorem-head{float:left;margin-right:.5em;font-weight:600}.prose .theorem-head:after{content:"."}.prose .theorem-head:lang(zh){margin-right:1em}.prose .theorem-head:lang(zh):after{content:none}.prose .theorem-title{font-weight:400}.prose .theorem>:nth-child(2){margin-top:0}.prose .theorem>:last-child{margin-bottom:0}.prose .theorem[data-kind=theorem]{counter-increment:theorem}.prose .theorem[data-kind=lemma]{counter-increment:lemma}.prose .theorem[data-kind=definition]{counter-increment:definition}.prose .theorem[data-kind=theorem] .theorem-label:after{content:" " counter(theorem)}.prose .theorem[data-kind=lemma] .theorem-label:after{content:" " counter(lemma)}.prose .theorem[data-kind=definition] .theorem-label:after{content:" " counter(definition)}.prose .theorem[data-kind=proof]>:last-child:after{content:"∎";float:right;margin-left:var(--space-2)}.prose-toc{margin:0 0 var(--space-6);font-size:var(--text-small)}.prose-toc p{margin:0 0 var(--space-1);color:var(--color-secondary)}.prose-toc ol{color:var(--color-secondary);margin:0;padding-left:1.6em}.prose-toc li+li{margin-top:calc(var(--space-1) / 2)}.prose-toc a{color:var(--color-text)}.prose-toc a:hover{color:var(--color-accent)}.prose sup{font-size:.75em;line-height:0}.prose sup a{padding:0 2px;text-decoration:none}.prose .footnotes{margin-top:var(--space-8);padding-top:var(--space-3);border-top:1px solid var(--color-hairline);color:var(--color-secondary);font-size:var(--text-small)}.prose .footnotes ol,.prose .footnotes p{margin:0}.prose details{margin:var(--space-3) 0}.prose summary{cursor:pointer;font-weight:600}.prose details[open]>summary{margin-bottom:var(--space-1)}@media print{.prose a{text-decoration:none}.prose .code-block{border:1px solid var(--color-hairline)}.prose pre{white-space:pre-wrap;overflow:visible}.prose .katex-display{overflow:visible}.prose .copy-button{display:none}.prose :is(h2,h3){break-after:avoid}.prose :is(figure,.code-block,.theorem,table,.katex-display){break-inside:avoid}}