/* Fonts are served with the app (latin subset, variable where possible), so it works offline and under
   cross-origin isolation. Sources: @fontsource-variable/inter, @fontsource/ibm-plex-mono, @fontsource-variable/archivo (OFL). */
@font-face {
  font-family: Inter;
  font-style: normal;
  font-display: swap;
  font-weight: 100 900;
  src:
    url(../fonts/inter.woff2) format('woff2-variations'),
    url(../fonts/inter.woff2) format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-display: swap;
  font-weight: 400;
  src: url(../fonts/ibm-plex-mono-400.woff2) format('woff2');
}
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-display: swap;
  font-weight: 500;
  src: url(../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(../fonts/ibm-plex-mono-600.woff2) format('woff2');
}
@font-face {
  font-family: Archivo;
  font-style: normal;
  font-display: swap;
  font-weight: 100 900;
  font-stretch: 62% 125%;
  src:
    url(../fonts/archivo-wdth.woff2) format('woff2-variations'),
    url(../fonts/archivo-wdth.woff2) format('woff2');
}