@font-face{font-family:'Nova Mono';font-style:normal;font-weight:400;src:url(https://fonts.gstatic.com/s/novamono/v23/Cn-0JtiGWQ5Ajb--MRKvZ2Zc.ttf) format('truetype')}