@font-face{font-family:Space Mono;font-style:normal;font-weight:400;src:url(https://fonts.gstatic.com/s/spacemono/v13/i7dPIFZifjKcF5UAWdDRUEY.ttf)format("truetype")}