/* The fonts of the three styles, served by the app itself: without internet
   the page looks the same. Latin subset (Spanish and English), variable where
   the family has it. A browser downloads only the ones the page uses, so each
   style costs just its own. From Fontsource 5.3.0; SIL OFL 1.1, see
   vendor/fonts/OFL.txt. */

@font-face {
  font-family: "Space Grotesk";
  font-style: normal;
  font-display: swap;
  font-weight: 300 700;
  src: url("vendor/fonts/space-grotesk.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-display: swap;
  font-weight: 100 800;
  src: url("vendor/fonts/jetbrains-mono.woff2") format("woff2");
}

@font-face {
  font-family: "Inter";
  font-style: normal;
  font-display: swap;
  font-weight: 100 900;
  src: url("vendor/fonts/inter.woff2") format("woff2");
}

@font-face {
  font-family: "Source Serif 4";
  font-style: normal;
  font-display: swap;
  font-weight: 200 900;
  src: url("vendor/fonts/source-serif-4.woff2") format("woff2");
}

@font-face {
  font-family: "Source Sans 3";
  font-style: normal;
  font-display: swap;
  font-weight: 200 900;
  src: url("vendor/fonts/source-sans-3.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-display: swap;
  font-weight: 500;
  src: url("vendor/fonts/ibm-plex-mono-500.woff2") format("woff2");
}

@font-face {
  font-family: "IBM Plex Mono";
  font-style: normal;
  font-display: swap;
  font-weight: 600;
  src: url("vendor/fonts/ibm-plex-mono-600.woff2") format("woff2");
}