/* Fonts.
 *
 * By default this pulls Space Grotesk / Manrope / JetBrains Mono from Google
 * Fonts, which means every page load touches a third-party server. For a
 * self-hosted private deployment that is a leak you probably do not want, so
 * `python3 tools/fetch_vendor.py --fonts` downloads the woff2 files into
 * client/assets/fonts/ and rewrites this file to serve them locally.
 *
 * If neither is available the app falls back to the system stack declared in
 * app.css and still looks correct, just less distinctive.
 */
@import url('https://fonts.googleapis.com/css2?family=Manrope:wght@400;500;600;700;800&family=Space+Grotesk:wght@500;600;700&family=JetBrains+Mono:wght@400;500;700&display=swap');