@font-face {
    font-family: 'Pixel12x10';
    font-style: normal;
    font-weight: 500;
    src: local('Pixel12x10'), url('https://fonts.cdnfonts.com/s/20024/Pixel12x10.woff') format('woff');
}
@font-face {
    font-family: 'Pixel12x10Mono';
    font-style: normal;
    font-weight: 500;
    src: local('Pixel12x10Mono'), url('https://fonts.cdnfonts.com/s/20024/Pixel12x10Mono.woff') format('woff');
}