/* Webfonts are loaded from Google Fonts. No brand font binaries were provided —
   these are substitutions chosen for Sanskrit-first typesetting. See readme.md. */
@import url("https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;1,400&family=Tiro+Devanagari+Sanskrit:ital@0;1&family=Work+Sans:wght@400;500;600&family=IBM+Plex+Mono:wght@400;500&display=swap");