:root{--_phi: calc((1 + pow(5, .5))/2) ;--step-up: pow(var(--_phi), .5);--step-down: pow(var(--_phi), -.5);font-size:clamp(14px,1.75vw,18px);--fs-xxl: calc(1rem*pow(var(--_phi), 2)) ;--fs-xl: calc(1rem*pow(var(--_phi), 1.5)) ;--fs-lg: calc(1rem*pow(var(--_phi), 1)) ;--fs-md: calc(1rem*pow(var(--_phi), .5)) ;--fs-sm: calc(1rem*pow(var(--_phi), 0)) ;--fs-xs: calc(1rem*pow(var(--_phi), -.5)) ;--lh-default: var(--fs-lg);--lh-short: var(--fs-md);--ff-serif: "Computer Modern Serif", "Times New Roman", serif;--ff-sans: "Computer Modern Sans", "Calibri", sans-serif;--ff-mono: "Computer Modern Typewriter", monospace;--space-xxl: calc(var(--fs-xxl) / var(--_phi));--space-xl: calc(var(--fs-xl) / var(--_phi));--space-lg: calc(var(--fs-lg) / var(--_phi));--space-md: calc(var(--fs-md) / var(--_phi));--space-sm: calc(var(--fs-sm) / var(--_phi));--space-xs: calc(var(--fs-xs) / var(--_phi));--line-1: calc(1rem*pow(var(--_phi), -5)) ;--line-2: calc(1rem*pow(var(--_phi), -4)) ;--line-3: calc(1rem*pow(var(--_phi), -3)) ;--radius-text: calc(1rem*pow(var(--_phi), -3)) ;--radius-block: calc(1rem*pow(var(--_phi), -2)) ;--paper: oklch(94% .01 80);--space: oklch(23.6% .016 260);--gold: oklch(70% .111 80);--pen-ink: oklch(38.2% .069 260);--cyber: oklch(88.6% .111 220);color-scheme:light dark;--color-block: var(--pen-ink);--color-edge: oklch(from var(--color-block) calc(l - .1) calc(c - .01) calc(h + 5) );--color-button: var(--pen-ink);--color-button-hover: oklch(from var(--color-button) calc(l - .1) calc(c - .01) calc(h + 5) );--color-button-press: oklch(from var(--color-button) calc(l - .2) calc(c - .02) calc(h + 10) );--color-link: var(--gold);--color-link-press: oklch(from var(--color-link) calc(l - .1) calc(c - .01) calc(h + 5) );--color-text: light-dark(black, white);--color-main: light-dark(var(--paper), var(--space));--color-heading: light-dark(var(--pen-ink), var(--gold));--color-page-area: light-dark( oklch(from var(--paper) calc(l - .1) calc(c + .015) calc(h - 5) ), oklch(from var(--space) calc(l - .1) calc(c - .015) calc(h - 5) ));--color-page-element: light-dark( oklch(from var(--paper) calc(l - .3) calc(c + .045) calc(h - 15) ), oklch(from var(--space) calc(l + .2) calc(c + .03) calc(h + 10) ))}*{margin:0;padding:0;box-sizing:border-box}html{height:100%;scroll-behavior:smooth;scroll-padding-top:3rem}html[data-theme=light]{color-scheme:light}html[data-theme=dark]{color-scheme:dark}body{height:100%;display:grid;grid-template-columns:1fr [body-start] min(115ch,100%) [body-end] 1fr;grid-template-rows:1fr auto;align-items:stretch;--_polka-dots: radial-gradient(var(--color-page-element) .2vh, transparent .2vh);--_polka-distance: 2.618vh;background-image:var(--_polka-dots),var(--_polka-dots);background-color:var(--color-page-area);background-position:0 0,calc(var(--_polka-distance) / 2) calc(var(--_polka-distance) / 2);background-size:var(--_polka-distance) var(--_polka-distance);background-attachment:fixed;font-family:var(--ff-sans)}main,footer{grid-column:body}main{--_content-width: min(89ch, calc(100% - 4ch) );--_minimum-width: minmax(1ch, 8fr);display:grid;align-content:flex-start;grid-template-rows:auto;grid-template-columns:[full-width-start] var(--_minimum-width) [breakout-start] minmax(0,5fr) [content-start] var(--_content-width) [content-end] minmax(0,5fr) [breakout-end] var(--_minimum-width) [full-width-end];padding:var(--fs-xxl) 0 var(--fs-xl) 0;border-left:var(--line-1) solid var(--color-page-element);border-right:var(--line-1) solid var(--color-page-element);background-color:var(--color-main);color:var(--color-text);height:100%}main>*{grid-column:content}p,ol,ul{margin-bottom:var(--space-sm)}small,hr{margin-bottom:var(--space-xs)}blockquote,pre,figure{margin:1em 0}blockquote,pre,.card,figure{*:first-child{margin-top:0}*:last-child{margin-bottom:0}}h1,h2,h3,h4{margin:calc(1em * var(--step-down)) 0 var(--space-xs) 0;overflow-wrap:anywhere;text-wrap:balance;line-height:1em;font-weight:700;font-family:var(--ff-serif);color:var(--color-heading)}h1{font-size:var(--fs-xxl)}h2{font-size:var(--fs-xl);border-bottom:var(--line-1) solid currentColor}h3{font-size:var(--fs-lg)}h4{font-size:var(--fs-md)}p{text-align:justify;line-height:var(--lh-default);font-size:1rem}ul,ol{list-style-position:outside;margin-left:var(--fs-sm);line-height:var(--lh-default)}ul{list-style-type:square}li{align-content:baseline;p{display:inline}ul,ol{margin-bottom:0}}small,figcaption{font-size:var(--fs-xs);font-style:italic}hr{color:var(--color-page-element)}a{border-radius:calc(var(--radius-text) / 1.618);color:currentColor;text-decoration-thickness:var(--line-1);text-decoration-color:var(--color-link);@media(prefers-contrast:more){color:var(--color-text)}}a:hover,a:focus-visible{transition:box-shadow .15s ease,background-color .15s ease;--_highlighter: color-mix(var(--color-main), oklch(100% .3 100));background-color:var(--_highlighter);box-shadow:0 0 0 var(--line-2) var(--_highlighter);@media(prefers-contrast:more){color:currentColor}}main a[href*="/cardlist/"]:has(img){background-color:transparent;box-shadow:none}footer a:hover,footer a:focus-visible{--_highlighter: color-mix(var(--space), oklch(100% .3 100))}table{display:block;width:fit-content;overflow:auto;border-collapse:collapse;margin-top:1em;margin-left:auto;margin-right:auto;line-height:var(--lh-default);z-index:1}figure>table{margin-bottom:0}tbody>tr:hover{background-color:var(--color-page-area)}th{text-align:left;text-overflow:ellipsis;font-family:var(--ff-serif);overflow-x:clip}td{border-bottom:1px solid var(--color-page-element);text-align:right}.decklist{overflow:visible}.decklist>tbody>tr>td:first-child{text-align:left;overflow:visible}td[data-toast]{background-color:color-mix(var(--color-main),var(--toast))}tr:hover>td[data-toast]{background-color:color-mix(var(--color-page-area),var(--toast))}td[data-toast=good]{--toast: oklch(38.2% .21 150) }td[data-toast=medium]{--toast: oklch(61.8% .16 95) }td[data-toast=bad]{--toast: oklch(38.2% .21 20) }table>caption{font-family:var(--ff-serif);font-weight:700}button{font-family:var(--ff-sans);border-color:transparent;cursor:pointer}.breakout{grid-column:breakout}.full-width{grid-column:full-width}.card,blockquote,form{border-radius:var(--radius-block);border:var(--line-1) solid var(--color-page-element)}blockquote,form input{background-color:var(--color-page-area)}.rect-xs,td,th{--padding: var(--space-xs) }.rect-sm{--padding: var(--space-sm) }.rect-md,blockquote,pre{--padding: var(--space-md) }.rect-lg,form{--padding: var(--space-lg) }.rect-xl{--padding: var(--space-xl) }[class*=rect],blockquote,pre,th,td,form{padding:calc(var(--padding) * pow(var(--step-down),2)) var(--padding)}.grid-ch{--gap-spacing: .786ch }.grid-xs{--gap-spacing: var(--space-xs) }.grid-sm,figure{--gap-spacing: var(--space-sm) }.grid-md,.post-grid{--gap-spacing: var(--space-md) }.grid-lg{--gap-spacing: var(--space-lg) }.grid-xl{--gap-spacing: var(--space-xl) }[class*=grid],figure{row-gap:calc(var(--gap-spacing) * var(--step-down));column-gap:calc(var(--gap-spacing) * var(--step-up))}[class*=grid]{h1,h2,h3{margin-bottom:0}}.katex-html{font-size:1.1rem}.katex-display{overflow-x:scroll;overflow-y:hidden;scrollbar-width:thin}code{border-radius:var(--radius-text);line-height:var(--lh-short);display:inline-flex;padding-inline:1ch}pre{border-radius:var(--radius-text);overflow-x:scroll;scrollbar-width:none}code,pre{border:var(--line-1) solid darkgray;background-color:#000;color:oklch(from var(--cyber) calc(l + .1) .07 h);font-family:var(--ff-mono);transition:box-shadow .3s ease}code:not(pre>code):hover{box-shadow:inset 0 0 0 var(--line-1) var(--cyber)}pre:hover{box-shadow:inset 0 0 0 var(--line-2) var(--cyber)}pre>code{filter:none;border:0;outline:0;background:none}.smart-block,th{background-color:var(--color-block);font-weight:700;color:#fff}.ff-serif{font-family:var(--ff-serif)}figure{display:flex;flex-wrap:wrap;justify-content:center;align-items:center}figcaption{width:100%;text-align:center}.flex-list{margin:0;display:flex;flex-wrap:wrap;list-style:none;li{display:flex}}.post-grid{list-style:none;display:grid;margin:0;h1,h2,h3,h4{margin-bottom:0}}.interactive{color:#fff;transition:background-color .2s ease;@media(prefers-contrast:more){outline:var(--line-1) solid currentColor}}.interactive:hover,.interactive:focus-visible{color:#fff;background-color:var(--color-link);box-shadow:none}.interactive:active{color:#fff;background-color:var(--color-link-press)}.shadow{filter:drop-shadow(0 var(--line-1) var(--line-2) light-dark(rgb(0 0 0 / .3),black))}span[data-tooltip]{position:relative;cursor:help}span[data-tooltip]:before{z-index:2;position:absolute;top:-3ch;left:50%;transform:translate(-50%);pointer-events:none;border:var(--line-1) solid oklch(from var(--space) calc(l + .2) calc(c + .02) h);background-color:oklch(from var(--space) calc(l - .05) calc(c + .01) h);color:#fff;content:attr(data-tooltip);font-size:var(--fs-xs);opacity:0;width:fit-content;text-align:center;padding-inline:1ch;line-height:calc(1em * var(--step-up));white-space:nowrap;border-radius:var(--radius-text);transition:margin-top 50ms ease,opacity 50ms ease}span[data-tooltip]:hover:before,span[data-tooltip]:focus:before{opacity:100;margin-top:-1ch}.astro-route-announcer{position:absolute;left:0;top:0;clip:rect(0 0 0 0);clip-path:inset(50%);overflow:hidden;white-space:nowrap;width:1px;height:1px}.fixed-nav{width:100%;display:grid;grid-template-columns:1fr [nav-start] min(89ch + 2 * 13ch,100%) [nav-end] 1fr;z-index:5;position:fixed}nav{grid-column:nav;display:flex;height:var(--fs-xxl);border-bottom:var(--line-2) solid var(--color-edge);menu{gap:0}a{border-radius:0;line-height:var(--lh-default);display:flex;padding-inline:var(--space-sm);align-items:center;text-decoration:none;color:currentColor;font-family:var(--ff-sans)}a svg{fill:currentColor;height:var(--fs-lg);margin-right:calc(var(--space-xs) * var(--step-down))}button img{height:var(--fs-lg)}}a[href="/"]{margin-right:auto;font-size:var(--fs-lg);padding-inline:var(--space-md);font-family:"Computer Modern Serif",Times New Roman,serif}a[aria-current=page]{background-color:var(--color-edge)}@keyframes reveal{0%{opacity:0}to{opacity:100%}}button[aria-label="Dark mode"]{height:var(--fs-xl);aspect-ratio:1 / 1;border-radius:50%;margin:auto 1ch;display:flex;background-color:var(--color-edge);img{transition:transform .1s ease;width:var(--fs-lg);height:auto;display:none;margin:auto;fill:#fff}&:hover>img{transform:scale(1.15)}&:active>img{transform:scale(1)}}html[data-theme=light]{button[aria-label="Dark mode"] img:first-child{display:block}button[aria-label="Dark mode"] img:last-child{display:none}}html[data-theme=dark]{button[aria-label="Dark mode"] img:last-child{display:block}button[aria-label="Dark mode"] img:first-child{display:none}}button[aria-label="Toggle menu"]{display:none;border:none;background-color:var(--color-block);aspect-ratio:1 / 1;align-items:center;justify-content:center;svg{fill:#fff;height:var(--fs-lg)}}@media screen and (width<480px){nav menu{position:fixed;top:2.618rem;left:0;width:100%;height:100%;flex-direction:column;background-color:#000000d9;transition:clip-path .3s ease;clip-path:polygon(0 0,100% 0,100% 0,0 0);li{height:2.618rem}a{display:none;width:100%;align-items:center}}nav menu.show{display:flex;clip-path:polygon(0 0,100% 0,100% 100%,0 100%);a{display:flex;background-color:transparent;border-left:var(--line-3) solid transparent}a[aria-current=page]{border-color:var(--color-link)}}button[aria-label="Toggle menu"]{display:flex}}@keyframes astroFadeInOut{0%{opacity:1}to{opacity:0}}@keyframes astroFadeIn{0%{opacity:0;mix-blend-mode:plus-lighter}to{opacity:1;mix-blend-mode:plus-lighter}}@keyframes astroFadeOut{0%{opacity:1;mix-blend-mode:plus-lighter}to{opacity:0;mix-blend-mode:plus-lighter}}@keyframes astroSlideFromRight{0%{transform:translate(100%)}}@keyframes astroSlideFromLeft{0%{transform:translate(-100%)}}@keyframes astroSlideToRight{to{transform:translate(100%)}}@keyframes astroSlideToLeft{to{transform:translate(-100%)}}@media(prefers-reduced-motion){::view-transition-group(*),::view-transition-old(*),::view-transition-new(*){animation:none!important}[data-astro-transition-scope]{animation:none!important}}.fr-sign[data-astro-cid-h2ly3ziy]{line-height:var(--lh-default);font-style:normal;font-weight:700;font-family:var(--ff-serif);font-size:1.1em}footer{display:grid;grid-template-columns:auto 1fr auto;border-top:var(--line-3) solid var(--color-edge);font-family:var(--ff-sans);justify-content:center;align-items:center;[aria-label="Social media"]{grid-column:-2 / -1;margin-top:0;gap:var(--space-xs);li{align-items:center}a{display:flex;background-color:var(--color-edge);height:var(--fs-xl);aspect-ratio:1 / 1;border-radius:50%;overflow:hidden}svg{transition:transform .1s ease;fill:#fff;height:auto;width:70%;margin:auto}a:hover svg,a:focus svg{transform:scale(1.15)}}[aria-label=Disclaimer]{grid-column:1 / -1;text-align:center;font-weight:400}[aria-label=Copyright]{grid-column:1 / -1;text-align:center}@media screen and (width<330px){grid-template-columns:1fr}}