/* Shared, self-hosted typography: never depend on a reader's installed fonts. */
@font-face{font-family:Inter;src:url('/assets/fonts/inter-variable.woff2') format('woff2');font-weight:100 900;font-style:normal;font-display:swap}
@font-face{font-family:'JetBrains Mono';src:url('/assets/fonts/jetbrains-mono-regular.woff2') format('woff2');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:'JetBrains Mono';src:url('/assets/fonts/jetbrains-mono-bold.woff2') format('woff2');font-weight:700;font-style:normal;font-display:swap}
/* Keep Safari's automatic text inflation from changing responsive type scales.
   This does not restrict pinch zoom or the reader's browser text-size controls. */
html{-webkit-text-size-adjust:100%;text-size-adjust:100%}