@font-face{font-family:"CMU Serif";src:url(/fonts/cmu/cmu-serif-500-roman.woff2) format("woff2");font-weight:400;font-style:normal;font-display:swap}@font-face{font-family:"CMU Serif";src:url(/fonts/cmu/cmu-serif-500-italic.woff2) format("woff2");font-weight:400;font-style:italic;font-display:swap}@font-face{font-family:"CMU Serif";src:url(/fonts/cmu/cmu-serif-700-roman.woff2) format("woff2");font-weight:700;font-style:normal;font-display:swap}@font-face{font-family:"CMU Serif";src:url(/fonts/cmu/cmu-serif-700-italic.woff2) format("woff2");font-weight:700;font-style:italic;font-display:swap}:root{--font-tex:"CMU Serif",KaTeX_Main,Georgia,"Times New Roman",serif}