/* Self-hosted. Previously loaded from fonts.googleapis.com, which sent every
   visitor's IP to Google and made the page depend on Google being up. Same
   files, same weights, latin subset. All three are SIL Open Font License. */
@font-face{font-family:'Inter';font-style:normal;font-weight:100 900;font-display:swap;src:url(/assets/fonts/inter-var.woff2) format('woff2-variations'),url(/assets/fonts/inter-var.woff2) format('woff2')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 800;font-display:swap;src:url(/assets/fonts/jetbrains-mono-var.woff2) format('woff2-variations'),url(/assets/fonts/jetbrains-mono-var.woff2) format('woff2')}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:300 700;font-display:swap;src:url(/assets/fonts/space-grotesk-var.woff2) format('woff2-variations'),url(/assets/fonts/space-grotesk-var.woff2) format('woff2')}