/* Webfonts. Both families are served from Google Fonts (no licensed binaries were supplied
   with the brief - see readme.md "Font substitution"). Consumers get them through this import. */
@import url("https://fonts.googleapis.com/css2?family=Instrument+Sans:ital,wght@0,400..700;1,400..700&family=Martian+Mono:wght@300;400;500;700&display=swap");
:root{
  --font-core:"Instrument Sans","Helvetica Neue",Arial,sans-serif;
  --font-technical:"Martian Mono","IBM Plex Mono",ui-monospace,monospace;
  --font-display:var(--font-core);
  --font-body:var(--font-core);
  --font-mono:var(--font-technical);
}