@font-face{font-family:Public Pixel;src:url(/fonts/PublicPixel.ttf)format("truetype");font-weight:400;font-style:normal;font-display:swap}:root{--hud-text-color:#60210c;--hud-text-shadow:#ae958c;--top-text-color:#f1e1b9;--top-text-shadow:#fff1ce4d;--background-color:#070a4a;--floor-height:80dvh}@media (max-width:768px){:root{--floor-height:88dvh}}html,body{height:100dvh;margin:0;overflow:hidden}body{font-family:Public Pixel,monospace}body input{font-family:Public Pixel,monospace}