/* ══════════════════════════════════════════════════════
   FONTS.CSS — self-hosted webfonts (Space Mono, Space Grotesk, JetBrains Mono)
   Latin subset only. Used by: index.html, tools.html, tools/*.html
   ══════════════════════════════════════════════════════ */

@font-face {
  font-family: 'Space Mono';
  font-style: normal; font-weight: 400;
  font-display: swap;
  src: url('/asset/fonts/space-mono-regular.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Mono';
  font-style: normal; font-weight: 700;
  font-display: swap;
  src: url('/asset/fonts/space-mono-bold.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Mono';
  font-style: italic; font-weight: 400;
  font-display: swap;
  src: url('/asset/fonts/space-mono-italic.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Mono';
  font-style: italic; font-weight: 700;
  font-display: swap;
  src: url('/asset/fonts/space-mono-bold-italic.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal; font-weight: 300 700;
  font-display: swap;
  src: url('/asset/fonts/space-grotesk.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal; font-weight: 400 700;
  font-display: swap;
  src: url('/asset/fonts/jetbrains-mono.woff2') format('woff2');
}