/*
 * The public docs' type, served from this origin (latin subsets of Inter, Space Grotesk and JetBrains Mono, SIL Open Font License 1.1, from Google
 * Fonts). "optional" with the preloads in app/modules/docs/layout/fonts.ts: the first paint already uses these fonts, or keeps the fallback for
 * that page view; text never swaps fonts and reflows after it is on screen.
 */
@font-face {
  font-family: "Inter";
  font-style: normal;
  font-weight: 400 700;
  font-display: optional;
  src: url("/fonts/docs/inter-latin.woff2") format("woff2");
}
@font-face {
  font-family: "Space Grotesk";
  font-style: normal;
  font-weight: 500 700;
  font-display: optional;
  src: url("/fonts/docs/space-grotesk-latin.woff2") format("woff2");
}
@font-face {
  font-family: "JetBrains Mono";
  font-style: normal;
  font-weight: 400 500;
  font-display: optional;
  src: url("/fonts/docs/jetbrains-mono-latin.woff2") format("woff2");
}