/* Inter — pulled from Google Fonts.
   The tools.css :root specifies "Inter, ui-sans-serif, system-ui, …".
   No webfont @font-face is shipped with the codebase, so we substitute with
   the official Google Fonts CDN copy at the standard weights used (400/500/
   600/700/800/900). If you have an in-house woff2, swap this file. */
@import url('https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700;800;900&display=swap');
