:root{--background-color:#fefefd;--heading-color:#000;--text-color:#222;--figcaption-color:#222;--link-color:#0056b3;--visited-color:#800080;--code-background-color:#fdfdfc;--sep-color:#777;--border-color:color-mix(in srgb, var(--text-color) 15%, transparent);--table-stripe-color:color-mix(in srgb, var(--text-color) 5%, transparent);--blockquote-color:color-mix(in srgb, var(--text-color) 40%, transparent);--radius:.2rem;--heading-font:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--text-font:-apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;--code-font:"SF Mono", Monaco, "Cascadia Code", "Roboto Mono", Consolas, "Courier New", 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;--sep-color:#888;--border-color:color-mix(in srgb, var(--text-color) 20%, transparent);--table-stripe-color:color-mix(in srgb, var(--text-color) 8%, transparent);--blockquote-color:color-mix(in srgb, var(--text-color) 50%, transparent)}}*,*::before,*::after{box-sizing:border-box}html,body{margin:0;padding:0}body{font-family:var(--text-font);color:var(--text-color);background:var(--background-color);line-height:1.5;max-width:720px;margin:auto;padding:1.25rem;overflow-wrap:break-word;hyphens:auto}@media(min-width:calc(720px + 2.5rem)){body{position:relative;left:calc((100vw - 720px - 2.5rem)/2);margin:0}}h1,h2,h3,h4,h5,h6{font-family:var(--heading-font);color:var(--heading-color)}h1{font-size:1.728rem}h2{font-size:1.44rem}h3{font-size:1.2rem}h4{font-size:1rem}h5{font-size:.833rem}h6{font-size:.694rem}a{color:var(--link-color);text-decoration:inherit}a:visited{color:var(--visited-color)}a:hover{text-decoration:underline}nav{font-family:var(--heading-font)}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(--sep-color)}footer>nav>ul>li:not(:last-child)::after{content:"|";color:var(--sep-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;font-size:.95rem;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(--table-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(--code-font);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(--code-font);font-size:1rem;hyphens:none;text-size-adjust:none}blockquote{margin-left:1.35rem;padding-left:1rem;border-left:2px solid var(--blockquote-color);font-style:italic}hr{border:none;border-top:1px dashed var(--sep-color)}ul.posts-list{list-style:none;padding:0;font-family:var(--heading-font)}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(--code-font);color:var(--figcaption-color)}ul.post-metadata>li:not(:last-child)::after{content:"//";color:var(--sep-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}