@font-face{font-family:Alegreya;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/Alegreya-Regular.woff2)format("woff2")}@font-face{font-family:Alegreya;font-style:italic;font-weight:400;font-display:swap;src:url(/fonts/Alegreya-Italic.woff2)format("woff2")}@font-face{font-family:Alegreya;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/Alegreya-Bold.woff2)format("woff2")}@font-face{font-family:Hopf Mono;font-style:normal;font-weight:400;font-display:swap;src:url(/fonts/hopf-mono-Regular.woff2)format("woff2")}@font-face{font-family:Vollkorn;font-style:normal;font-weight:700;font-display:swap;src:url(/fonts/Vollkorn-Bold.woff2)format("woff2")}:root{--fg:#ecf3f0;--bg:#2b3133;--fg-header:#eaf2efa6;--fg-menu:#d6bd91;--fg-menu-border:#596164;--fg-link:#e0c79b;--fg-footer-pipe:#aeb7b4;--fg-footer-divider:#8d7958;--border-inline-code:#585858;--bg-inline-code:#443b41;--proportional-fonts:"Alegreya", Georgia, serif;--monospace-fonts:"Hopf Mono", ui-monospace, monospace;--title-fonts:"Vollkorn", Georgia, serif}html{box-sizing:border-box;scroll-behavior:smooth;scrollbar-gutter:stable}*,:before,:after{box-sizing:inherit}body{counter-reset:sidenote-counter;color:var(--fg);background:var(--bg);font-family:var(--proportional-fonts);font-variant-numeric:oldstyle-nums;text-align:justify;text-justify:inter-word;-webkit-hyphens:auto;hyphens:auto;text-rendering:optimizelegibility;flex-flow:wrap;width:82%;margin:0;padding-right:18%;font-size:21px;line-height:1.4;display:flex}a:link,a:visited{color:var(--fg-link);text-decoration:none}a:hover{text-underline-offset:.1em;text-decoration:underline;text-decoration-thickness:1px}.navbar-space{width:25%;display:inline-block}#navigation{text-align:right;float:right;padding:2.2em 3em 1em 1.25em;display:inline-block;position:static}#navigation .menu-title{color:var(--fg);border-bottom:1px solid var(--fg-menu-border);font-size:19px}#navigation ul{margin:0;padding:0;list-style:none}#navigation a{color:var(--fg-menu);white-space:nowrap;border:1px solid #0000;border-left:0;border-right:0;padding:5px 20px;font-size:19px;font-weight:700;line-height:1.5em;display:block}#navigation a:hover{background:var(--bg);text-underline-offset:.1em;text-decoration:underline;text-decoration-thickness:1px}.text-space{width:75%;display:inline-block}#content{max-width:35em;margin-right:1em}hr{border:0;border-top:1px solid var(--fg-footer-divider);height:1px;margin:1em 0;padding:0;display:block}input.margin-toggle,label.margin-toggle:not(.sidenote-number){display:none}.sidenote,.marginnote,.marginnote-left{float:right;clear:right;text-align:left;vertical-align:baseline;width:49%;margin-top:.3rem;margin-bottom:0;margin-right:-56%;font-size:.8em;line-height:1.2;position:relative}.marginnote-left{float:left;clear:left;text-align:right;width:25%;margin-left:-32%}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{vertical-align:baseline;position:relative}.sidenote-number:after{content:counter(sidenote-counter);color:var(--fg);font-family:var(--proportional-fonts);font-size:.8rem;top:-.5rem}.sidenote:before{content:counter(sidenote-counter) " ";font-size:.8rem;position:absolute;top:-.4rem;right:calc(100% + .5em)}label.sidenote-number{max-height:2rem;display:inline-block}.sidenote p{margin:1em 0}.sidenote p:first-child{margin-top:0}.sidenote p:last-child{margin-bottom:0}.sidenote code{font-size:.94em}.sidenote img,.marginnote img,.marginnote-left img{max-width:100%;height:auto;margin:1em 0;display:block}.posts{margin:0}.post-heading-row{text-align:left}.post-title-link{font-family:var(--title-fonts);font-size:1.2em;font-weight:400}.post-tags{float:right;font-variant-numeric:normal;font-size:1rem}.post-summary{margin:0}.post-meta{margin-top:1em;margin-bottom:1em}.header{color:var(--fg-header);text-align:left;margin-top:3.1rem;margin-bottom:1rem;font-size:.9em}.header a:link,.header a:visited{color:var(--fg-header)}h1,h2,h3,h4,h5,h6{font-family:var(--title-fonts)}h1.post-title{font-family:var(--title-fonts);font-variant:normal;text-align:left;margin-top:1rem;margin-bottom:1.5rem;font-size:5rem;font-weight:700;line-height:1}#title-underline{border-top:1px solid var(--fg-header);max-width:50rem;padding-bottom:2rem}.article-body{counter-reset:sidenote-counter}.article-body h2{margin-top:2.1rem;margin-bottom:1.4rem;margin-left:-15px;font-size:1em;line-height:1.2}.article-body h3{margin-top:2rem;margin-bottom:1.4rem;margin-left:-15px;font-size:.9em;line-height:1.2}.article-body p{margin:1em 0}.article-body math{font-variant-numeric:normal}.article-body math[display=block]{margin:1em 0;overflow:auto hidden}.article-body img{max-width:100%;height:auto}.article-body figure.wide-figure{font:inherit;vertical-align:baseline;border:0;max-width:none;margin:1em -56% 1em 0;padding:0}.article-body figure.wide-math{overscroll-behavior-inline:contain;overflow:auto hidden}.article-body figure.wide-math>.wide-math-content{inline-size:max-content;min-inline-size:100%}.article-body figure.wide-math>.wide-math-content>math[display=block]{margin:0;overflow:visible}.section-link{float:left;font-variant:normal;visibility:hidden;margin-left:-20px;padding-left:20px;padding-right:6px;font-size:.8em;line-height:1.5;text-decoration:none;color:gray!important}.article-body h2:hover .section-link,.article-body h3:hover .section-link,.section-link:focus-visible{visibility:visible}code{font-family:var(--monospace-fonts);font-variant-numeric:normal;background:var(--bg-inline-code);border:1px solid var(--border-inline-code);word-break:break-word;border-radius:.25rem;padding:0 2px;font-size:.87em}pre{font-family:var(--monospace-fonts);font-variant-numeric:normal;text-align:left;white-space:pre;font-size:.85em;overflow:auto hidden}.article-body pre{padding-left:1em}.article-body pre>code{min-width:max-content;color:inherit;font:inherit;font-variant-numeric:inherit;overflow-wrap:normal;word-break:normal;background:0 0;border:0;border-radius:0;padding:0;display:block}#contents-big,details#contents{font-family:var(--proportional-fonts);text-align:left;padding-top:.25em;font-size:90%}#contents-big{clear:both;min-width:180px;max-width:30%;margin-left:.25em;margin-right:1.7em;position:sticky;top:0;left:100%}#contents-big ul,details#contents ul{margin:.5em 0;padding-left:0;font-size:85%;line-height:1.2;list-style:none}#contents-big ul ul,details#contents ul ul{padding-left:1.5em}#contents-big li+li,details#contents li+li{margin-top:.5em}#contents-big a:link,#contents-big a:visited,details#contents a:link,details#contents a:visited{color:var(--fg);font-size:110%;text-decoration:none}#contents-big>ul>li>a:link,#contents-big>ul>li>a:visited,details#contents>ul>li>a:link,details#contents>ul>li>a:visited{font-variant:small-caps;letter-spacing:.02em;word-spacing:.06em;font-size:100%}.mini-header{margin-bottom:.5em;font-weight:700}#up-arrow{float:right;margin-right:.5em;font-size:.9em}details#contents{float:none;border-left:4px solid var(--border-inline-code);min-width:0;max-width:none;margin:0 0 .75em;padding-bottom:.4em;padding-left:20px;display:none}details#contents summary{cursor:pointer;padding-top:1rem;padding-left:2.2rem;display:block;position:relative}details#contents summary:before{content:"";border:.4rem solid #0000;border-left-color:var(--fg);transform-origin:.2rem;transition:transform .25s;position:absolute;top:1.5rem;left:1rem;transform:rotate(0)}details#contents[open]>summary:before{transform:rotate(90deg)}.post-ending{text-align:center;margin-top:2.5rem}.fleuron{font-family:var(--title-fonts);padding:1.5rem 0 2rem;font-size:2.6rem;line-height:1}.simple-page{padding-top:2.2em}.simple-page h1{text-align:center;margin-top:2.5rem;margin-bottom:1.5rem;font-size:2em}#footer{border-top:1px solid var(--fg-footer-divider);color:var(--fg-footer-pipe);text-align:right;max-width:50rem;margin-top:30px;padding:9px 1em 12px;font-size:.78em}#footer p{margin:.35em 0 0}#to-top{float:left;font-variant:small-caps;margin-top:-2px;font-size:16px;position:static}@media (min-width:769px){#to-top{visibility:hidden;position:fixed}}@media (max-width:1366px){body{width:87%;max-width:960px;margin-right:3em;padding-right:13%;font-size:19px}#navigation{float:none;padding-right:1em}#contents-big{padding-left:1.25em}h1.post-title{font-size:4rem}}@media (min-width:1367px){body{margin-left:auto;margin-right:auto}}@media (max-width:1120px){.sidenote,.marginnote,.marginnote-left{width:33%;margin-right:-40%}.article-body figure.wide-figure{margin-right:-40%}}@media (max-width:1349px),(min-width:1367px) and (max-width:1620px){.marginnote-left{width:30%;margin-left:-33%}}@media (max-width:960px){body{text-align:left;width:100%;margin-right:0;padding-right:0}label.margin-toggle:not(.sidenote-number){display:inline}.sidenote,.marginnote,.marginnote-left{display:none}.sidenote-number:after{color:var(--fg-link)}.margin-toggle:checked+.sidenote,.margin-toggle:checked+.marginnote,.margin-toggle:checked+.marginnote-left{float:left;clear:both;text-align:left;vertical-align:baseline;width:95%;margin:1rem 2.5%;display:block;position:relative;left:1rem}.margin-toggle:checked+.homepage-post-note{float:none;left:0}label{cursor:pointer}.article-body figure.wide-figure{max-width:100%;margin-right:0}}@media (max-width:768px){#contents-big{display:none}details#contents{display:block}.header{margin-top:0}}@media (max-width:767px){body>.navbar-space,.text-space{width:100%}#navigation{text-align:center;display:block;position:static}#navigation>ul>li{display:inline-block}#navigation a{padding:5px 10px}#content{margin-left:1em;margin-right:1em}}