@font-face {
    font-family: 'IBM Plex Mono';
    src: url('IBMPlexMono.eot');
    src: url('IBMPlexMono.eot?#iefix') format('embedded-opentype'),
        url('IBMPlexMono.woff2') format('woff2'),
        url('IBMPlexMono.woff') format('woff'),
        url('IBMPlexMono.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
    font-display: swap;
}

@font-face {
    font-family: 'IBM Plex Mono';
    src: url('IBMPlexMono-Bold.eot');
    src: url('IBMPlexMono-Bold.eot?#iefix') format('embedded-opentype'),
        url('IBMPlexMono-Bold.woff2') format('woff2'),
        url('IBMPlexMono-Bold.woff') format('woff'),
        url('IBMPlexMono-Bold.ttf') format('truetype');
    font-weight: bold;
    font-style: normal;
    font-display: swap;
}