/* Fonts, served from our own server (2026-10-31) — every app and the website
   (/fonts/fonts.css). The app type scale is in type.css, which the website
   does not use (its headings are its own).
   Before: Inter came from Google Fonts with display=swap, so every page first
   painted in the system font and visibly jumped to Inter (and each visit told
   Google). Now: Inter (variable, weights 100–900) from /fonts, preloaded in
   the app's <head>, and until it arrives a local font sized to Inter's metrics
   stands in, so the swap does not move anything. Metrics: Inter vs Arial —
   the same values as the website (platform/portal/public/css/portal.css).
   Licences: SIL Open Font License 1.1 (fonts/LICENSE-*.txt). */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;   /* type-ok: the weights the font file contains, not a style */
  font-display: swap;
  src: url('./inter-latin-wght-normal.woff2') format('woff2-variations');
  unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;   /* type-ok: the weights the font file contains, not a style */
  font-display: swap;
  src: url('./inter-latin-ext-wght-normal.woff2') format('woff2-variations');
  unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF;
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 100 900;   /* type-ok: the weights the font file contains, not a style */
  font-display: swap;
  src: url('./inter-greek-wght-normal.woff2') format('woff2-variations');
  unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF;
}
@font-face {
  font-family: 'Inter Fallback';
  src: local('Arial');
  ascent-override: 90.49%;
  descent-override: 22.56%;
  line-gap-override: 0%;
  size-adjust: 107.06%;
}
@font-face {
  font-family: 'DM Serif Display';   /* type-ok: the font file's name */
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('./dm-serif-display-latin-400-normal.woff2') format('woff2');
}