/* Tipografía del panel (Public Sans, licencia libre OFL), alojada en el propio sitio (v126):
   antes se pedía a Google en cada visita. Ahora el panel no le pide nada a nadie para verse. */
@font-face{
  font-family:"Public Sans";
  font-style:normal;
  font-display:swap;
  font-weight:100 900;
  src:url("/fuentes/public-sans.woff2") format("woff2-variations"), url("/fuentes/public-sans.woff2") format("woff2");
}