@font-face{font-family:uiua386;src:url(/fonts/Uiua386.ttf)format('TrueType');font-weight:400;font-style:normal;font-display:swap}pre,code,kbd,samp{font-family:uiua386,monospace !important;font-size:16pt !important}