/* Webfonts — served from Google Fonts. No original font binaries were supplied with the
   brand, so these are substitutions (see readme.md > Typography). IBM Plex Mono = display,
   HUD and data; IBM Plex Sans = text/UI. */
@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&family=IBM+Plex+Sans:ital,wght@0,400;0,500;0,600;1,400&display=swap");