/* IntechPro webfonts — Google Fonts substitutes.
   NOTE: no brand font files were provided. Editorial serif = Source Serif 4,
   UI/body sans = IBM Plex Sans, mono = IBM Plex Mono. Swap when brand files arrive. */
@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500;600;700&family=Source+Serif+4:opsz,wght@8..60,400;8..60,500;8..60,600;8..60,700&display=swap');