:root{--color-header:#8ed1fc;--color-link:#0693e3;--color-text:#000;--color-bg:#fff;--content-width:780px;--wide-width:800px;--font-size-small:clamp(0.875rem, 0.875rem + ((1vw - 0.2rem) * 0.417), 1rem);--font-size-medium:clamp(1rem, 1rem + ((1vw - 0.2rem) * 0.417), 1.125rem);--font-size-large:clamp(1.75rem, 1.75rem + ((1vw - 0.2rem) * 0.417), 1.875rem);--font-size-x-large:2.25rem}@font-face{font-family:inter;font-style:normal;font-weight:100 900;font-display:fallback;src:url(../fonts/Inter-Variable.ttf)format("truetype-variations")}*{box-sizing:border-box}body{margin:0;background:var(--color-bg);color:var(--color-text);font-family:inter,-apple-system,BlinkMacSystemFont,segoe ui,Roboto,helvetica neue,sans-serif;font-size:var(--font-size-medium);line-height:1.6}a{color:var(--color-text)}.site-header{background:var(--color-header);padding:2.5rem 1.5rem;text-align:center}.site-title{margin:0 auto;max-width:var(--wide-width);font-size:var(--font-size-x-large);font-weight:400;line-height:1.2}.site-title a{text-decoration:none}main,.site-footer{max-width:var(--wide-width);margin:0 auto;padding:1.5rem}main>article>*,.intro>*{max-width:var(--content-width)}.tagline{text-align:center;font-size:var(--font-size-large);margin:1rem 0 2rem}h1,h2,h3{font-weight:700;line-height:1.2}article h1,article h2,article h3,.intro h1,.intro h2,.intro h3{color:var(--color-link)}.page-title{font-size:var(--font-size-large);font-weight:400}.intro h1{font-size:var(--font-size-medium);font-weight:400}.intro h3{font-size:1.5rem}.meta{font-size:var(--font-size-small);margin:.25rem 0}.article-list ul{list-style:none;margin:3rem 0;padding:0;display:grid;grid-template-columns:1fr 1fr;gap:2rem;font-size:var(--font-size-small)}.article-list h2{font-size:1.25rem;font-weight:400;margin:0 0 .5rem}.article-list h2 a{color:var(--color-link);text-decoration:none}.article-list h2 a:hover{text-decoration:underline}@media(max-width:600px){.article-list ul{grid-template-columns:1fr}}.katex-display{margin:1.5rem 0;overflow-x:auto;overflow-y:hidden}figure{margin:1.5rem 0}figure.aligncenter{display:flex;justify-content:center}table{border-collapse:collapse;margin:1.5rem 0}figure table{margin:0}td,th{padding:.125rem .5rem;vertical-align:top}.text-right{text-align:right}.text-center{text-align:center}.nowrap{white-space:nowrap}.site-footer{margin-top:3rem;font-size:var(--font-size-small)}.site-footer nav{display:flex;flex-wrap:wrap;justify-content:space-between;gap:.5rem 1.5rem;padding:1rem 0}