@keyframes svelte-5rjmgf-highlight-fade{0%{background:color-mix(in srgb,var(--ink) 15%,transparent)}}.highlight{background:color-mix(in srgb,var(--ink) 5%,transparent)}@media (prefers-reduced-motion: no-preference){.highlight{animation:svelte-5rjmgf-highlight-fade 2s ease-out}}li.highlight{padding-inline:.5rem}p.highlight,h1.highlight,h2.highlight,h3.highlight,h4.highlight,h5.highlight,h6.highlight{padding-inline:.25rem}li:target,sup:target{scroll-margin-top:8rem}