@font-face{font-family:'Martian Mono';font-style:normal;font-weight:400;font-stretch:normal;src:url(https://fonts.gstatic.com/s/martianmono/v6/2V08KIcADoYhV6w87xrTKjs4CYElh_VS9YA4TlTnQzaVMIE6j15dYY1qu_6RBbo.ttf) format('truetype')}