/* Webfonts are served from Google Fonts — no binaries are vendored in this system.
   Inter Tight (display + UI) and JetBrains Mono (metadata, numerals). */
@import url("https://fonts.googleapis.com/css2?family=Inter+Tight:wght@400;500;600;700;800&family=JetBrains+Mono:wght@400;500&display=swap");