/* Offline font aliases to avoid network calls to Google Fonts. */
@font-face {
  font-family: "Inter";
  src: local("Inter"), local("Segoe UI"), local("Arial");
  font-display: swap;
}

@font-face {
  font-family: "Manrope";
  src: local("Manrope"), local("Segoe UI"), local("Arial");
  font-display: swap;
}

@font-face {
  font-family: "Space Grotesk";
  src: local("Space Grotesk"), local("Segoe UI"), local("Arial");
  font-display: swap;
}

@font-face {
  font-family: "JetBrains Mono";
  src: local("JetBrains Mono"), local("Cascadia Mono"), local("Consolas");
  font-display: swap;
}