@font-face{font-family:'Archivo';font-style:normal;font-weight:700 900;font-stretch:112% 122%;font-display:swap;src:url(fonts/archivo.woff2) format('woff2');}
@font-face{font-family:'Instrument Sans';font-style:normal;font-weight:400 700;font-display:swap;src:url(fonts/instrument.woff2) format('woff2');}
@font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 700;font-display:swap;src:url(fonts/jbmono.woff2) format('woff2');}