@font-face {
    font-family: 'Red Hat Mono';
    font-style: normal;
    font-weight: 300;
    src: local('Red Hat Mono'), url('https://fonts.cdnfonts.com/s/107301/RedHatMono[wght].woff') format('woff');
}
@font-face {
    font-family: 'Red Hat Mono';
    font-style: italic;
    font-weight: 300;
    src: local('Red Hat Mono'), url('https://fonts.cdnfonts.com/s/107301/RedHatMono-Italic[wght].woff') format('woff');
}