@font-face{font-display:swap;font-family:'Red Hat Mono';font-style:normal;font-weight:400;src:url(https://fonts.gstatic.com/s/redhatmono/v16/jVyY7nDnA2uf2zVvFAhhzEs-VMSjJpBTfgjwQV3I-7E.ttf) format('truetype')}