.toc[data-astro-cid-ymbpksfa]{font-size:.875rem}.toc-link[data-astro-cid-ymbpksfa]{display:block;line-height:1.5;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.prose{--tw-prose-body: #374151;--tw-prose-headings: #111827;--tw-prose-links: #2563eb;--tw-prose-code: #111827;--tw-prose-quotes: #4b5563}.dark .prose{--tw-prose-body: #d1d5db;--tw-prose-headings: #f3f4f6;--tw-prose-links: #60a5fa;--tw-prose-code: #f3f4f6;--tw-prose-quotes: #9ca3af}.prose-academic{font-family:"Noto Serif SC",Georgia,Times New Roman,serif;font-size:1.0625rem;line-height:1.85;letter-spacing:.01em}.prose-academic h1,.prose-academic h2,.prose-academic h3,.prose-academic h4{font-family:Noto Sans SC,system-ui,sans-serif;font-weight:600;letter-spacing:-.02em;margin-top:2em;margin-bottom:.75em}.prose-academic h1{font-size:2rem;border-bottom:1px solid #e5e7eb;padding-bottom:.5em}.prose-academic h2{font-size:1.5rem;border-bottom:1px solid #f3f4f6;padding-bottom:.3em}.prose-academic h3{font-size:1.25rem}.prose-academic p{margin-bottom:1.25em;text-align:justify;hyphens:auto}.prose-academic blockquote{font-style:italic;border-left:3px solid #d1d5db;padding-left:1.5em;margin:1.5em 0;color:#4b5563}.prose-academic code:not(pre code){font-family:JetBrains Mono,Fira Code,monospace;font-size:.875em;background:#f3f4f6;padding:.2em .4em;border-radius:.25em}.prose-academic figure{margin:2em 0}.prose-academic figcaption{font-size:.875rem;color:#6b7280;text-align:center;margin-top:.75em}.prose-academic table{font-size:.9375rem;border-collapse:collapse;width:100%}.prose-academic th{font-weight:600;text-align:left;border-bottom:2px solid #d1d5db;padding:.75em 1em}.prose-academic td{border-bottom:1px solid #e5e7eb;padding:.75em 1em}.dark .prose-academic h1,.dark .prose-academic h2{border-color:#374151}.dark .prose-academic blockquote{border-color:#4b5563;color:#9ca3af}.dark .prose-academic code:not(pre code){background:#1f2937}.dark .prose-academic th{border-color:#4b5563}.dark .prose-academic td{border-color:#374151}.prose-minimal{font-family:Inter,Noto Sans SC,system-ui,sans-serif;font-size:1rem;line-height:1.75;letter-spacing:0}.prose-minimal h1,.prose-minimal h2,.prose-minimal h3,.prose-minimal h4{font-weight:700;letter-spacing:-.03em;margin-top:2.5em;margin-bottom:.5em}.prose-minimal h1{font-size:2.25rem}.prose-minimal h2{font-size:1.75rem}.prose-minimal h3{font-size:1.25rem}.prose-minimal p{margin-bottom:1.5em}.prose-minimal blockquote{font-style:normal;font-weight:500;border-left:4px solid #3b82f6;padding-left:1.25em;margin:2em 0}.prose-minimal code:not(pre code){font-family:SF Mono,Fira Code,monospace;font-size:.875em;background:#f3f4f6;padding:.15em .4em;border-radius:.375em;font-weight:500}.prose-minimal a{text-decoration:none;border-bottom:1px solid currentColor;transition:border-color .2s}.prose-minimal a:hover{border-color:transparent}.prose-minimal hr{border:none;height:1px;background:#e5e7eb;margin:3em 0}.dark .prose-minimal code:not(pre code){background:#1f2937}.dark .prose-minimal hr{background:#374151}.prose-magazine{font-family:Noto Sans SC,system-ui,sans-serif;font-size:1.125rem;line-height:1.7}.prose-magazine h1{font-size:3rem;font-weight:800;letter-spacing:-.04em;line-height:1.1;margin-bottom:.5em}.prose-magazine h2{font-size:1.875rem;font-weight:700;letter-spacing:-.02em;margin-top:2em;margin-bottom:.5em}.prose-magazine h3{font-size:1.375rem;font-weight:600;margin-top:1.5em}.prose-magazine>p:first-of-type:first-letter{float:left;font-size:4em;line-height:.8;font-weight:700;margin-right:.1em;margin-top:.1em;color:#111827}.prose-magazine p{margin-bottom:1.25em}.prose-magazine blockquote{font-size:1.375rem;font-weight:500;font-style:italic;border:none;padding:1em 0;margin:2em 0;text-align:center;color:#374151}.prose-magazine blockquote:before{content:'"';display:block;font-size:4rem;line-height:1;color:#d1d5db}.prose-magazine figure{margin:2.5em -2em}.prose-magazine img{width:100%}.prose-magazine figcaption{font-size:.875rem;color:#6b7280;padding:0 2em;margin-top:.75em}.dark .prose-magazine>p:first-of-type:first-letter{color:#f3f4f6}.dark .prose-magazine blockquote{color:#d1d5db}.dark .prose-magazine blockquote:before{color:#4b5563}.prose-distill{font-family:"Source Serif Pro","Noto Serif SC",Georgia,serif;font-size:1.0625rem;line-height:1.8;max-width:65ch}.prose-distill h1,.prose-distill h2,.prose-distill h3{font-family:Source Sans Pro,Noto Sans SC,system-ui,sans-serif;font-weight:600}.prose-distill h1{font-size:2.5rem;line-height:1.2;margin-bottom:.5em;letter-spacing:-.02em}.prose-distill h2{font-size:1.5rem;margin-top:2.5em;margin-bottom:.75em;padding-bottom:.25em;border-bottom:1px solid #e5e7eb}.prose-distill h3{font-size:1.125rem;font-weight:700;margin-top:1.5em;text-transform:uppercase;letter-spacing:.05em;color:#4b5563}.prose-distill p{margin-bottom:1.25em}.prose-distill .sidenote,.prose-distill .marginnote{float:right;clear:right;margin-right:-40%;width:35%;font-size:.8125rem;line-height:1.5;color:#4b5563;padding-left:1em;border-left:2px solid #e5e7eb}.prose-distill .sidenote-number{font-size:.75em;vertical-align:super;color:#2563eb;font-weight:600}.prose-distill .definition,.prose-distill .theorem,.prose-distill .lemma{margin:1.5em 0;padding:1em 1.25em;border-radius:.25em}.prose-distill .definition{background:#eff6ff;border-left:3px solid #3b82f6}.prose-distill .theorem{background:#f0fdf4;border-left:3px solid #22c55e}.prose-distill .lemma{background:#fefce8;border-left:3px solid #eab308}.prose-distill .definition-title,.prose-distill .theorem-title,.prose-distill .lemma-title{font-family:Source Sans Pro,sans-serif;font-weight:700;font-size:.875rem;text-transform:uppercase;letter-spacing:.05em;margin-bottom:.5em}.prose-distill blockquote{font-style:normal;border-left:3px solid #d1d5db;padding-left:1em;margin:1.5em 0;color:#4b5563}.prose-distill figure{margin:2em 0}.prose-distill figcaption{font-family:Source Sans Pro,sans-serif;font-size:.875rem;color:#6b7280;margin-top:.5em}.prose-distill figcaption strong{color:#374151}.prose-distill .citation{font-size:.875em;color:#2563eb;cursor:pointer}.prose-distill .citation:hover{text-decoration:underline}.prose-distill .references{font-size:.875rem;line-height:1.6}.prose-distill .references li{margin-bottom:.75em;padding-left:1.5em;text-indent:-1.5em}.dark .prose-distill h2{border-color:#374151}.dark .prose-distill h3{color:#9ca3af}.dark .prose-distill .sidenote,.dark .prose-distill .marginnote{color:#9ca3af;border-color:#374151}.dark .prose-distill .definition{background:#3b82f61a}.dark .prose-distill .theorem{background:#22c55e1a}.dark .prose-distill .lemma{background:#eab3081a}@media(max-width:1024px){.prose-distill .sidenote,.prose-distill .marginnote{float:none;display:block;margin:1em 0;width:100%;padding:.75em 1em;background:#f9fafb;border-radius:.25em;border-left:3px solid #d1d5db}.dark .prose-distill .sidenote,.dark .prose-distill .marginnote{background:#1f2937;border-color:#4b5563}}@media(max-width:640px){.prose-academic{font-size:1rem;line-height:1.75}.prose-magazine h1{font-size:2rem}.prose-magazine>p:first-of-type:first-letter{font-size:3em}.prose-distill{font-size:1rem}}.reading-progress[data-astro-cid-gjtny2mx]{background:transparent}