:root{--highlight-weak:rgba(128, 128, 128, 0.2);--highlight-strong:rgba(128, 128, 128, 0.4);--radius-sm:0.2rem}html{font-size:10pt}img,svg{max-height:80vh}@media(max-width:760px){.marginnote{display:block;float:none;position:static;padding-left:1.2rem;width:100%;margin-top:1em;margin-bottom:1em}.marginnote img,.marginnote svg{max-width:calc(760px/3);margin:0 auto;display:block}p{hyphens:auto!important}}header nav{display:flex;gap:1em}header nav a,header nav a:link,header nav a:visited{color:inherit;text-decoration:none!important;background-image:none!important;border-bottom:0!important;box-shadow:none!important;text-shadow:none;font-size:1.5rem;padding:.2em .4em;margin-top:1em;border-radius:var(--radius-sm);transition:background-color 120ms ease}header nav a:hover,header nav a:focus-visible{background:var(--highlight-weak);outline:none}.footnote-ref,.footnote-ref+.marginnote{--highlight:transparent;background-color:var(--highlight);box-shadow:0 0 0 5px var(--highlight);border-radius:var(--radius-sm);transition:background-color .3s ease 1s,box-shadow .3s ease 1s}.footnote-ref:hover+.marginnote{--highlight:var(--highlight-weak);transition-delay:0s}.footnote-ref:has(+.marginnote:hover){--highlight:var(--highlight-strong);transition-delay:0s}a.footnote-ref-link{background-image:none;text-shadow:none!important}figure[role=math]{zoom:1.4}@media(prefers-color-scheme:dark){[role=math]{filter:invert(1)hue-rotate(180deg)}}.post-tile{margin:0 0 1rem}.post-tile a{display:inline-block;padding:.1em .2em;background-image:none!important}.post-tile a:hover,.post-tile a:focus-visible{background:var(--highlight-weak);outline:none}.post-tile h3{margin:0}.post-tile p{margin:.25rem 0 0}