/* As três fontes da marca, num lugar só.
   ---------------------------------------------------------------------------
   A crítica de 22/08/2026 achou o mesmo defeito em OITO das dez páginas de
   ferramentas: elas escrevem `font-family:"Space Grotesk"` e
   `font-family:"JetBrains Mono"` em dezenas de regras, e nenhuma carregava as
   fontes. Todo título, a marca, os números do telão, o cronômetro e o eixo do
   gráfico caíam para `system-ui`.

   Não era só estética: as métricas de `system-ui` são outras, e é sobre elas que
   os `min-height`, os `ch` de largura e o alinhamento dos números foram
   ajustados. A tipografia errada desalinha o que foi medido com a certa.

   Cada página repetia (ou esquecia) as três linhas do Google Fonts. Uma folha
   resolve: importar aqui vale para todas, e a próxima página nasce certa com um
   `<link>` só.

   `display=swap` é deliberado: o texto aparece na hora, na fonte de sistema, e
   troca quando a da marca chega. O contrário, bloquear a pintura até a fonte
   carregar, é pior num produto usado ao vivo, com projetor e rede de escritório.

   PISO DE 12px: as fontes vêm nos pesos que o design system usa e em nenhum a
   mais. Peso que ninguém escreve é download que ninguém precisa. */
@import url('https://fonts.googleapis.com/css2?family=Space+Grotesk:wght@500;700&family=Inter:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500;700&display=swap');