@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=B6ATT-LHbU90DA7fODhskA&expires=1760532291') format('woff');
}

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

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