nav:where(.astro-3EF6KSR2){display:flex;flex-direction:row;justify-content:space-between;align-items:center;gap:1rem}h1:where(.astro-3EF6KSR2){margin-block:1rem;font-size:clamp(1.375rem,5vw,1.5rem)}nav:where(.astro-3EF6KSR2) a:where(.astro-3EF6KSR2){display:inline-flex;align-items:center;min-height:44px}nav:where(.astro-3EF6KSR2)>a:where(.astro-3EF6KSR2){padding-inline:.5rem}.border:where(.astro-3EF6KSR2){width:100%;border:1px solid black;margin-bottom:1em}.border:where(.astro-SZ7XMLTE){border:1px solid black;margin:1em 0}.copyright:where(.astro-SZ7XMLTE){margin-bottom:15px}*,*:before,*:after{box-sizing:border-box}html{font-family:system-ui,sans-serif}code{font-family:Menlo,Monaco,Lucida Console,Liberation Mono,DejaVu Sans Mono,Bitstream Vera Sans Mono,Courier New,monospace}body{display:flex;flex-direction:column;margin:0 auto;padding:0 clamp(1rem,4vw,2rem);line-height:1.6;width:100%;max-width:calc(85ch + 4rem);overflow-wrap:break-word}body>*,main{min-width:0}h1,h2,h3,h4{line-height:1.25}body>h1{font-size:clamp(1.75rem,5vw,2rem)}figure{margin:1.5rem clamp(0px,calc((100vw - 40rem)/4),2.5rem)}pre,.katex-display{max-width:100%;overflow-x:auto;padding-block:.5rem}.katex-display>.katex{width:max-content;min-width:100%}.katex-display{position:relative}.katex-display>.katex>.katex-html{padding-inline:2em}a:focus-visible{outline:2px solid currentColor;outline-offset:4px}img{display:block;margin-left:auto;margin-right:auto;max-width:100%;height:auto}figcaption{color:gray;text-align:center}figcaption a,figcaption a:visited,figcaption a:hover,figcaption a:active{color:gray}a,a:visited,a:hover,a:active{text-decoration:none;color:#000}.underline{text-decoration:underline}