/*
 * Las fuentes del sitio, servidas desde acá mismo: las mismas de la app,
 * recortadas al español. Antes venían de Google Fonts, y abrir el sitio le
 * mandaba la IP a Google. Se arman con scripts/sitio-sin-terceros.py.
 */
@font-face {
  font-family: 'DM Serif Display'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('/fuentes/dm-serif-display.woff2') format('woff2');
}
@font-face {
  font-family: 'Fraunces'; font-style: normal; font-weight: 400;
  font-display: swap; src: url('/fuentes/fraunces.woff2') format('woff2');
}
@font-face {
  font-family: 'Fraunces'; font-style: italic; font-weight: 400;
  font-display: swap; src: url('/fuentes/fraunces-italica.woff2') format('woff2');
}
/* una sola, la 500: cualquier peso que se pida usa esta */
@font-face {
  font-family: 'JetBrains Mono'; font-style: normal; font-weight: 100 900;
  font-display: swap; src: url('/fuentes/jetbrains-mono.woff2') format('woff2');
}