/* Nova webfonts — IBM Plex Sans, IBM Plex Mono, IBM Plex Sans Arabic (SIL Open Font
   Licence 1.1), self-hosted from lib/design/fonts. Served at /static/fonts.css with the
   woff2 files under /static/fonts/. Weights: sans 400/500/600, mono 400/500, arabic
   400/500/600 (DESIGN.md §1.2). No italics, no serif. */
@font-face { font-family: "IBM Plex Sans"; font-weight: 400; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-400.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 500; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-500.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 600; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-600.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 400; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-mono-400.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 500; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-mono-500.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Sans Arabic"; font-weight: 400; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-arabic-400.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Sans Arabic"; font-weight: 500; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-arabic-500.woff2') format('woff2'); }
@font-face { font-family: "IBM Plex Sans Arabic"; font-weight: 600; font-style: normal; font-display: swap; src: url('fonts/ibm-plex-sans-arabic-600.woff2') format('woff2'); }