/* Sora (display), IBM Plex Sans (body), IBM Plex Mono (labels, numerals). Served from Google Fonts, as the live pages load them. */
@import url('https://fonts.googleapis.com/css2?family=Sora:wght@400;500;600&family=IBM+Plex+Sans:wght@400;500;600&family=IBM+Plex+Mono:wght@400;500&display=swap');