@font-face {
  font-family: 'Red Hat Mono';
  font-style: italic;
  font-weight: 400;
  src: url(https://fonts.gstatic.com/l/font?kit=jVye7nDnA2uf2zVvFAhhzEsUXfZc_vk45Kb3VJWLE_LHvVQbgOtc6ACRed5KpQ&skey=5814d3298704e054&v=v16) format('truetype');
}
@font-face {
  font-family: 'Red Hat Mono';
  font-style: normal;
  font-weight: 400;
  src: url(https://fonts.gstatic.com/l/font?kit=jVyY7nDnA2uf2zVvFAhhzEs-VMSjJpBTfgjwQV3I-7HVt0ZZ7fFw3gSbc8Q&skey=408a12ecc464ca51&v=v16) format('truetype');
}
