/* Fontes da página, guardadas junto dela (sem depender do Google Fonts).
   Carregadas sem travar a primeira pintura; enquanto não chegam, a página usa as
   "Reserva" (main.css), que ocupam o mesmo espaço — por isso nada pula. */
@font-face {
  font-family: 'Anton';
  src: url('../fonts/anton.woff2') format('woff2');
  font-weight: 400;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'Work Sans';
  src: url('../fonts/work-sans.woff2') format('woff2');
  font-weight: 400 800;
  font-style: normal;
  font-display: swap;
}
@font-face {
  font-family: 'IBM Plex Mono';
  src: url('../fonts/ibm-plex-mono-600.woff2') format('woff2');
  font-weight: 500 600;
  font-style: normal;
  font-display: swap;
}