/* IBM Plex, self-hosted later. No third-party font calls.
   For now local() picks up an installed Plex and the stacks in tokens.css fall back to system fonts.
   To finish: copy IBM Plex Sans 300/400/400 italic/500/600 and Plex Mono 400/500 woff2 (SIL OFL)
   into /fonts/ and append , url("/fonts/<File>.woff2") format("woff2") to each src. */
@font-face { font-family: "IBM Plex Sans"; font-weight: 300; font-style: normal; font-display: swap;
  src: local("IBM Plex Sans Light"), local("IBMPlexSans-Light"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 400; font-style: normal; font-display: swap;
  src: local("IBM Plex Sans"), local("IBMPlexSans"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 400; font-style: italic; font-display: swap;
  src: local("IBM Plex Sans Italic"), local("IBMPlexSans-Italic"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 500; font-style: normal; font-display: swap;
  src: local("IBM Plex Sans Medium"), local("IBMPlexSans-Medium"); }
@font-face { font-family: "IBM Plex Sans"; font-weight: 600; font-style: normal; font-display: swap;
  src: local("IBM Plex Sans SemiBold"), local("IBMPlexSans-SemiBold"); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 400; font-style: normal; font-display: swap;
  src: local("IBM Plex Mono"), local("IBMPlexMono"); }
@font-face { font-family: "IBM Plex Mono"; font-weight: 500; font-style: normal; font-display: swap;
  src: local("IBM Plex Mono Medium"), local("IBMPlexMono-Medium"); }