/**
 * The landing page's webfaces — the same three families the app uses, from the
 * same files: scripts/copy-assets.mjs copies them out of public/fonts/ into
 * landing/fonts/, which is gitignored. The landing site is deployed on its own
 * origin, so it carries its own copy rather than reaching into the app's.
 *
 * PRIVACY: these are @font-face rules over local files, not <link>s to
 * fonts.googleapis.com, for exactly the reason src/fonts.css gives: the app's
 * Terms & Privacy page promises the visitor that nothing is sent to a third
 * party, and a webfont request sends their IP, User-Agent and Referer. The
 * landing page makes the same promise in its own copy, so it keeps it too.
 *
 * Latin subset only. IBM Plex Sans and Space Grotesk are variable fonts, so
 * one file legitimately serves a range of weights; IBM Plex Mono is not, and
 * takes one file per weight.
 */

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

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

/* Unlike the other two families, IBM Plex Mono is not variable: Google serves
   it as one static file per weight, which is why landing/fonts/ holds three of
   them. A range here would hand 600 the Medium outlines. */
@font-face {
  font-family: 'IBM Plex Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url(fonts/IBMPlexMono-500-latin.woff2) format('woff2');
}

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

@font-face {
  font-family: 'Space Grotesk';
  font-style: normal;
  font-weight: 500 700;
  font-display: swap;
  src: url(fonts/SpaceGrotesk-500-latin.woff2) format('woff2');
}