/*
 * The three families of the Paper & Ink system, self-hosted (copied from Eranos web/src/styles/fonts.css and web/public/fonts,
 * Nov 1): Agora's policy allows same-origin fonts only. Paths are relative to this file, so every page can use it.
 * Each file sits in web/public/fonts with its SIL Open Font License text.
 * - IBM Plex Sans (Reserved Font Name "Plex"): the unmodified variable font, losslessly repacked as WOFF2.
 * - Space Grotesk and JetBrains Mono (no reserved names): Latin subsets, so the unicode-range matches them.
 */
@font-face {
  font-family: "IBM Plex Sans";
  src: url("fonts/IBMPlexSans-wdth-wght.woff2") format("woff2");
  font-weight: 100 700;
  font-stretch: 75% 100%;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Space Grotesk";
  src: url("fonts/SpaceGrotesk-wght.woff2") format("woff2");
  font-weight: 300 700;
  font-style: normal;
  font-display: swap;
  unicode-range: U+0000-017F, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074,
    U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2713, U+FEFF, U+FFFD;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("fonts/JetBrainsMono-wght.woff2") format("woff2");
  font-weight: 100 800;
  font-style: normal;
  font-display: swap;
  unicode-range: U+0000-017F, U+0131, U+0152-0153, U+02BB-02BC, U+02C6, U+02DA, U+02DC, U+2000-206F, U+2074,
    U+20AC, U+2122, U+2190-2199, U+2212, U+2215, U+2713, U+FEFF, U+FFFD;
}