/* Webfonts — all three families are Google Fonts, loaded from the Google CDN.
   No font binaries exist in the source repository (static/fonts/ holds only
   DejaVu Sans, used server-side for PDF generation), so consumers get the CDN. */
@import url('https://fonts.googleapis.com/css2?family=DM+Serif+Display:ital@0;1&family=Manrope:wght@400;500;600;700;800&family=JetBrains+Mono:wght@400;500;700&display=swap');