@font-face{font-family:'Anton';src:url('anton.woff2') format('woff2');font-weight:400;font-style:normal;font-display:swap}
@font-face{font-family:'Manrope';src:url('manrope.ttf') format('truetype');font-weight:200 800;font-style:normal;font-display:swap}
@font-face{font-family:'DejaVu Sans Mono';src:url('dejavu-sans-mono.ttf') format('truetype');font-weight:400;font-style:normal;font-display:swap}