/* DejaVu fonts (Bitstream Vera derivative, free license), subset: Latin, Latin Extended-A, punctuation, arrows */
@font-face{font-family:'DejaVu Serif';font-style:normal;font-weight:400;font-display:swap;src:url(DejaVuSerif-subset.woff2) format('woff2')}
@font-face{font-family:'DejaVu Sans';font-style:normal;font-weight:400;font-display:swap;src:url(DejaVuSans-subset.woff2) format('woff2')}
@font-face{font-family:'DejaVu Sans';font-style:normal;font-weight:700;font-display:swap;src:url(DejaVuSans-Bold-subset.woff2) format('woff2')}