@font-face {
    font-family: 'Noto Sans Mono';
    font-style: normal;
    font-weight: 400;
    src: local('Noto Sans Mono'), url('https://fonts.cdnfonts.com/s/107441/NotoSansMono[wdth,wght].woff') format('woff');
}