/* Pure @font-face vendoring, no design decisions here (those live in style.css). */

@font-face {
  font-family: "Inter";
  src: url("/shared/fonts/inter/InterVariable.woff2") format("woff2-variations");
  font-weight: 100 900;
  font-display: swap;
}

@font-face {
  font-family: "Frex Sans GB";
  src: url("/shared/fonts/cjk/frex-sans/FrexSansGB-Regular.woff2") format("woff2");
  font-weight: 400;
  font-display: swap;
}

@font-face {
  font-family: "Frex Sans GB";
  src: url("/shared/fonts/cjk/frex-sans/FrexSansGB-Bold.woff2") format("woff2");
  font-weight: 700;
  font-display: swap;
}

/* Pixel-accurate digitization of the Linux kernel's actual default console
   font (CONFIG_FONT_8x16 / "VGA8x16") — this is what an unconfigured Linux
   tty really renders, not a "terminal-style" lookalike. int10h.org Oldschool
   PC Font Pack, CC BY-SA 4.0. */
@font-face {
  font-family: "Web437 IBM VGA 8x16";
  src: url("/shared/fonts/tty/Web437_IBM_VGA_8x16.woff") format("woff");
  font-weight: 400;
  font-display: swap;
}