/* Self-hosted fonts. No third-party CDN: no visitor IP leaves the site for typography. */
@font-face {
  font-family: 'Michroma';
  src: url('/fonts/michroma.woff2') format('woff2');
  font-weight: 400; font-style: normal; font-display: swap;
}
@font-face {
  font-family: 'Hanken Grotesk';
  src: url('/fonts/hanken-grotesk.woff2') format('woff2-variations');
  font-weight: 100 900; font-style: normal; font-display: swap;
}
@font-face {
  font-family: 'JetBrains Mono';
  src: url('/fonts/jetbrains-mono.woff2') format('woff2-variations');
  font-weight: 100 800; font-style: normal; font-display: swap;
}