body{color:#111;counter-reset:sidenote-counter;background-color:#fffff8;width:87.5%;max-width:1400px;margin-left:auto;margin-right:auto;padding-left:12.5%}hr{border:0;border-top:1px solid #ccc;width:55%;height:1px;margin:1em 0;padding:0;display:block}p.subtitle{margin-top:1rem;margin-bottom:1rem;font-size:1.8rem;font-style:italic;line-height:1;display:block}.danger{color:red}article{padding:5rem 0}section{padding-top:1rem;padding-bottom:1rem}p,dl,ol,ul{font-size:1.4rem;line-height:2rem}p{vertical-align:baseline;margin-top:1.4rem;margin-bottom:1.4rem;padding-right:0}div.epigraph{margin:5em 0}div.epigraph>blockquote{margin-top:3em;margin-bottom:3em}div.epigraph>blockquote,div.epigraph>blockquote>p{font-style:italic}div.epigraph>blockquote>footer{font-style:normal}div.epigraph>blockquote>footer>cite{font-style:italic}blockquote{font-size:1.4rem}blockquote p{width:55%;margin-right:40px}blockquote footer{text-align:right;width:55%;font-size:1.1rem}section>p,section>footer,section>table{width:55%}section>dl,section>ol,section>ul{-webkit-padding-start:5%;width:50%}dt:not(:first-child),li:not(:first-child){margin-top:.25rem}figure{font-size:100%;font:inherit;vertical-align:baseline;-webkit-margin-start:0;-webkit-margin-end:0;border:0;max-width:55%;margin:0 0 3em;padding:0}figcaption{float:right;clear:right;vertical-align:baseline;max-width:40%;margin-top:0;margin-bottom:0;font-size:1.1rem;line-height:1.6;position:relative}figure.fullwidth figcaption{margin-right:24%}a:link,a:visited{color:inherit;text-underline-offset:.1em;text-decoration-thickness:.05em}img{max-width:100%}.sidenote,.marginnote{float:right;clear:right;vertical-align:baseline;width:50%;margin-top:.3rem;margin-bottom:0;margin-right:-60%;font-size:1.1rem;line-height:1.3;position:relative}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{vertical-align:baseline;position:relative}.sidenote-number:after{content:counter(sidenote-counter);font-size:1rem;top:-.5rem;left:.1rem}.sidenote:before{content:counter(sidenote-counter) " ";font-size:1rem;top:-.5rem}blockquote .sidenote,blockquote .marginnote{text-align:left;min-width:59%;margin-right:-82%}div.fullwidth,table.fullwidth{width:100%}div.table-wrapper{overflow-x:auto}.sans{letter-spacing:.03em}code,pre>code{-webkit-text-size-adjust:100%;font-family:Maple Mono,monospace;font-size:1rem;line-height:1.42}.sans>code{font-size:1.2rem}h1>code,h2>code,h3>code{font-size:.8em}.marginnote>code,.sidenote>code{font-size:1rem}pre>code{width:52.5%;margin-left:2.5%;font-size:.9rem;display:block;overflow-x:auto}pre.fullwidth>code{width:90%}span.newthought{font-variant:small-caps;font-size:1.2em}input.margin-toggle{display:none}label.sidenote-number{max-height:2rem;display:inline-block}label.margin-toggle:not(.sidenote-number){display:none}.iframe-wrapper{height:0;padding-top:25px;padding-bottom:56.25%;position:relative}.iframe-wrapper iframe{width:100%;height:100%;position:absolute;top:0;left:0}@media (width<=760px){body{width:84%;padding-left:8%;padding-right:8%}hr,section>p,section>footer,section>table{width:100%}pre>code{width:97%}section>dl,section>ol,section>ul{width:90%}figure{max-width:90%}figcaption,figure.fullwidth figcaption{max-width:none;margin-right:0%}blockquote{margin-left:1.5em;margin-right:0}blockquote p,blockquote footer{width:100%}label.margin-toggle:not(.sidenote-number){display:inline}.sidenote,.marginnote{display:none}.margin-toggle:checked+.sidenote,.margin-toggle:checked+.marginnote{float:left;clear:both;width:95%;margin:1rem 2.5%;display:block;position:relative;left:1rem}label{cursor:pointer}div.table-wrapper,table{width:85%}img{width:100%}}:root{--highlight-weak:#80808033;--highlight-strong:#80808066;--radius-sm:.2rem}html{scrollbar-gutter:stable;height:100%;font-size:12px}body{flex-direction:column;min-height:100%;margin:0 auto;display:flex}body article{flex:1 0 auto;padding:4.5rem 0 1.5rem}img,svg{width:auto;max-width:100%;height:auto;max-height:80vh}section>img,section>svg{max-width:55%;display:block;position:relative;left:27.5%;transform:translate(-50%)}@media (width>=760px){section>div{width:55%!important}}section>figure:not(.fullwidth)>img,section>figure:not(.fullwidth)>svg{max-width:100%;margin-left:auto;margin-right:auto;display:block}.fullwidth{clear:both;max-width:90%}.fullwidth img,.fullwidth svg{max-width:100%}.post-date,.post-tag{font-style:italic;display:inline;color:var(--theme-meta)!important}.post-date{margin-right:2rem;font-size:1.25rem}.post-tag{margin-right:1rem;font-size:1.25rem}.post-date:not(:hover),.post-tag:not(:hover){text-decoration:none}.post-date:hover,.post-tag:hover{text-underline-offset:.15rem;text-decoration:underline}p,ul,ol,dl{line-height:2rem}body{font-feature-settings:"cv01", "calt";font-family:Maple Mono,monospace}h1{max-width:60%;margin-top:3rem;margin-bottom:1.5rem;font-size:2.75rem;font-weight:700}@media (width<=760px){h1{max-width:100%}}h2{margin-top:2rem;margin-bottom:1rem;font-size:2.25rem;line-height:1.2}h3{margin-top:1.5rem;margin-bottom:.8rem;font-size:2rem;line-height:1.2}h4{margin-top:1.2rem;margin-bottom:.5rem;font-size:1.75rem;line-height:1.2}h5{margin-top:1rem;margin-bottom:.5rem;font-size:1.5rem;line-height:1.2}.heading-en{font-style:italic}pre{border:none;padding:.5em}pre .ec-line>div.code{white-space:unset;padding-left:.75rem}div.code-lang{color:#fff;font-size:1rem}pre>code{background-color:#0000;border:none;width:95%;margin-left:0%;padding:0;font-size:1.25rem;line-height:1.5}code{text-decoration:inherit;border:1px solid #e7e7e7;border-radius:3px;padding:.1em .3em;font-size:1.2rem}li pre,ul pre,ol pre,dl pre{width:100%}section[role=doc-endnotes]{display:none}figure pre{width:100%}div[style*=border-inline-start]{clear:none;box-sizing:border-box;width:55%;margin:1.5em 0;padding-right:0;font-size:1.4rem;line-height:2.2rem}div[style*=border-inline-start] div[style*=border-inline-start]{width:100%;margin:.5em 0}div[style*=border-inline-start] p{width:100%;margin:.5em 0;font-size:1.4rem}div[style*=border-inline-start] .footnote-ref,div[style*=border-inline-start] .marginnote,div[style*=border-inline-start] .footnote-ref a{color:inherit}table{border-collapse:collapse;width:auto;margin:1.5em auto;font-size:1.4rem;line-height:1.2}.table-container{width:100%;overflow-x:auto}section>table{width:auto;margin-left:0;margin-right:0;position:relative;left:27.5%;transform:translate(-50%)}table th,table td{vertical-align:top;text-align:left;border:1px solid #ccc;padding:.5em .7em}table th,table thead td{text-align:center;background-color:#f5f5f5;font-weight:700}@media (width<=760px){table{font-size:1.2rem}section>table{margin:1.5em auto;left:0;transform:none}figure{margin:1.5em auto}table th,table td{padding:.4em .6em}}figure[role=math]{text-align:center;width:55%;color-scheme:auto;margin:1em 0;padding:.5em 0;font-size:1.5em;line-height:1.2;display:block;overflow:auto hidden}figure[role=math]>*{text-align:center;min-width:max-content;display:inline-block}figure>figure[role=math]{text-align:center;width:100%;max-width:100%;margin:0 auto;padding:.5em 0;display:block;overflow:auto hidden}figure>figure[role=math]>*{text-align:center;min-width:max-content;display:inline-block}span[role=math]{vertical-align:baseline;text-indent:0;margin:0 .1em;font-size:1.5rem;display:inline-block}@media (width<=760px){.marginnote{float:none;box-sizing:border-box;background:var(--theme-pre-bg);border:1px solid var(--theme-pre-border);border-radius:var(--radius-sm);width:100%;margin:.5rem 0 1.25rem;padding:.85rem 1rem;display:block;position:static}.marginnote.is-expanded{display:block}.footnote-ref+.marginnote{display:none}.footnote-ref+.marginnote.is-expanded{display:block}.marginnote img,.marginnote svg{max-width:100%;max-height:50vh;margin:.4rem auto;display:block}sup.footnote-ref{color:inherit;line-height:1;top:-.2em}sup.footnote-ref>a.footnote-ref-link{min-width:1.6em;height:1.6em;color:inherit;appearance:none;cursor:pointer;background:var(--theme-pre-bg);border:1px solid var(--theme-pre-border);border-radius:999px;justify-content:center;align-items:center;margin:0 .15em;padding:0 .4em;font-size:.75rem;line-height:1;display:inline-flex}sup.footnote-ref>a.footnote-ref-link.is-expanded{background:var(--highlight-weak)}p{hyphens:auto}div[style*=border-inline-start],pre{width:100%}section>img,section>svg{max-width:100%;margin-left:auto;margin-right:auto;left:0;transform:none}figure[role=math]{width:100%}}sup.footnote-ref{vertical-align:baseline;line-height:0;position:relative;top:-.5em}.footnote-ref,.footnote-ref+.marginnote{--highlight:transparent;background-color:var(--highlight);border-radius:var(--radius-sm);box-shadow:0 0 0 5px var(--highlight);transition:background-color .3s 1s,box-shadow .3s 1s}.footnote-ref:hover+.marginnote{--highlight:var(--highlight-weak);transition-delay:0s}.footnote-ref:has(+.marginnote:hover){--highlight:var(--highlight-strong);transition-delay:0s}a.footnote-ref-link{text-shadow:none;background-image:none}@media (width>=761px){sup.marginnote-ref{display:none}}.marginnote code{font-size:inherit}section[role=doc-endnotes]>ol{font-size:1rem;line-height:1rem}:root{--theme-bg:#fffff8;--theme-text:#111;--theme-quote-text:#646464;--theme-heading:#111;--theme-code-text:inherit;--theme-code-border:#e7e7e7;--theme-pre-bg:#f7f7f7;--theme-pre-border:#e0e0e0;--theme-line-numbers-border:#ddd;--theme-line-numbers-text:#aaa;--theme-copy-btn-bg:#fff;--theme-copy-btn-text:#666;--theme-copy-btn-border:#ccc;--theme-copy-btn-hover-bg:#f0f0f0;--theme-copy-btn-hover-text:#333;--theme-copy-btn-copied-bg:#e6fffa;--theme-copy-btn-copied-text:green;--theme-copy-btn-copied-border:green;--theme-table-border:#ccc;--theme-table-header-bg:#f5f5f5;--theme-table-row-even:#fafafa;--theme-table-row-hover:#f0f0f0;--theme-math-filter:none;--theme-meta:#2a3439;--theme-code-bg:#f7f7f7;color-scheme:light}@media (prefers-color-scheme:dark){:root{--theme-bg:#151515;--theme-text:#ddd;--theme-heading:#eee;--theme-code-bg:#2d2d2d;--theme-code-text:#e8e8e8;--theme-code-border:#3d3d3d;--theme-pre-bg:#2d2d2d;--theme-pre-border:#3d3d3d;--theme-line-numbers-border:#555;--theme-quote-text:#aaa;--theme-line-numbers-text:#666;--theme-copy-btn-bg:#333;--theme-copy-btn-text:#ccc;--theme-copy-btn-border:#555;--theme-copy-btn-hover-bg:#444;--theme-copy-btn-hover-text:#eee;--theme-copy-btn-copied-bg:#1a4d3a;--theme-copy-btn-copied-text:#5fda9d;--theme-copy-btn-copied-border:#5fda9d;--theme-table-border:#444;--theme-table-header-bg:#333;--theme-table-row-even:#2a2a2a;--theme-meta:#d5cbc6;--theme-table-row-hover:#383838;--theme-math-filter:invert(1) hue-rotate(180deg);color-scheme:dark}}@media (prefers-color-scheme:light){:root{--theme-bg:#fffff8;--theme-text:#111;--theme-heading:#111;--theme-quote-text:#646464;--theme-code-bg:#f7f7f7;--theme-code-text:inherit;--theme-code-border:#e7e7e7;--theme-pre-bg:#f7f7f7;--theme-pre-border:#e0e0e0;--theme-line-numbers-border:#ddd;--theme-line-numbers-text:#aaa;--theme-copy-btn-bg:#fff;--theme-copy-btn-text:#666;--theme-copy-btn-border:#ccc;--theme-copy-btn-hover-bg:#f0f0f0;--theme-copy-btn-hover-text:#333;--theme-copy-btn-copied-bg:#e6fffa;--theme-copy-btn-copied-text:green;--theme-copy-btn-copied-border:green;--theme-table-border:#ccc;--theme-table-header-bg:#f5f5f5;--theme-table-row-even:#fafafa;--theme-table-row-hover:#f0f0f0;--theme-math-filter:none;--theme-meta:#2a3439;color-scheme:light}}html,body{color:var(--theme-text);background-color:var(--theme-bg)}h1,h2,h3,h4,h5{color:var(--theme-heading)}a,a:link,a:visited{color:inherit;text-underline-offset:.15em;text-shadow:none;background-color:#0000;background-image:none;text-decoration:underline}code{color:var(--theme-code-text);background-color:var(--theme-code-bg);border-color:var(--theme-code-border)}pre>code{color:#ddd}div[style*=border-inline-start] .marginnote{color:var(--theme-heading)}table th,table td{border-color:var(--theme-table-border)}table th,table thead td{background-color:var(--theme-table-header-bg)}table tbody tr:nth-child(2n){background-color:var(--theme-table-row-even)}table tbody tr:hover{background-color:var(--theme-table-row-hover)}[role=math]{filter:var(--theme-math-filter)}div[style*=border-inline-start]{color:var(--theme-quote-text)!important}@font-face{font-family:Maple Mono;font-style:normal;font-display:swap;font-weight:400;src:url(/_astro/maple-mono-latin-400-normal.WIx2rg0p.woff2)format("woff2"),url(/_astro/maple-mono-latin-400-normal.OcfaEJ46.woff)format("woff")}@font-face{font-family:Maple Mono;font-style:normal;font-display:swap;font-weight:700;src:url(/_astro/maple-mono-latin-700-normal.B_sC0Ion.woff2)format("woff2"),url(/_astro/maple-mono-latin-700-normal.DeN56mtg.woff)format("woff")}@font-face{font-family:Maple Mono;font-style:italic;font-display:swap;font-weight:400;src:url(/_astro/maple-mono-latin-400-italic.sDhTiF5o.woff2)format("woff2"),url(/_astro/maple-mono-latin-400-italic.DjUHO4Fk.woff)format("woff")}footer[data-astro-cid-jo6i4kqk]{color:#666;flex-shrink:0;gap:1.5rem;margin-top:auto;margin-bottom:1em;font-size:1.1rem;line-height:1.6;display:flex}header[data-astro-cid-l7arcky5]{color:#666;margin-top:.5em;margin-bottom:.5em;margin-left:.35em;font-size:1.1rem;line-height:1.6}nav[data-astro-cid-l7arcky5]{gap:1em;display:flex}nav[data-astro-cid-l7arcky5] a[data-astro-cid-l7arcky5],nav[data-astro-cid-l7arcky5] a[data-astro-cid-l7arcky5]:link,nav[data-astro-cid-l7arcky5] a[data-astro-cid-l7arcky5]:visited{color:inherit;text-shadow:none;border-radius:var(--radius-sm);margin-top:1em;padding:.2em .4em;font-size:1.5rem;transition:background-color .12s;box-shadow:none!important;background-image:none!important;border-bottom:0!important;text-decoration:none!important}nav[data-astro-cid-l7arcky5] a[data-astro-cid-l7arcky5]:hover,nav[data-astro-cid-l7arcky5] a[data-astro-cid-l7arcky5]:focus-visible{outline:none;background:var(--highlight-weak)!important}