/* Self-hosted faces.
 *
 * These used to come from fonts.googleapis.com, which cost three things:
 * a render-blocking stylesheet on a third-party origin before a single
 * character could be painted, a second DNS and TLS handshake to
 * fonts.gstatic.com, and a disclosure on the privacy page that every
 * visitor's IP address reaches Google whether or not they ever ask us
 * anything. A site that sells an audit of what a page depends on should not
 * need a paragraph explaining its own dependency.
 *
 * Latin only. Every word on this site is English, and latin-ext, cyrillic,
 * greek and vietnamese are weight nobody here renders.
 *
 * Instrument Sans and JetBrains Mono are variable fonts, so one file serves
 * the whole weight range: Google returns the identical woff2 for each named
 * weight, and shipping four copies of the same 30 KB was the first thing
 * this file got wrong.
 *
 * font-display: swap keeps text painted in the fallback rather than
 * invisible while a face loads. The fallbacks are chosen as near neighbours
 * so the swap is a change of texture, not of layout.
 */

/* Manrope carries the site from D80. It is the display and the body face
   both: Ember's headline weight is 800, which Instrument Sans does not have,
   and running one family across both roles is what makes a 22px h3 and a
   12px caption read as the same voice.

   Variable, latin only, 24.8 KB. Fetched from Google's CDN once and
   committed, for the reason the comment above this file gives: a face
   served from fonts.gstatic.com puts every visitor's IP in front of Google
   and costs a paragraph on the privacy page. */
@font-face {
  font-family: "Manrope";
  font-style: normal;
  font-weight: 200 800;
  font-display: swap;
  src: url("/fonts/manrope-var.woff2") format("woff2");
}

@font-face {
  font-family: "Instrument Sans";
  font-style: normal;
  font-weight: 400 700;
  font-stretch: 100%;
  font-display: swap;
  src: url("/fonts/instrument-sans-var.woff2") format("woff2");
}

@font-face {
  font-family: "Instrument Serif";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/fonts/instrument-serif-400.woff2") format("woff2");
}

@font-face {
  font-family: "Instrument Serif";
  font-style: italic;
  font-weight: 400;
  font-display: swap;
  src: url("/fonts/instrument-serif-400-italic.woff2") format("woff2");
}

@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 500;
  font-display: swap;
  src: url("/fonts/jetbrains-mono-var.woff2") format("woff2");
}