:root{--highlight-weak:rgba(128, 128, 128, 0.2);--highlight-strong:rgba(128, 128, 128, 0.4);--radius-sm:0.2rem}html{font-size:10.5pt;height:100%;text-autospace:normal}body{margin:0 auto;min-height:100%;display:flex;flex-direction:column;font-family:Palatino,"Palatino Linotype","Palatino LT STD","Book Antiqua",Georgia,serif}body>article{flex:1 0 auto;padding:4.5rem 0 1.5rem}body>footer{margin-top:auto;flex-shrink:0}img,svg{max-width:100%;max-height:80vh;height:auto;width:auto}img[loading=lazy]{content-visibility:auto;contain-intrinsic-size:auto 400px}section>img,section>svg{max-width:55%;position:relative;left:27.5%;transform:translateX(-50%)}section>img,section>svg{display:block}section>figure:not(.fullwidth)>img,section>figure:not(.fullwidth)>svg{max-width:100%;margin-left:auto;margin-right:auto}section>figure:not(.fullwidth)>img,section>figure:not(.fullwidth)>svg{display:block}.fullwidth{width:90vw;min-width:90vw;margin-left:calc(50% - 50vw);margin-right:calc(50% - 50vw);clear:both}.fullwidth img,.fullwidth svg{max-width:100%}.math-block{display:block;width:55%;text-align:center;margin:1em 0;padding:.5em 0;font-size:1.4em;line-height:1.2;white-space:nowrap;overflow-x:auto;overflow-y:hidden}figure>.math-block{width:100%;margin:0 auto;max-width:100%}.fullwidth>.math-block{width:100%;margin:1em auto;max-width:100%}.math-inline{display:inline-block;vertical-align:baseline;margin:0 .1em;text-indent:0}.math-block.is-copyable,.math-inline.is-copyable{position:relative;cursor:pointer}.math-block.is-copyable:focus-visible,.math-inline.is-copyable:focus-visible{outline:1px solid currentColor;outline-offset:.15em}.math-block.is-copyable::after,.math-inline.is-copyable::after{content:"Copy MathML";position:absolute;z-index:1;padding:.15em .45em;color:var(--theme-copy-btn-text,#666);background:var(--theme-copy-btn-bg,#fff);border:1px solid var(--theme-copy-btn-border,#ccc);border-radius:var(--radius-sm);font-size:.75rem;font-style:normal;line-height:1.4;white-space:nowrap;pointer-events:none;opacity:0;transition:opacity 120ms ease,transform 120ms ease}.math-inline.is-copyable::after{left:50%;bottom:100%;transform:translate(-50%,.2em)}.math-block.is-copyable::after{top:.35em;right:.35em;transform:translateY(-.2em)}.math-inline.is-copyable:focus-visible::after,.math-inline.is-copyable:hover::after{opacity:1;transform:translate(-50%,-.15em)}.math-block.is-copyable:focus-visible::after,.math-block.is-copyable:hover::after{opacity:1;transform:translateY(0)}.math-block.is-copyable.is-copied::after,.math-inline.is-copyable.is-copied::after{content:"Copied";color:var(--theme-copy-btn-copied-text,green);border-color:var(--theme-copy-btn-copied-border,green);background:var(--theme-copy-btn-copied-bg,#e6fffa);opacity:1}.math-block>math,.math-inline>math{color:inherit}.math-block>svg,.math-inline>svg{display:inline-block}.math-block>svg{min-width:max-content;text-align:center}.sidenote-paragraph,p{text-align:justify;line-height:2.2rem}.sidenote-paragraph{font-size:1.4rem;margin-block:1.4rem}section>.sidenote-paragraph{width:55%}dl,ol,ul{line-height:2.2rem}section>:is(ol,ul,dl){padding-inline-start:5%}h1,h2,h3,h4,h5{font-style:normal;font-weight:700;color:#111}h2{font-size:2.3rem;line-height:1.2;margin-top:2rem;margin-bottom:1rem}h3{font-size:2rem;line-height:1.2;margin-top:1.5rem;margin-bottom:.8rem}h4{font-size:1.75rem;line-height:1.2;margin-top:1.2rem;margin-bottom:.5rem}h5{font-size:1.5rem;line-height:1.2;margin-top:1rem;margin-bottom:.5rem}.article-byline{width:55%;margin:-.4rem 0 1.6rem;color:var(--theme-text,#111);font-size:1.2rem;line-height:1.5;opacity:.7}.article-byline p{width:100%;margin:0;text-align:left;line-height:inherit}.article-extra-info{margin-top:.2rem;font-size:.85em}.heading-en{font-style:italic}pre{position:relative;background-color:#f7f7f7;border:1px solid #e0e0e0;border-radius:5px;padding:1em;padding-bottom:.5em;overflow-x:auto;margin-bottom:1.5em;width:55%;margin-left:0;margin-right:0;float:none;clear:none;box-sizing:border-box;left:0}pre>code{width:95%;font-size:1.2rem;line-height:1.5;margin-left:0;background-color:transparent;padding:0;padding-bottom:.7em;border:none}pre.has-line-numbers{display:flex;align-items:flex-start}.line-numbers-rows{display:flex;flex-direction:column;padding-right:.4em;margin-right:.4em;border-right:1px solid #ddd;color:#aaa;user-select:none;text-align:right;min-width:1.2em;font-size:1.2rem;line-height:1.5;font-family:monospace}code{font-size:1.2rem;background-color:#f7f7f7;padding:.1em .3em;border-radius:3px;border:1px solid #e7e7e7}dl pre,li pre,ol pre,ul pre{width:100%}:is(li,dd)>figure{max-width:100%}figure pre{width:100%}.copy-button{position:absolute;top:.5em;right:.5em;padding:.3em .6em;font-size:.8rem;color:#666;background-color:#fff;border:1px solid #ccc;border-radius:4px;cursor:pointer;opacity:0;transition:opacity .2s,background-color .2s}pre:hover .copy-button{opacity:1}.copy-button:hover{background-color:#f0f0f0;color:#333}.copy-button.copied{background-color:#e6fffa;color:green;border-color:green}div[style*=border-inline-start]{width:55%!important;font-size:1.4rem;line-height:2.2rem;text-align:justify;clear:none;margin:1.5em 0;padding-right:0;box-sizing:border-box}div[style*=border-inline-start] div[style*=border-inline-start]{width:100%!important;margin:.5em 0}div[style*=border-inline-start]>figure{width:100%;max-width:100%}div[style*=border-inline-start] pre{width:100%}div[style*=border-inline-start] :is(p,.sidenote-paragraph){font-size:1.4rem;margin:.5em 0;width:100%}div[style*=border-inline-start]>figure.math-block{width:100%;max-width:100%;font-size:1em;margin:1em auto;text-align:center}div[style*=border-inline-start] .footnote-ref,div[style*=border-inline-start] .footnote-ref a,div[style*=border-inline-start] .marginnote{color:#111}table{width:auto;margin:1.5em auto;border-collapse:collapse;font-size:1.4rem;line-height:1.2}table:has(.marginnote){clear:right}section>table{width:auto;position:relative;left:27.5%;transform:translateX(-50%);margin-left:0;margin-right:0}table td,table th{padding:.5em .7em;border:1px solid #ccc;text-align:left;vertical-align:top}table th,table thead td{background-color:#f5f5f5;font-weight:700;text-align:center}table tbody tr:nth-child(even){background-color:#fafafa}table tbody tr:hover{background-color:#f0f0f0}@media (max-width:760px){table{font-size:1.2rem}section>table{left:0;transform:none;margin:1.5em auto}figure{margin:1.5em auto}table td,table th{padding:.4em .6em}}@media (max-width:760px){section>.sidenote-paragraph{width:100%}.math-block{width:100%}.marginnote{display:block;float:none;position:static;padding:.85rem 1rem;width:100%;margin:.5rem 0 1.25rem;background:var(--theme-pre-bg);border:1px solid var(--theme-pre-border);border-radius:var(--radius-sm);box-sizing:border-box}.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{line-height:1;top:-.2em}sup.footnote-ref>a.footnote-ref-link{display:inline-flex;align-items:center;justify-content:center;font-size:.75rem;line-height:1;min-width:1.6em;height:1.6em;padding:0 .4em;margin:0 .15em;border-radius:999px;border:1px solid var(--theme-pre-border);background:var(--theme-pre-bg);color:var(--theme-text);appearance:none;cursor:pointer}sup.footnote-ref>a.footnote-ref-link.is-expanded{background:var(--highlight-weak)}p{hyphens:auto}div[style*=border-inline-start]{width:100%!important}pre{width:100%}section>img,section>svg{max-width:100%;left:0;transform:none;margin-left:auto;margin-right:auto}.article-byline{width:100%}}footer,header.site-header{font-size:1.1rem;color:#666;line-height:1.6}header.site-header{margin-top:.5em;margin-bottom:.5em;margin-left:.35em}footer{margin-top:2em;margin-bottom:1em}header nav{display:flex;gap:1em}header nav>p{display:flex;gap:inherit;margin:0;flex-wrap:wrap}.site-nav a:any-link{text-decoration:none;border-bottom:0;box-shadow:none;font-size:1.5rem;padding:.2em .4em;margin-top:1em;border-radius:var(--radius-sm);transition:background-color 120ms ease}.site-nav a:focus-visible,.site-nav a:hover{background:var(--highlight-weak);outline:0}sup.footnote-ref{line-height:0;position:relative;vertical-align:baseline;top:-.5em}.footnote-ref,.sidenote-footnote{--highlight:transparent;background-color:var(--highlight);box-shadow:0 0 0 5px var(--highlight);border-radius:var(--radius-sm);transition:background-color .3s ease 1s,box-shadow .3s ease 1s}.footnote-ref:hover+.marginnote{--highlight:var(--highlight-weak);transition-delay:0s}.footnote-ref:has(+.marginnote:hover){--highlight:var(--highlight-strong);transition-delay:0s}.sidenote-anchor{font:inherit;line-height:inherit;pointer-events:none}.marginnote{--sidenote-font-size:1.1rem;--sidenote-line-height:1.3;font-size:var(--sidenote-font-size);line-height:var(--sidenote-line-height);text-align:justify}.marginnote :where(*){font-size:inherit;line-height:inherit}.marginnote :where(sup,sub){font-size:smaller;line-height:0}.sidenote-note-layout{display:block;overflow-wrap:anywhere;text-align:justify}.sidenote-label{display:inline-block;margin-inline-end:.35em;white-space:nowrap;text-align:end}.sidenote-body{display:inline}.sidenote-body>p:first-child{display:inline}.marginnote p{width:100%;margin:0 0 .6em;text-align:justify}.marginnote p:last-child{margin-bottom:0}.marginnote :where(ol,ul,dl){padding-inline-start:1.5em}@media (min-width:761px){sup.marginnote-ref{display:none}article>section{container-type:inline-size}article>section .marginnote{inline-size:27.5cqi;margin-inline-end:-33cqi}}.post-tile{margin:0 0 1rem}.post-tile a{display:inline-block;padding:.1em .2em}.post-tile a:focus-visible,.post-tile a:hover{background:var(--highlight-weak);outline:0}.post-tile h3{margin:0}.post-tile p{margin:.25rem 0 0}.blog-entry{display:flex;align-items:center;justify-content:space-between;gap:1.5em;padding:1em 0;border-bottom:1px solid var(--theme-table-border,#ccc);width:55%}.blog-entry-content{flex:1}.blog-entry-content a:any-link{font-size:1.5em;text-decoration:none}.blog-entry-date{flex-shrink:0;color:var(--theme-footer,#777);font-size:1.2em;white-space:nowrap}@media (max-width:760px){.blog-entry{width:100%}}.toc-sidebar{position:fixed;top:15rem;left:1%;z-index:10;display:none;width:10.5%;max-height:calc(100vh - 11rem);overflow-y:auto;color:var(--theme-line-numbers-text,#aaa)}.toc-sidebar ol{margin:0;padding:0;list-style:none}.toc-sidebar li{margin:0 0 .2em}.toc-sidebar .toc-h3{padding-left:.8em}.toc-sidebar a:any-link{display:block;color:inherit;font-size:.95rem;line-height:1.1;text-decoration:none;border-left:1px solid transparent;padding-left:.6em;transition:border-color 120ms ease,color 120ms ease}.toc-sidebar a.is-active,.toc-sidebar a:focus-visible,.toc-sidebar a:hover{color:var(--theme-copy-btn-hover-text,#333);border-left-color:currentColor;outline:0}@media (min-width:1200px){.toc-sidebar{display:block}}