/* Fontes servidas pelo próprio site (antes: Google Fonts, uma conexão a mais).
   Conjunto latino, que cobre português e inglês. Inter, Space Grotesk e
   JetBrains Mono são variáveis: um arquivo cobre todos os pesos usados. */
@font-face{font-family:'Inter';font-style:normal;font-weight:400 800;font-display:swap;src:url('/fonts/inter.woff2') format('woff2')}
@font-face{font-family:'Space Grotesk';font-style:normal;font-weight:500 700;font-display:swap;src:url('/fonts/space-grotesk.woff2') format('woff2')}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 600;font-display:swap;src:url('/fonts/jetbrains-mono.woff2') format('woff2')}
@font-face{font-family:'Press Start 2P';font-style:normal;font-weight:400;font-display:swap;src:url('/fonts/press-start-2p.woff2') format('woff2')}