@font-face {
    font-family: 'Libertinus Mono';
    src: url('hinted-LibertinusMono.woff2') format('woff2'),
        url('hinted-LibertinusMono.woff') format('woff'),
        url('hinted-LibertinusMono.ttf') format('truetype');
    font-weight: normal;
    font-style: normal;
}