:root{--background-color:#fdfcf9;--heading-color:#141311;--text-color:#26241f;--muted-color:#6e6a62;--figcaption-color:var(--muted-color);--link-color:#0b4f9c;--visited-color:#6f2b8f;--code-background-color:#f4f2ec;--mark-color:#fbeea0;--border-color:color-mix(in srgb, var(--text-color) 18%, transparent);--radius:.2rem;--content-width:40rem;--font-serif:Charter, "Bitstream Charter", "Sitka Text", Cambria, serif;--font-mono:ui-monospace, "SF Mono", Menlo, Consolas, "DejaVu Sans Mono", monospace;color-scheme:light dark}@media(prefers-color-scheme:dark){:root{--background-color:#1b1a18;--heading-color:#f6f4ef;--text-color:#e2dfd8;--muted-color:#9d988e;--link-color:#7fb4ee;--visited-color:#c49be0;--code-background-color:#24231f;--mark-color:#5e5214;--border-color:color-mix(in srgb, var(--text-color) 22%, transparent)}}*,*::before,*::after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;text-size-adjust:100%;background:var(--background-color)}html,body{margin:0;padding:0}body{font-family:var(--font-serif);font-size:1.125rem;color:var(--text-color);background:var(--background-color);line-height:1.5;max-width:var(--content-width);padding:1.25rem;overflow-wrap:break-word;hyphens:auto}@media(min-width:40rem){body{position:relative;left:calc(50vw - 40rem/2)}}:focus-visible{outline:2px solid var(--link-color);outline-offset:2px;border-radius:var(--radius)}h1,h2,h3,h4,h5,h6{font-family:var(--font-serif);font-weight:700;color:var(--heading-color);line-height:1.2;text-wrap:balance;hyphens:manual;scroll-margin-top:1rem}p,li,dd{text-wrap:pretty}p{margin:0 0 .8em}h1{font-size:2.1rem;margin:1.75rem 0 .4rem}h2{font-size:1.45rem;margin:1.6rem 0 .4rem}h3{font-size:1.2rem;margin:1.25rem 0 .3rem}h4{font-size:1.05rem;margin:1.1rem 0 .3rem}h5,h6{font-size:1rem;margin:1.1rem 0 .3rem}a{color:var(--link-color);text-decoration:inherit}a:visited{color:var(--visited-color)}a:hover{text-decoration:underline}main a{text-decoration:underline;text-decoration-thickness:1px;text-underline-offset:.2em;text-decoration-color:color-mix(in srgb,currentColor 40%,transparent)}main a:hover{text-decoration-color:initial}ul.posts-list a,.footnote-backref,.footnote-ref a{text-decoration:none}code,kbd{font-family:var(--font-mono)}:not(pre)>code{font-size:.82em;padding:.1em .25em;border-radius:var(--radius);background:var(--code-background-color);hyphens:none}mark{color:inherit;background:var(--mark-color);padding:0 .15em;border-radius:var(--radius)}abbr[title]{text-decoration:underline dotted;cursor:help}ul,ol{margin:0 0 .8em;padding-left:1.5rem}li>ul,li>ol{margin:0}li::marker{color:var(--muted-color)}dt{font-weight:700}dd{margin-left:1.5rem;margin-bottom:.5rem}li:has(>input[type=checkbox]){list-style:none;margin-left:-1.5rem}li>input[type=checkbox]{margin:0 .5rem 0 0;accent-color:var(--link-color)}.footnotes{margin-top:2rem;font-size:.9rem;color:var(--muted-color)}.footnotes>hr{margin-bottom:1rem}nav{font-family:var(--font-mono);font-size:.85rem}nav a,nav a:visited{color:var(--muted-color)}nav a:hover{color:var(--link-color)}nav>ul{list-style:none;margin:0;padding:0}nav>ul>li{display:inline;margin:0 1.1rem 0 0}nav>ul>li:last-child{margin-right:0}header nav b a,header nav b a:visited{color:var(--heading-color)}header nav a[aria-current=page]{color:var(--heading-color)}footer{margin-top:2rem;padding-top:.75rem;border-top:1px solid var(--border-color)}footer nav ul{display:flex;flex-wrap:wrap;column-gap:0;row-gap:.35rem;margin:0;padding:0;list-style:none}footer nav li{margin:0;padding:0}footer nav li:not(:last-child)::after{content:"·";color:var(--border-color);margin-left:.6em;margin-right:.6em}table{width:100%;margin:1rem 0;border-collapse:collapse;text-align:left;font-size:.95rem;font-variant-numeric:tabular-nums;line-height:1.4}th,td{padding:.45rem .65rem;border-bottom:1px solid var(--border-color)}th{font-weight:700}tr:last-child td{border-bottom:none}img{max-width:100%;height:auto}figure{margin:1.25rem 0;text-align:center}figure img{width:100%;height:auto;border-radius:var(--radius)}figcaption{margin-top:.5rem;font-family:var(--font-mono);font-size:.8rem;color:var(--figcaption-color)}pre{margin:1rem 0;padding:.75rem .5rem;line-height:1.5;border-radius:var(--radius);background:var(--code-background-color);overflow-x:auto;font-size:.8rem}pre.chroma{background:var(--code-background-color)}pre>code{font-family:var(--font-mono);font-style:normal!important;font-size:inherit;hyphens:none;text-size-adjust:none}blockquote{margin:1rem 0;padding-left:1.25rem;border-left:2px solid var(--border-color);font-style:italic}blockquote blockquote{margin:.6rem 0}hr{margin:1.5rem 0;border:none;border-top:1px solid var(--border-color)}ul.posts-list{list-style:none;padding:0}ul.posts-list li{display:flex;align-items:baseline;gap:1rem;padding:.2rem 0;margin:0}ul.posts-list li span{flex:none;font-family:var(--font-mono);font-size:.8rem;color:var(--muted-color);font-variant-numeric:tabular-nums}ul.post-metadata{list-style:none;display:flex;flex-wrap:wrap;margin:0 0 1.25rem;padding:0;font-family:var(--font-mono);font-size:.8rem;color:var(--muted-color)}ul.post-metadata>li{margin:0}ul.post-metadata>li:not(:last-child)::after{content:"//";color:var(--border-color);margin:0 .45rem}.katex:not(.katex-display>.katex){font-size:1.05em;white-space:nowrap}.katex-display>.katex{overflow-x:auto;overflow-y:hidden;padding:1px 0}