@font-face {
    font-family: 'font-100713';
    font-style: normal;
    font-weight: normal;
    src: url('https://dl.fontget.com/h/e/helvetipixelmono/woff_src/HelvetiPixelMono.woff?token=xQYYTdxmpiw6d6RkxQZ1Tw&expires=1756277170') format('woff');
}

.css-font-100713 {
    font-family: 'font-100713';
}

 
    .css-font-100713-140220 {
        font-family: 'font-100713';
    }