/* Self-hosted webfonts, subset to the characters this site uses.
 *
 * Loading these from fonts.googleapis.com cost two extra DNS lookups, two TLS
 * handshakes and a render-blocking stylesheet from a server that may not be in
 * India — all on the critical path, all feeding Largest Contentful Paint.
 *
 * Google's own woff2 files split latin from latin-ext, and the rupee sign is in
 * latin-ext: 84 KB per face for one glyph. These are cut from the full TTF to
 * exactly what the copy contains instead, ₹ included.
 *
 * Regenerate with: python3 tools/getfonts.py
 */

@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('inter-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('inter-500.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('inter-600.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('jetbrains-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('jetbrains-mono-500.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url('space-grotesk-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url('space-grotesk-500.woff2') format('woff2');
}
@font-face {
  font-family: 'Space Grotesk';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url('space-grotesk-600.woff2') format('woff2');
}