/* Self-hosted fonts (D10) — woff2 only, served from /public/fonts/. No CDN. */
@font-face {
  font-family: 'General Sans';
  src: url("/fonts/general-sans-400.woff2") format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'General Sans';
  src: url("/fonts/general-sans-500.woff2") format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'General Sans';
  src: url("/fonts/general-sans-600.woff2") format('woff2');
  font-weight: 600;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'JetBrains Mono';
  src: url("/fonts/jetbrains-mono-400.woff2") format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}

@font-face {
  font-family: 'JetBrains Mono';
  src: url("/fonts/jetbrains-mono-500.woff2") format('woff2');
  font-weight: 500;
  font-style: normal;
  font-display: swap;
}