.nav-link.svelte-rfuq4y{--tw-text-opacity: 1;color:rgb(163 163 163 / var(--tw-text-opacity, 1));text-decoration-line:none;transition-property:color,background-color,border-color,text-decoration-color,fill,stroke;transition-timing-function:cubic-bezier(.4,0,.2,1);transition-duration:.2s}.nav-link.svelte-rfuq4y:hover,.active.svelte-rfuq4y{--tw-text-opacity: 1;color:rgb(229 229 229 / var(--tw-text-opacity, 1))}nav a{text-decoration-line:none!important}html{height:100%;scroll-behavior:smooth;--tw-bg-opacity: 1;background-color:rgb(15 15 35 / var(--tw-bg-opacity, 1))}body{height:100%;--tw-bg-opacity: 1;background-color:rgb(15 15 35 / var(--tw-bg-opacity, 1));--tw-text-opacity: 1;color:rgb(229 229 229 / var(--tw-text-opacity, 1))}.prose pre{overflow-x:auto;border-radius:.25rem;border-width:1px;border-color:#ffffff1a;background-color:#ffffff08;padding:1rem;font-family:JetBrains Mono,monospace}.prose code{border-radius:.25rem;background-color:#ffffff1a;padding:.125rem .25rem;font-family:Space Mono,ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,Liberation Mono,Courier New,monospace;font-size:.875rem;line-height:1.25rem;color:#e5e5e5e6}.katex{font-size:1.1em}.katex-display{margin-top:1rem;margin-bottom:1rem;overflow-x:auto}