@font-face{font-family:"Source Sans 3";src:url("/static/fonts/sourcesans3-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Source Sans 3";src:url("/static/fonts/sourcesans3-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Sans";src:url("/static/fonts/notosans-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Sans";src:url("/static/fonts/notosans-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"STIX Two Text";src:url("/static/fonts/stixtwotext-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"STIX Two Text";src:url("/static/fonts/stixtwotext-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"STIX Two Math";src:url("/static/fonts/stixtwomath-regular.woff") format("woff");font-style:normal;font-weight:400;font-display:swap;}
@font-face{font-family:"Source Serif 4";src:url("/static/fonts/sourceserif4-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Source Serif 4";src:url("/static/fonts/sourceserif4-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Serif";src:url("/static/fonts/notoserif-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Serif";src:url("/static/fonts/notoserif-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Source Code Pro";src:url("/static/fonts/sourcecodepro-italic.woff") format("woff");font-style:italic;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Source Code Pro";src:url("/static/fonts/sourcecodepro-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Sans Mono";src:url("/static/fonts/notosansmono-regular.woff") format("woff");font-style:normal;font-weight:100 900;font-display:swap;}
@font-face{font-family:"Noto Color Emoji";src:url("/static/fonts/noto-emoji.woff") format("woff");font-display:swap;}
@font-face{font-family:"SauceCodePro NF";src:url("/static/fonts/saucecodepro.woff") format("woff");font-display:swap;}