:root{--font: var(--font-s-serif-p), "Source Serif Pro", serif;--radius: 3px;--link-color: #004b6b;--link-color-hover: #6d4100;--link-color-visited: #551a8b;--border-gray-variant: #ccc;--max-main-width: 650px;--layout-grid-gap-size: 2rem;--common-gray-border: 1px dashed var(--border-gray-variant)}*,*:before,*:after{box-sizing:border-box}body{padding:1rem;margin:0 auto;font-family:var(--font);line-height:1.4rem;counter-reset:sidenote-counter}h1{font-size:1.8rem;margin-top:1.5rem;margin-bottom:1rem}h2{font-size:1.5rem;margin-top:1.5rem;margin-bottom:1rem}a{color:var(--link-color);text-decoration:none;border-bottom:1px dotted;&:hover{color:var(--link-color-hover);border-bottom-style:solid}&:visited{color:var(--link-color-visited)}}pre{padding:1rem;overflow-x:auto;font-size:.8rem;border-radius:var(--radius);font-variant-ligatures:none}:not(pre)>code{background-color:#f3f3f3;padding:.1em .3em;border-radius:var(--radius)}blockquote{border-left:4px solid var(--border-gray-variant);margin-left:0;padding-left:1rem}ul{padding-left:2rem}.dual-list li>span{display:inline-block;min-width:6rem}.layout-grid{display:flex;justify-content:center;flex-direction:row;flex-wrap:wrap-reverse;gap:var(--layout-grid-gap-size);>aside{width:200px}}main{max-width:var(--max-main-width);width:var(--max-main-width);min-width:0px}.left-sidebar{& h2{margin-top:0}>:first-child h2:first-of-type{margin-top:1.5rem}}.side-nav,.side-toc{& ul{& a{color:initial;&:visited{color:initial}}}}.side-nav ul{list-style:none;padding-left:0}.side-toc ul{list-style:square;padding-left:1rem;overflow-wrap:break-word}.sr-only:not(:focus):not(:active){position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);clip-path:inset(50%);white-space:nowrap;border-width:0}@media(max-width:913px){.layout-grid{>.left-sidebar{border-top:var(--common-gray-border);max-width:var(--max-main-width);width:100%;display:flex;justify-content:space-around;padding-top:.6rem;& penguin-widget{width:100%}}}main h1:first-of-type{margin-top:6px}}.post>h1:nth-of-type(2){display:none}.katex{font-size:1em!important}.katex-display{font-size:1.2em!important;overflow-x:auto}.katex .text{font-family:var(--font-s-serif-p),"Source Serif Pro","Times New Roman",serif!important;font-weight:400!important;font-style:normal!important}.code-with-note{position:relative}@media(min-width:1161px){.code-with-note .visiblenote{position:absolute;top:calc(1rem + var(--note-at, 0) * 1.4rem);right:calc(var(--layout-grid-gap-size) * -1 - 200px);float:none;margin:0}}@media(max-width:1160px){.code-with-note .visiblenote{margin-top:.2rem}}.sidenote,.marginnote,.visiblenote{float:right;clear:right;margin-right:calc(var(--layout-grid-gap-size) * -1 + -200px);width:200px;margin-top:.4rem;margin-bottom:0;font-size:.9rem;line-height:1.3;vertical-align:baseline;position:relative}.sidenote code,.marginnote code,.visiblenote code{font-size:.9em}.sidenote-number{counter-increment:sidenote-counter}.sidenote-number:after,.sidenote:before{position:relative;vertical-align:baseline}.sidenote-number:after{content:counter(sidenote-counter);font-size:.7rem;top:-.4rem;left:.1rem}.sidenote:before{content:counter(sidenote-counter);font-size:.7rem;top:-.4rem;left:-.2rem}blockquote .sidenote,blockquote .marginnote,blockquote .visiblenote{margin-right:calc(var(--layout-grid-gap-size) * -1 + -240px);min-width:200px;text-align:left}input.margin-toggle{display:none}label.sidenote-number{display:inline-block;max-height:2rem}label.margin-toggle:not(.sidenote-number){display:none}@media(max-width:1160px){.right-sidebar{display:none}label.margin-toggle:not(.sidenote-number){display:inline}.sidenote,.marginnote{display:none!important}p:has(.margin-toggle:checked)+*{clear:both}.margin-toggle:checked+.sidenote,.margin-toggle:checked+.marginnote,.visiblenote{display:block!important;margin:1rem;float:left;left:0;clear:both;width:calc(100% - 1rem);vertical-align:baseline;position:relative}label{cursor:pointer}}footer[data-astro-cid-sckkx6r4]{margin-top:3rem}footer[data-astro-cid-sckkx6r4] p[data-astro-cid-sckkx6r4]{text-align:center}footer[data-astro-cid-sckkx6r4] p[data-astro-cid-sckkx6r4] a[data-astro-cid-sckkx6r4]{display:inline-block;padding:.15rem .4rem}.left-sidebar[data-astro-cid-6ngk5uzy],.slotted-in[data-astro-cid-6ngk5uzy]{display:flex;flex-direction:column;gap:1rem}