/* ============================================================================
   Fontes das edições de atualizações (Public Sans + JetBrains Mono).

   Existem porque as edições pediam essas famílias ao Google Fonts, e a CSP do
   site é `default-src 'self'` com `font-src 'self' data:` — ou seja, a folha
   do fonts.googleapis.com e os arquivos do fonts.gstatic.com eram bloqueados
   e as páginas caíam para a fonte do sistema em produção, sem avisar ninguém.
   Servidas do próprio domínio, elas voltam a carregar — e sem requisição a
   terceiros.

   Tipografia diferente do resto do site de propósito: as edições nasceram no
   gerador de documentação de cliente, que usa Public Sans + JetBrains Mono.
   ========================================================================== */
@font-face {
  font-family: 'Public Sans'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('../fonts/ps400.woff2') format('woff2');
}
@font-face {
  font-family: 'Public Sans'; font-style: normal; font-weight: 500;
  font-display: swap; src: url('../fonts/ps500.woff2') format('woff2');
}
@font-face {
  font-family: 'Public Sans'; font-style: normal; font-weight: 700;
  font-display: swap; src: url('../fonts/ps700.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('../fonts/jbm400.woff2') format('woff2');
}
@font-face {
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 500;
  font-display: swap; src: url('../fonts/jbm500.woff2') format('woff2');
}