/* Inter — texto de leitura e interface */
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 400;
  font-display: optional;
  src: url('fonts/inter-400.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 500;
  font-display: optional;
  src: url('fonts/inter-500.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 600;
  font-display: optional;
  src: url('fonts/inter-600.woff2') format('woff2');
}
@font-face {
  font-family: 'Inter';
  font-style: normal;
  font-weight: 700;
  font-display: optional;
  src: url('fonts/inter-700.woff2') format('woff2');
}

/* JetBrains Mono - Local */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 300;
  font-display: optional;
  src: url('fonts/jetbrains-mono-300.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 400;
  font-display: optional;
  src: url('fonts/jetbrains-mono-400.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 500;
  font-display: optional;
  src: url('fonts/jetbrains-mono-500.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 600;
  font-display: optional;
  src: url('fonts/jetbrains-mono-600.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 700;
  font-display: optional;
  src: url('fonts/jetbrains-mono-700.woff2') format('woff2');
}


/* Desenho de caixa, setas e formas geométricas.
   Os subsets latinos acima não contêm esses glifos, e a monospace padrão do
   Android também não — o navegador então buscava cada um numa família
   diferente, com métrica diferente, e o ASCII art dos artigos desalinhava.
   O unicode-range faz este arquivo ser baixado só nas páginas que usam
   diagramas, e font-weight 100 900 cobre qualquer peso. */
@font-face {
  font-family: 'JetBrains Mono';
  font-style: normal;
  font-weight: 100 900;
  font-display: optional;
  src: url('fonts/jetbrains-mono-boxes.woff2') format('woff2');
  unicode-range: U+2022, U+2190-2193, U+2261, U+2302, U+2500-25FF, U+2713, U+2717;
}

/* Ícones Nerd Font (Symbols Mono). Só a faixa privada dos símbolos: o
   unicode-range impede que ela interfira em qualquer texto normal. */
@font-face {
  font-family: 'NF';
  font-style: normal;
  font-weight: 400;
  font-display: block;
  src: url('fonts/nerd-symbols.woff2') format('woff2');
  unicode-range: U+E000-F8FF, U+F0000-FFFFD;
}