/*
  The site's typefaces, served from the Designless font mirror.

  These used to come from fonts.googleapis.com, which hands every visitor's
  address to Google before the page has asked them anything (LG Muenchen I,
  3 O 17493/20). The mirror serves the same Google Fonts files from our own
  CDN, so a page view reaches nobody but us.

  Variable files carry a weight range, declared here as the font's real
  wght axis so the browser never synthesises a weight the file already has.
  IBM Plex Mono has no variable file, so each weight the pages use is its own
  face. A face costs nothing until an element uses it: listing a family here
  does not download it.

  ONE DIFFERENCE FROM GOOGLE'S FILES, AND THE RULE THAT CANCELS IT. Asked for
  Inter by weight, Google serves a copy with only the weight axis: optical
  size is fixed at the font's default, 14. The mirror keeps the full variable
  file, whose optical size runs 14 to 32, and browsers set optical size from
  the font size by default, so every heading drew Inter's display cut and the
  pages no longer looked like themselves (2 to 3 percent of pixels on a
  1440 wide view). With optical sizing off, a variable font sits at its
  default, which is the instance Google served. DM Sans carries the same axis
  and is settled the same way.
*/

:root {
  font-optical-sizing: none;
}

@font-face {
  font-family: "Space Grotesk";
  src: url("https://cdn.designless.app/fonts/google/space-grotesk/variable-normal.woff2") format("woff2");
  font-weight: 300 700;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Inter";
  src: url("https://cdn.designless.app/fonts/google/inter/variable-normal.woff2") format("woff2");
  font-weight: 100 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("https://cdn.designless.app/fonts/google/ibm-plex-mono/400-normal.woff2") format("woff2");
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("https://cdn.designless.app/fonts/google/ibm-plex-mono/500-normal.woff2") format("woff2");
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "IBM Plex Mono";
  src: url("https://cdn.designless.app/fonts/google/ibm-plex-mono/600-normal.woff2") format("woff2");
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}

/*
  700 is used once, by the line above the home page's hero. The home page
  never asked Google for it, so the browser faked a bold from 500; this is the
  real cut the page was written for.
*/
@font-face {
  font-family: "IBM Plex Mono";
  src: url("https://cdn.designless.app/fonts/google/ibm-plex-mono/700-normal.woff2") format("woff2");
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}

/* The brand-demo widget on the home page previews other brands' typefaces. */

@font-face {
  font-family: "Playfair Display";
  src: url("https://cdn.designless.app/fonts/google/playfair-display/variable-normal.woff2") format("woff2");
  font-weight: 400 900;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Nunito";
  src: url("https://cdn.designless.app/fonts/google/nunito/variable-normal.woff2") format("woff2");
  font-weight: 200 1000;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "DM Sans";
  src: url("https://cdn.designless.app/fonts/google/dm-sans/variable-normal.woff2") format("woff2");
  font-weight: 100 1000;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: url("https://cdn.designless.app/fonts/google/jetbrains-mono/variable-normal.woff2") format("woff2");
  font-weight: 100 800;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: "Source Sans 3";
  src: url("https://cdn.designless.app/fonts/google/source-sans-3/variable-normal.woff2") format("woff2");
  font-weight: 200 900;
  font-style: normal;
  font-display: swap;
}