@font-face{font-family:DejaVu Sans;src:url(/fonts/dejavu-sans/dejavu-sans-extra-light.woff2)format("woff2");font-weight:100;font-style:normal;font-display:swap}@font-face{font-family:DejaVu Sans;src:url(/fonts/dejavu-sans/dejavu-sans-bold.woff2)format("woff2");font-weight:700;font-style:normal;font-display:swap}:root{--font-sans:"DejaVu Sans", ui-sans-serif, system-ui, sans-serif}