/* Las mismas fuentes que el PDF (recortes de tools/build-fuentes.sh). Sin ellas, la métrica cambia y el
   texto se sale de la hoja. DejaVu Sans va solo con los símbolos que a Noto Sans le faltan. */
@font-face { font-family: "Noto Sans"; font-weight: 400; font-style: normal; font-display: block; src: url("noto-sans-400.woff2") format("woff2"); }
@font-face { font-family: "Noto Sans"; font-weight: 700; font-style: normal; font-display: block; src: url("noto-sans-700.woff2") format("woff2"); }
@font-face { font-family: "Noto Sans"; font-weight: 900; font-style: normal; font-display: block; src: url("noto-sans-900.woff2") format("woff2"); }
@font-face { font-family: "DejaVu Sans"; font-weight: 400; font-style: normal; font-display: block; src: url("dejavu-simbolos-400.woff2") format("woff2");
  unicode-range: U+2190-2193, U+2212, U+2248, U+25A0, U+25B6, U+25C0, U+2713, U+2715; }
@font-face { font-family: "DejaVu Sans"; font-weight: 700 900; font-style: normal; font-display: block; src: url("dejavu-simbolos-700.woff2") format("woff2");
  unicode-range: U+2190-2193, U+2212, U+2248, U+25A0, U+25B6, U+25C0, U+2713, U+2715; }
@font-face { font-family: "DejaVu Sans Mono"; font-weight: 400; font-style: normal; font-display: block; src: url("dejavu-mono-400.woff2") format("woff2"); }