@font-face {
    font-family: 'RobotoMono';
    font-style: normal;
    src: url('./RobotoMono.woff2') format('woff2');
}

@font-face {
    font-family: 'RobotoMonoNumber';
    font-style: normal;
    src: url('./RobotoMono.woff2') format('woff2');
    unicode-range: U+30-39;
}