:root{--background-color:#fefefd;--heading-color:#000;--text-color:#222;--figcaption-color:#222;--link-color:#0056b3;--visited-color:#800080;--code-background-color:#fdfdfc;--border-color:color-mix(in srgb, var(--text-color) 25%, transparent);--stripe-color:color-mix(in srgb, var(--text-color) 5%, transparent);--radius:.2rem;--content-width:75ch;--font-sans:system-ui, sans-serif;--font-mono:ui-monospace, monospace}@media(prefers-color-scheme:dark){:root{--background-color:#222;--heading-color:#fdfdfd;--text-color:#e8e8e8;--figcaption-color:#e8e8e8;--link-color:#64b5f6;--visited-color:#ba68c8;--code-background-color:#292929;--border-color:color-mix(in srgb, var(--text-color) 30%, transparent);--stripe-color:color-mix(in srgb, var(--text-color) 8%, transparent)}}*,*::before,*::after{box-sizing:border-box}html,body{margin:0;padding:0}body{font-family:var(--font-sans);color:var(--text-color);background:var(--background-color);line-height:1.5;max-width:var(--content-width);margin:auto;padding:1.25rem;overflow-wrap:break-word;hyphens:auto}h1,h2,h3,h4,h5,h6{font-family:var(--font-sans);color:var(--heading-color)}a{color:var(--link-color);text-decoration:inherit}a:visited{color:var(--visited-color)}a:hover{text-decoration:underline}nav{font-family:var(--font-sans)}nav a:visited{color:var(--link-color)}nav>ul{list-style:none;margin:0;padding:0}nav>ul>li{display:inline;margin-right:.9em}nav>ul>li:last-child{margin-right:0}footer{margin-top:.5rem;margin-bottom:-.75rem;padding:.5rem;border-top:1px dashed var(--border-color)}footer>nav>ul>li:not(:last-child)::after{content:"|";color:var(--border-color);margin:0 .45em}table{width:100%;border-collapse:separate;border-spacing:0;text-align:left;background:var(--background-color);border:1px solid var(--border-color);border-radius:var(--radius);overflow:hidden;line-height:1.4}th,td{padding:.4rem .65rem;border-bottom:1px solid var(--border-color)}th{background-color:var(--code-background-color);font-weight:700}tr:nth-child(even) td{background-color:var(--stripe-color)}tr:last-child td{border-bottom:none}figure{margin:0;text-align:center}figure img{max-width:100%;height:auto;border-radius:var(--radius)}figcaption{font-family:var(--font-mono);font-size:.9rem;color:var(--figcaption-color)}pre.chroma{padding:.2rem;border-radius:var(--radius);border:1px solid var(--border-color);background:var(--code-background-color);overflow-x:auto}pre.chroma>code{font-family:var(--font-mono);font-size:1rem;hyphens:none;text-size-adjust:none}blockquote{margin-left:0;margin-right:0;padding-left:1rem;border-left:3px solid var(--border-color);font-style:italic;position:relative;left:3px}blockquote blockquote{margin-top:1rem;margin-bottom:1rem}hr{border:none;border-top:1px dashed var(--border-color)}ul.posts-list{list-style:none;padding:0;font-family:var(--font-sans)}ul.posts-list li{display:flex}ul.posts-list li span{flex:0 0 105px}ul.post-metadata{list-style:none;display:flex;padding:0;font-family:var(--font-mono);color:var(--figcaption-color)}ul.post-metadata>li:not(:last-child)::after{content:"//";color:var(--border-color);margin:0 .45em}.katex:not(.katex-display>.katex){font-size:1.125rem;white-space:nowrap}.katex-display>.katex{overflow-x:auto;overflow-y:hidden;padding:1px 0}