@font-face{font-family:'Noto Sans Mono';font-style:normal;font-weight:400;font-stretch:normal;src:url(https://fonts.gstatic.com/s/notosansmono/v32/BngrUXNETWXI6LwhGYvaxZikqZqK6fBq6kPvUce2oAZcdthSBUsYck4-_FNJ49o.ttf) format('truetype')}