/* ============================================================
   fonts.css — the two faces, served from our own origin.
   The app embeds them; a console that fetches them from a CDN falls back to a
   system face on a restricted airline network, which is exactly where staff are.
   ============================================================ */

@font-face {
  font-family: "Inter";
  font-weight: 400;
  font-style: normal;
  font-display: swap;
  src: url("/fonts/inter-400.ttf") format("truetype");
}
@font-face {
  font-family: "Inter";
  font-weight: 600;
  font-style: normal;
  font-display: swap;
  src: url("/fonts/inter-600.ttf") format("truetype");
}
@font-face {
  font-family: "Inter";
  font-weight: 700;
  font-style: normal;
  font-display: swap;
  src: url("/fonts/inter-700.ttf") format("truetype");
}
/* One mono weight: the console only ever sets 500 or 700 on figures, and 700 is
   synthesised acceptably. A second file is 270 KB for a bold that rarely appears. */
@font-face {
  font-family: "JetBrains Mono";
  font-weight: 500 700;
  font-style: normal;
  font-display: swap;
  src: url("/fonts/jetbrains-mono-500.ttf") format("truetype");
}