/*
 * Self-hosted rather than linked from Google Fonts, for two reasons. The
 * Content-Security-Policy would have to be widened to allow a third-party
 * stylesheet host and font host, which is a real change to make for a
 * cosmetic feature. And it would put a request to Google on every
 * pageview, which sits badly next to a site that sets no advertising
 * cookies and tells visitors it does not track them across other sites.
 *
 * Archivo and IBM Plex are both SIL Open Font License, which permits
 * self-hosting. Latin subset only -- the full Google response carries 28
 * faces across cyrillic, greek, vietnamese and latin-ext, none of which
 * this site serves.
 *
 * Archivo and IBM Plex Sans are variable fonts: one file covers the whole
 * weight range, so the weights below are declared as ranges rather than
 * shipping the same bytes twice. IBM Plex Mono is not, and needs two.
 * Total: 4 files, about 110 KB.
 */

@font-face {
  font-family: 'Archivo';
  font-style: normal;
  font-weight: 600 700;
  font-display: swap;
  src: url('/static/fonts/Archivo-var.woff2') format('woff2');
}

@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 400 600;
  font-display: swap;
  src: url('/static/fonts/IBMPlexSans-var.woff2') format('woff2');
}

@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('/static/fonts/IBMPlexMono-400.woff2') format('woff2');
}

@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('/static/fonts/IBMPlexMono-500.woff2') format('woff2');
}