/*
  IBM Plex Sans + IBM Plex Mono — self-hosted webfonts.

  IBM Plex is licensed under the SIL Open Font License 1.1 (OFL) — see
  static/fonts/ibm-plex/OFL.txt. Files are the official Google Fonts latin
  subsets (static/fonts/ibm-plex/) and are safe to commit/serve.

  Product decision 2026-09-08: ADA interface uses IBM Plex Sans (weights
  400/500/600/700). IBM Plex Mono (400/500) is reserved for formulas,
  identifiers and numeric diagnostics only.
*/
@font-face {
  font-family: 'IBM Plex Sans';
  src: url('../fonts/ibm-plex/IBMPlexSans-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Sans';
  src: url('../fonts/ibm-plex/IBMPlexSans-Medium.woff2') format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Sans';
  src: url('../fonts/ibm-plex/IBMPlexSans-SemiBold.woff2') format('woff2');
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Sans';
  src: url('../fonts/ibm-plex/IBMPlexSans-Bold.woff2') format('woff2');
  font-weight: 700;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Mono';
  src: url('../fonts/ibm-plex/IBMPlexMono-Regular.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Mono';
  src: url('../fonts/ibm-plex/IBMPlexMono-Medium.woff2') format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}