/* Self-hosted copy of the IBM Plex Sans font, the body/UI face used
   throughout the public marketing homepage (templates/marketing_home.html).
   Vendored the same way as ../manrope/manrope.css and for the same reason
   - see that file's comment, and mini.py's Content-Security-Policy comment
   ("issue register M1"), for why this app never links a font from
   fonts.googleapis.com/fonts.gstatic.com directly. Only the "latin"
   unicode subset is kept - one variable-weight woff2 file covers every
   weight the design actually uses (400/500/600/700). */
@font-face {
  font-family: 'IBM Plex Sans';
  font-style: normal;
  font-weight: 400 700;
  font-display: swap;
  src: url(ibm-plex-sans-latin.woff2) format('woff2');
}