@font-face{font-family:dankmono;src:url(/static/fonts/DankMono-Regular.ttf)format("truetype");font-display:block;font-weight:400;font-style:normal}@font-face{font-family:dankmono;src:url(/static/fonts/DankMono-Italic.ttf)format("truetype");font-display:block;font-weight:400;font-style:italic}@font-face{font-family:digitech14;src:url(/static/fonts/digitech14.woff2)format("woff2");font-weight:400;font-style:normal;font-display:swap}