@import"https://fonts.googleapis.com/css2?family=Recursive:slnt,wght,CASL,CRSV,MONO@-15..0,300..1000,0..1,0..1,0..1&display=swap";*,*:before,*:after{box-sizing:border-box}body,h1,h2,h3,p,ul,ol,figure,figcaption,blockquote{margin:0;padding:0}ul,ol{list-style:none}:root{--color-white: hsl(0, 0%, 99%);--color-black: hsl(0, 0%, 10%);--color-cyan: hsl(165 75% 50%);--color-light-grey: hsl(0 0% 96%);--color-grey: hsl(0 0% 85%);--color-dark-grey: hsl(0 0% 58%);--color-text: var(--color-black);--color-background: var(--color-white);--color-accent: var(--color-cyan);--color-text-logo: var(--color-background);--color-background-logo: var(--color-text);--color-link: var(--color-text);--color-link-visited: var(--color-accent);--content-max-width: 780px;--spacing-unit: 1rem;--border-size: .1px;--header-height: 70px}@media(max-width:700px){:root{--header-height: 70px}}:root{--font-sans: "Recursive", monospace;--font-size: 1.125rem;--casl: "casl" 0;--wght: "wght" 300;--slnt: "slnt" 0;--mono: "MONO" 1;--CRSV: "CRSV" 0}html{font-size:100%}body{font-family:var(--font-sans);--mono-v: var(--mono);--casl-v: var(--casl);--wght-v: var(--wght);--slnt-v: var(--slnt);--crsv-v: var(--CRSV);font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}em,.italic,.figure-caption{--slnt-v: "slnt" -15;font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}strong,.principal-link,.bold{--wght-v: "wght" 500;font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}.thin{--wght-v: "wght" 300;font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}h1,h2,h3,h4,h5,.post-link,.navigation-logo{--wght-v: "wght" 700;font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}p{--wght-v: "wght" 300;font-variation-settings:var(--mono-v),var(--casl-v),var(--wght-v),var(--slnt-v),var(--crsv-v)}h1{font-size:2rem}h2{font-size:1.7rem}h3{font-size:1.5rem}.smaller,.figure-caption{font-size:.8rem}.spacer{font-size:2rem}a{font-size:inherit}code span{font-size:.7rem}.katex .text{font-family:Recursive,monospace;font-size:1rem}@media(max-width:700px){:root{font-size:80%}}header{z-index:100;top:0;min-height:var(--header-height);width:100%;display:flex;justify-content:center;align-items:center;background-color:var(--color-background)}.navigation{width:min(100%,var(--content-max-width));height:100%;padding:calc(1 * var(--spacing-unit));margin:0 auto;display:flex;align-items:center;border-bottom:var(--border-size) solid var(--color-text)}.logo-container,.navigation-links,.navigation-spacer{flex-basis:0;flex-grow:2}.navigation-links{width:100%;flex-grow:3}.logo-container{display:flex;justify-content:flex-start;align-items:center}.navigation-logo{text-decoration:none}.span-logo{background:var(--color-background-logo);padding:calc(.5 * var(--spacing-unit))}.logo-link{color:var(--color-text-logo);text-decoration:none}.navigation-list{display:flex;justify-content:space-evenly}.navigation-spacer{text-align:right}footer{width:100%;height:100%;color:var(--color-background);background:var(--color-text)}.footer-container{width:min(100%,var(--content-max-width));padding:calc(3 * var(--spacing-unit)) calc(1 * var(--spacing-unit));margin:0 auto;display:flex;flex-direction:column;justify-content:center}.footer-links{display:flex;flex-basis:auto;flex-wrap:wrap;flex-grow:1;justify-content:center;margin-bottom:calc(1 * var(--spacing-unit))}.footer-link a{display:flex;align-items:center;justify-content:center;padding:0 calc(1 * var(--spacing-unit));gap:1rem;color:var(--color-background)}.footer-gpg{display:flex;justify-content:center;align-items:center}.footer-gpg a{color:var(--color-background)}.footer-copyright{margin-top:calc(2 * var(--spacing-unit));display:flex;justify-content:center;align-items:center}.copyright{flex-basis:0;flex-grow:2;text-align:center}.footer-spacer{flex-basis:0;flex-grow:1}.footer-spacer--left{text-align:left}.footer-spacer--right{text-align:right}html{line-height:2;color:var(--color-text);text-rendering:optimizelegibility;-webkit-font-smoothing:antialiased}html,body{width:100%;min-height:100vh}body{background-color:var(--color-accent);display:flex;flex-direction:column}main ul{list-style:disc}main ol{list-style:decimal}li::marker{color:var(--color-dark-grey)}h1,h2,h3,h4,h5{margin-bottom:calc(1 * var(--spacing-unit));line-height:1.2}h2,h3,h4,h5{padding-bottom:calc(1 * var(--spacing-unit));border-bottom:var(--border-size) solid var(--color-grey)}p{text-align:justify;margin-bottom:calc(1 * var(--spacing-unit))}.body-container{width:100vw;min-height:100vh;background-color:var(--color-background);display:flex;flex-direction:column;justify-content:flex-start}.dotted{--dot-bg: var(--color-background);--dot-color: var(--color-grey);--dot-size: calc(.015 * var(--header-height));--dot-space: calc(.2 * var(--header-height));background:linear-gradient(90deg,var(--dot-bg) calc(var(--dot-space) - var(--dot-size)),transparent 1%) center / var(--dot-space) var(--dot-space),linear-gradient(var(--dot-bg) calc(var(--dot-space) - var(--dot-size)),transparent 1%) center / var(--dot-space) var(--dot-space),var(--dot-color)}main{width:min(100%,var(--content-max-width));margin:0 auto;padding:calc(3 * var(--spacing-unit)) calc(1 * var(--spacing-unit));flex-grow:1}.post-cards{display:flex;flex-direction:column;padding-left:0}.post-header{display:flex;flex-direction:column;justify-content:center;align-items:flex-start;line-height:1.5rem}.post-header-oneline{display:flex;justify-content:flex-start;align-items:center;line-height:1.5rem;gap:1rem;margin-bottom:1rem}.post-date{color:var(--color-dark-grey)}.article-header{display:flex;flex-direction:column}.article-meta{display:flex;gap:.5rem}.article-content{padding-bottom:calc(2 * var(--spacing-unit))}.article-footer{display:flex;justify-content:center;padding-top:calc(2 * var(--spacing-unit));border-top:var(--border-size) solid var(--color-grey);margin-bottom:calc(2 * var(--spacing-unit))}.neighbor-writing-container{display:flex;line-height:1.5rem;color:var(--color-grey)}.neighbor-writing{flex-basis:0;flex-grow:1;display:flex}.neighbor-writing-left{display:flex;justify-content:flex-start;align-items:center;text-align:left;gap:1rem}.neighbor-writing-right{display:flex;justify-content:flex-end;align-items:center;text-align:right;gap:1rem}.writings-container{display:flex;height:100%;flex-direction:column}.post-tags{display:flex;padding:0;margin:0;gap:.5rem}.tag-container{display:flex;justify-content:center;align-items:center;background:var(--color-light-grey);border:var(--border-size) solid var(--color-grey);padding:0rem .3rem;border-radius:3px}.tag-text:before{content:"#";margin-right:.1rem}.index-container{height:100%;display:flex;flex-direction:column;justify-content:space-between}a{overflow-x:auto;color:var(--color-text);text-decoration:underline;text-underline-offset:.2rem;text-decoration-thickness:calc(20 * var(--border-size));text-decoration-color:var(--color-accent);transition:color .2s ease}.figure{width:100%;display:flex;justify-content:center;align-items:center}.figure-container{display:flex;flex-direction:column;justify-content:center;align-items:center}.about-image,.index-image{width:100%;height:auto;border:var(--border-size) solid var(--color-text)}.about-image{margin-top:calc(1 * var(--spacing-unit))}.figure-caption{color:var(--color-dark-grey);text-align:left;width:100%}::selection{background:var(--color-accent);color:var(--color-text)}.astro-code{padding:calc(1 * var(--spacing-unit));border:var(--border-size) solid var(--color-grey);line-height:1.3}.group-writings{padding-bottom:calc(1 * var(--spacing-unit))}code span{line-height:1}pre{overflow-x:auto;padding:1rem 0;background-color:var(--color-light-grey);border:var(--border-size) solid var(--color-grey)}pre [data-line]{padding:0 1rem}pre>code{counter-reset:line}[data-highlighted-line]{display:inline-block;background-color:var(--color-grey);padding:10rem}code[data-line-numbers]{counter-reset:line}code>[data-line]:before{counter-increment:line;content:counter(line);display:inline-block;width:.75rem;margin-right:2rem;text-align:right;color:gray}code[data-line-numbers-max-digits="2"]>[data-line]:before{width:1.25rem}code[data-line-numbers-max-digits="3"]>[data-line]:before{width:1.75rem}code[data-line-numbers-max-digits="4"]>[data-line]:before{width:2.25rem}.rehype-pretty-copy{background-color:transparent;border:0px solid var(--color-text)}.rehype-pretty-copy.rehype-pretty-copied{background-color:transparent;color:red;border:0px solid var(--color-text)}.decorator{display:flex;text-align:center;color:var(--color-dark-grey);justify-content:center;gap:calc(1 * var(--spacing-unit));margin-bottom:calc(2 * var(--spacing-unit))}ul,ol{padding:0 3rem;overflow-x:auto}.definition{background-color:var(--color-light-grey);padding:1rem;border:var(--border-size) solid var(--color-grey);border-radius:5px;margin:1rem 0}.definition-header{border-bottom:var(--border-size);padding-bottom:1rem}.definition-type{color:var(--color-dark-grey)}code{background-color:var(--color-light-grey);padding:.3rem;border-radius:3px}.katex{background-color:var(--color-light-grey);padding:0 .3rem;border-radius:3px;overflow-x:auto}.katex-display{background-color:var(--color-light-grey);padding:1rem;border-radius:3px}:is(.about-body,.article-meta,.article-content,.article-footer) a[href^=http]:before{content:"";display:inline-block;width:.85em;height:.85em;margin-right:.3em;vertical-align:middle;background-color:var(--color-dark-grey);-webkit-mask-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71'%3E%3C/path%3E%3Cpath d='M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71'%3E%3C/path%3E%3C/svg%3E");mask-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24' fill='none' stroke='black' stroke-width='2' stroke-linecap='round' stroke-linejoin='round'%3E%3Cpath d='M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71'%3E%3C/path%3E%3Cpath d='M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71'%3E%3C/path%3E%3C/svg%3E");mask-repeat:no-repeat;mask-size:contain}@media(max-width:700px){:root{line-height:1.7rem}.header-container{min-height:var(--header-height)}.navigation{justify-content:space-between;align-items:center;gap:1rem;height:100%}.logo-container,.navigation-links{flex-grow:1}.navigation-list{gap:1rem;padding:0}.navigation-spacer,.footer-spacer{display:none}.navigation-logo{justify-content:center;align-items:center}.neighbor-writing-container{flex-direction:column;gap:1rem}ul,ol{padding:0 2rem}}