/* WOFF2 fonts — ~70% smaller than the previous TTF set.
   Brotli-encoded internally by the format, so nginx gzip on top is
   negligible. font-display:swap preserves first-paint while the file
   downloads. */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/static/fonts/2fecfab879de.0352c04b013b.woff2") format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: swap;
  src: url("/static/fonts/39a6e567e6fc.6bf627e6b612.woff2") format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/static/fonts/284ea4d97a65.c29735cef5cc.woff2") format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 800;
  font-display: swap;
  src: url("/static/fonts/6201ab010846.0d16cfe85b5d.woff2") format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("/static/fonts/ef66fbb10a68.90f0994ca430.woff2") format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/static/fonts/7be4b88585a3.b4fd40f6111a.woff2") format('woff2');
}
@font-face {
  font-family: 'Orbitron';
  font-style: normal;
  font-weight: 700;
  font-display: swap;
  src: url("/static/fonts/2b2967cd9539.66c6f9a6822d.woff2") format('woff2');
}
@font-face {
  font-family: 'Orbitron';
  font-style: normal;
  font-weight: 800;
  font-display: swap;
  src: url("/static/fonts/99a97e1f5036.7bacb4bdd40f.woff2") format('woff2');
}
@font-face {
  font-family: 'Orbitron';
  font-style: normal;
  font-weight: 900;
  font-display: swap;
  src: url("/static/fonts/0a15eb5e6d87.3327e5244349.woff2") format('woff2');
}