/**
 * Minified by jsDelivr using clean-css v5.3.3.
 * Original file: /gh/dginev/ar5iv-css@0.8.4/css/ar5iv-fonts.css
 *
 * Do NOT use SRI with dynamically generated files! More information: https://www.jsdelivr.com/using-sri-with-dynamic-files
 */
@import url(https://fonts.googleapis.com/css2?family=Noto+Sans+Mono:wght@400..700);@import url(https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,400..700;1,400..700);@import url(https://fonts.googleapis.com/css2?family=Noto+Serif:ital,wght@0,400..700;1,400..700);@import url(https://fonts.cdnfonts.com/css/latin-modern-math);@font-face{font-display:fallback;font-family:"Noto Sans Mono Fallback";font-style:normal;font-weight:700;src:local("Noto Sans Mono Bold"),local("NotoSansMono-Bold")}@font-face{font-display:fallback;font-family:"Noto Sans Mono Fallback";font-style:normal;src:local("Noto Sans Mono"),local("NotoSansMono-Regular")}@font-face{font-display:fallback;font-family:"Noto Sans Fallback";font-weight:700;font-style:italic;src:local("Noto Sans Bold Italic"),local("NotoSans-BoldItalic")}@font-face{font-display:fallback;font-family:"Noto Sans Fallback";font-style:normal;font-weight:700;src:local("Noto Sans Bold"),local("NotoSans-Bold")}@font-face{font-display:fallback;font-family:"Noto Sans Fallback";font-style:italic;src:local("Noto Sans Italic"),local("NotoSans-Italic")}@font-face{font-display:fallback;font-family:"Noto Sans Fallback";font-style:normal;src:local("Noto Sans"),local("NotoSans-Regular")}@font-face{font-display:fallback;font-family:"Noto Serif Fallback";font-weight:700;font-style:italic;src:local("Noto Serif Bold Italic"),local("NotoSerif-BoldItalic")}@font-face{font-display:fallback;font-family:"Noto Serif Fallback";font-style:normal;font-weight:700;src:local("Noto Serif Bold"),local("NotoSerif-Bold")}@font-face{font-display:fallback;font-family:"Noto Serif Fallback";font-style:italic;src:local("Noto Serif Italic"),local("NotoSerif-Italic")}@font-face{font-display:fallback;font-family:"Noto Serif Fallback";font-style:normal;src:local("Noto Serif"),local("NotoSerif-Regular")}
/*# sourceMappingURL=/sm/526624a08df96e191a362c4a279eeccdb7fe7c3c63dd24a769461b8b9c157336.map */