/**
 * Minified by jsDelivr using clean-css v5.3.2.
 * Original file: /gh/dginev/ar5iv-css@0.7.91/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://use.typekit.net/rlk7syr.css");
@font-face { /**/
 font-display:fallback;
 font-family:"noto-mono", sans-serif;
 font-style:normal;
 font-weight:700;
 src:local("Noto Sans Mono Bold"),
 local("NotoSansMono-Bold")
}
@font-face { /**/
 font-display:fallback;
 font-family:"noto-mono", sans-serif;
 font-weight: 400;
 font-style:normal;
 src:local("Noto Sans Mono"),
 local("NotoSansMono-Regular")
}
@font-face { /**/
 font-display:fallback;
 font-family: "noto-sans", sans-serif;
 font-weight:700;
 font-style:italic;
 src:local("Noto Sans Bold Italic"),
 local("NotoSans-BoldItalic")
}
@font-face { /**/
 font-display:fallback;
 font-family: "noto-sans", sans-serif;
 font-style:normal;
 font-weight:700;
 src:local("Noto Sans Bold"),
 local("NotoSans-Bold")
}
@font-face { /**/
 font-display:fallback;
 font-family: "noto-sans", sans-serif;
 font-weight: 400;
 font-style:italic;
 src:local("Noto Sans Italic"),
 local("NotoSans-Italic")
}
@font-face { /**/
 font-display:fallback;
 font-family: "noto-sans", sans-serif;
 font-weight: 400;
 font-style:normal;
 src:local("Noto Sans"),
 local("NotoSans-Regular")
}
@font-face { /**/
 font-display:fallback;
 font-family:"noto-serif", serif;
 font-weight:700;
 font-style:italic;
 src:local("Noto Serif Bold Italic"),
 local("NotoSerif-BoldItalic")
}
@font-face { /**/
 font-display:fallback;
 font-family:"noto-serif", serif;
 font-style:normal;
 font-weight:700;
 src:local("Noto Serif Bold"),
 local("NotoSerif-Bold")
}
@font-face { /**/
 font-display:fallback;
 font-family:"noto-serif";
 font-weight: 400;
 font-style:italic;
 src:local("Noto Serif Italic"),
 local("NotoSerif-Italic")
}
@font-face { /**/
 font-display:fallback;
 font-family:"noto-serif", serif;
 font-weight: 400;
 font-style:normal;
 src:local("Noto Serif"),
 local("NotoSerif-Regular")
}
@font-face { /**/
 font-family: "stix-two-math", serif;
 font-weight: 400;
 font-style: normal;
 src:local("STIX Two Math"),
 local("STIXTwoMath-Regular")
}