/* Copias locales de las fuentes de la interfaz (Poppins y Material Symbols
   Rounded, las mismas que sirve fonts.app.livriz.com). Se declaran después de
   colors_and_type.css: con la misma familia y peso gana la última declarada, así
   el editor no depende de la red para sus íconos ni su tipografía. */
@font-face { font-family: 'Poppins'; font-style: normal; font-weight: 300; font-display: swap; src: url(fuentes/Poppins-Light.ttf) format('truetype'); }
@font-face { font-family: 'Poppins'; font-style: normal; font-weight: 400; font-display: swap; src: url(fuentes/Poppins-Regular.ttf) format('truetype'); }
@font-face { font-family: 'Poppins'; font-style: normal; font-weight: 500; font-display: swap; src: url(fuentes/Poppins-Medium.ttf) format('truetype'); }
@font-face { font-family: 'Poppins'; font-style: normal; font-weight: 600; font-display: swap; src: url(fuentes/Poppins-SemiBold.ttf) format('truetype'); }
@font-face { font-family: 'Poppins'; font-style: normal; font-weight: 700; font-display: swap; src: url(fuentes/Poppins-Bold.ttf) format('truetype'); }
@font-face { font-family: 'Material Symbols Rounded'; font-style: normal; font-weight: 400; font-display: block; src: url(fuentes/material-symbols-rounded.woff2) format('woff2'); }
@font-face { font-family: 'JetBrains Mono'; font-style: normal; font-weight: 400 600; font-display: swap; src: url(fuentes/jetbrains-mono-latin.woff2) format('woff2'); }