#markdownBody{font-family:var(--font-serif);font-size:1rem;line-height:var(--line-height);font-feature-settings:'liga' 1,'onum' 1,'kern' 1;font-variant-ligatures:common-ligatures;font-variant-numeric:oldstyle-nums;-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale;hyphens:auto;hanging-punctuation:first last}#markdownBody>p:first-of-type::first-letter{float:left;font-size:3.8em;line-height:0.8;padding-top:0.05em;padding-right:0.1em;color:var(--text);font-variant-caps:normal}#markdownBody>p:first-of-type::first-line{font-variant-caps:small-caps;letter-spacing:0.05em;color:var(--text)}#markdownBody .dropcap p::first-letter{float:left;font-size:3.8em;line-height:0.8;padding-top:0.05em;padding-right:0.1em;color:var(--text);font-variant-caps:normal}#markdownBody .dropcap p::first-line{font-variant-caps:small-caps;letter-spacing:0.05em;color:var(--text)}.epigraph{font-style:italic;font-size:0.95em;margin:0 0 3.3rem 0;padding-left:1.5em;border-left:1px solid var(--border-muted);color:var(--text-muted)}.pull-quote{font-size:1.25em;font-style:italic;text-align:center;margin:3.3rem 0;padding:1.65rem 2rem;border-top:1px solid var(--border-muted);border-bottom:1px solid var(--border-muted);color:var(--text)}#markdownBody hr{border:none;text-align:center;margin:3.3rem 0;color:var(--text-muted)}#markdownBody hr::after{content:"⁂";font-size:1.5em;letter-spacing:0.5em;padding-left:0.5em;font-family:var(--font-serif)}#markdownBody p{margin:0}#markdownBody p+p,#markdownBody .dropcap+p{text-indent:1.5em}#markdownBody :is(blockquote,pre,ul,ol,figure,table,h1,h2,h3,h4,h5,h6,hr)+p{text-indent:0}#markdownBody :is(blockquote,pre,ul,ol,figure,table){margin:1.65rem 0}#markdownBody :is(h1,h2,h3,h4,h5,h6){font-family:var(--font-sans);font-weight:600;line-height:1.25;color:var(--text);font-feature-settings:normal;font-variant-numeric:normal;font-variant-ligatures:normal;text-rendering:optimizeLegibility}#markdownBody h1{font-size:2.6rem;margin:0 0 1.65rem 0}#markdownBody h2{font-size:1.85rem;margin:3.3rem 0 0.825rem 0}#markdownBody h3{font-size:1.45rem;margin:2.475rem 0 0.825rem 0}#markdownBody h4{font-size:1.15rem;margin:1.65rem 0 0.825rem 0}#markdownBody h5{font-size:1rem;margin:1.65rem 0 0.825rem 0}#markdownBody h6{font-size:1rem;margin:1.65rem 0 0.825rem 0;font-weight:400;font-style:italic}#markdownBody .heading{position:relative}#markdownBody .heading a::after{content:"\00B6";font-size:0.75em;position:absolute;bottom:0.15em;right:-1.25em;visibility:hidden;opacity:0;transition:opacity 0.1s ease}#markdownBody .heading:hover a::after{visibility:visible;opacity:0.4}a{color:var(--link);text-decoration:underline;text-decoration-color:var(--border-muted);text-decoration-thickness:0.15em;text-underline-offset:0.15em;text-decoration-skip-ink:auto;transition:text-decoration-color var(--transition-fast),color var(--transition-fast)}a:hover{text-decoration-color:var(--link-hover)}a:visited{color:var(--link-visited)}strong{font-weight:700}strong.semibold{font-weight:600}em{font-style:italic}abbr{font-variant-caps:all-small-caps;letter-spacing:0.03em;text-decoration:none;cursor:help}sup{font-variant-position:super;line-height:1}sub{font-variant-position:sub;line-height:1}#markdownBody mark{background-color:transparent;background-image:linear-gradient( 104deg,rgba(250,235,120,0) 0%,rgba(250,235,120,0.8) 2%,rgba(250,220,100,0.9) 98%,rgba(250,220,100,0) 100% );background-size:100% 0.7em;background-position:0 88%;background-repeat:no-repeat;padding:0 0.2em;color:inherit}[data-theme="dark"] #markdownBody mark{background-image:linear-gradient( 104deg,rgba(100,130,180,0) 0%,rgba(100,130,180,0.4) 2%,rgba(80,110,160,0.5) 98%,rgba(80,110,160,0) 100% )}code,kbd,samp{font-family:var(--font-mono);font-size:0.88em;font-feature-settings:'liga' 1,'calt' 1;background-color:var(--bg-offset);border:1px solid var(--border);border-radius:2px;padding:0.1em 0.3em}pre{font-family:var(--font-mono);font-size:0.88em;font-feature-settings:'liga' 1,'calt' 1;background-color:var(--bg-offset);border:1px solid var(--border-muted);border-radius:4px;padding:1.65rem 1.5rem;overflow-x:auto;line-height:1.65}pre code{font-size:1em;background:none;border:none;padding:0;border-radius:0}#markdownBody blockquote{margin-left:0;margin-right:0;padding-left:1.5em;border-left:none;background-image:linear-gradient(to bottom,var(--border-muted) 50%,transparent 50%);background-position:left top;background-repeat:repeat-y;background-size:2px 8px;color:var(--text-muted);font-style:italic}#markdownBody blockquote em{font-style:normal}#markdownBody figure.poem-excerpt{background:none;border:none;padding:0;box-shadow:none;position:relative}#markdownBody figure.poem-excerpt figcaption{text-align:left;padding-left:1.5em;font-family:var(--font-ui);font-size:0.73rem;font-style:normal;font-variant-caps:all-small-caps;letter-spacing:0.08em;color:var(--text-muted);margin-top:0.5rem;position:relative;z-index:2}#markdownBody figure.poem-excerpt figcaption a{color:inherit;text-decoration:none;border-bottom:1px solid var(--border);transition:color var(--transition-fast),border-color var(--transition-fast)}#markdownBody figure.poem-excerpt figcaption a::after{content:'';position:absolute;inset:0;z-index:1;cursor:pointer}#markdownBody figure.poem-excerpt figcaption a:hover{color:var(--text);border-color:var(--text-muted)}#markdownBody figure.prose-excerpt{background:none;border:none;padding:0;box-shadow:none;width:auto;max-width:100%;margin:2.5rem 0;position:relative}#markdownBody figure.prose-excerpt figcaption{text-align:left;padding-left:1.5em;font-family:var(--font-ui);font-size:0.73rem;font-style:normal;font-variant-caps:all-small-caps;letter-spacing:0.08em;color:var(--text-muted);margin-top:0.5rem;position:relative;z-index:2}#markdownBody figure.prose-excerpt figcaption a{color:inherit;text-decoration:none;border-bottom:1px solid var(--border);transition:color var(--transition-fast),border-color var(--transition-fast)}#markdownBody figure.prose-excerpt figcaption a::after{content:'';position:absolute;inset:0;z-index:1;cursor:pointer}#markdownBody figure.prose-excerpt figcaption a:hover{color:var(--text);border-color:var(--text-muted)}#markdownBody ul,#markdownBody ol{padding-left:1.75em}#markdownBody li+li{margin-top:0.4125rem}#markdownBody li>p{margin:0;text-indent:0}#markdownBody figure{margin:3.3rem auto;background:var(--bg-offset);padding:1rem;border:1px solid var(--border);border-radius:2px;box-shadow:0 4px 12px rgba(0,0,0,0.03);max-width:fit-content}#markdownBody figure img{display:block;border:1px solid var(--border-muted)}#markdownBody figcaption{font-family:var(--font-sans);font-size:var(--text-size-small);color:var(--text-muted);text-align:right;margin-top:1rem;font-style:italic;letter-spacing:0.02em}#markdownBody table{border-collapse:collapse;width:100%;font-size:0.9em;font-feature-settings:'lnum' 1,'tnum' 1;font-variant-numeric:lining-nums tabular-nums}#markdownBody th,#markdownBody td{border:1px solid var(--border);padding:0.4em 0.75em;text-align:left}#markdownBody th{font-family:var(--font-sans);font-weight:600;background-color:var(--bg-offset)}.abstract{font-size:0.95em;margin:1.65rem 0 3.3rem 0;padding-left:1.5em;border-left:2px solid var(--border);color:var(--text-muted)}.abstract p+p{text-indent:0;margin-top:0.825rem}.katex-display{font-size:0.85em;overflow-x:auto;overflow-y:hidden}.proof{margin:1.65rem 0}.proof-label{font-style:italic;font-weight:600}.proof p+p{text-indent:0;margin-top:0.825rem}.proof-qed{float:right;margin-left:1em;font-style:normal}.smallcaps{font-variant-caps:all-small-caps;letter-spacing:0.03em}a[data-link-icon-type="svg"]::after{content:'';display:inline-block;width:0.75em;height:0.75em;margin-left:0.2em;vertical-align:0.05em;background-color:currentColor;mask-size:contain;mask-repeat:no-repeat;mask-position:center;-webkit-mask-size:contain;-webkit-mask-repeat:no-repeat;-webkit-mask-position:center;opacity:0.5;transition:opacity var(--transition-fast)}a[data-link-icon-type="svg"]:hover::after{opacity:0.8}a[data-link-icon="external"]::after{mask-image:url('/images/link-icons/external.svg');-webkit-mask-image:url('/images/link-icons/external.svg')}a[data-link-icon="wikipedia"]::after{mask-image:url('/images/link-icons/wikipedia.svg');-webkit-mask-image:url('/images/link-icons/wikipedia.svg')}a[data-link-icon="arxiv"]::after{mask-image:url('/images/link-icons/arxiv.svg');-webkit-mask-image:url('/images/link-icons/arxiv.svg')}a[data-link-icon="doi"]::after{mask-image:url('/images/link-icons/doi.svg');-webkit-mask-image:url('/images/link-icons/doi.svg')}a[data-link-icon="github"]::after{mask-image:url('/images/link-icons/github.svg');-webkit-mask-image:url('/images/link-icons/github.svg')}