/* Self-hosted web fonts (no requests to Google). Latin subset only, from
   @fontsource/inter 5.3.0 and @fontsource/jetbrains-mono 5.3.0, SIL OFL 1.1
   (see OFL-*.txt). Only the weights the pages use; the browser downloads a
   face only when a page actually renders text in it. */
@font-face { font-family: "Inter"; font-style: normal; font-weight: 400; font-display: swap; src: url(inter-latin-400.woff2) format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 500; font-display: swap; src: url(inter-latin-500.woff2) format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 600; font-display: swap; src: url(inter-latin-600.woff2) format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 700; font-display: swap; src: url(inter-latin-700.woff2) format("woff2"); }
@font-face { font-family: "Inter"; font-style: normal; font-weight: 800; font-display: swap; src: url(inter-latin-800.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 400; font-display: swap; src: url(jetbrains-mono-latin-400.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 500; font-display: swap; src: url(jetbrains-mono-latin-500.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 700; font-display: swap; src: url(jetbrains-mono-latin-700.woff2) format("woff2"); }
@font-face { font-family: "JetBrains Mono"; font-style: normal; font-weight: 800; font-display: swap; src: url(jetbrains-mono-latin-800.woff2) format("woff2"); }