@import url("https://fonts.googleapis.com/css2?family=Manrope:wght@400;500;600;700;800&family=JetBrains+Mono:wght@400;500;700&display=swap");
/* Substitution note: no font binaries were supplied. Manrope (UI + numerals) and
   JetBrains Mono (tabular data) are Google Fonts stand-ins. See readme.md. */