:root{--paper:#f5f5f5;--ink:#202321;--muted:#686c68;--line:#d5d7d2;--pad:clamp(1.25rem,4vw,2.5rem)}
*{box-sizing:border-box}
body{margin:0;background:var(--paper);color:var(--ink);font-family:Verdana,Geneva,sans-serif;-webkit-font-smoothing:antialiased}
a{color:inherit;text-underline-offset:4px}
a:focus-visible{outline:2px solid #355341;outline-offset:5px}
.site-nav{position:fixed;top:var(--pad);right:var(--pad);z-index:100;text-align:right;font:10px/1.8 Verdana,Geneva,sans-serif}
.site-nav a{display:block;width:fit-content;margin:0 0 2px auto;padding:2px 5px;text-decoration:none;background:var(--paper);color:var(--ink)}
.site-nav a:hover{text-decoration:underline}
.site-nav a[aria-current],.site-nav a[data-current]{background:var(--ink);color:var(--paper)}
#math-paper-trail{position:fixed;inset:0;z-index:90;width:100%;height:100%;pointer-events:none;mix-blend-mode:multiply;opacity:.52}
@media(max-width:760px){.site-nav{position:absolute}.site-nav a{padding:8px 9px;margin-bottom:5px}}
@media(max-width:900px),(pointer:coarse),(prefers-reduced-motion:reduce){#math-paper-trail{display:none}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}