@font-face {
    font-family: 'font-4992';
    font-style: normal;
    font-weight: normal;
    src: url('https://dl.fontget.com/b/i/bitstream-vera-sans-mono-family/woff_src/VeraMono.woff?token=Dt8Wf_aUmxo1UiWqJ0SM6A&expires=1755660043') format('woff');
}

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

            @font-face {
            font-family: 'font-4992-6714';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/b/i/bitstream-vera-sans-mono-family/woff_src/VeraMono.woff?token=Dt8Wf_aUmxo1UiWqJ0SM6A&expires=1755660043') format('woff');
        }

        .css-font-4992-6714 {
            font-family: 'font-4992-6714';
        }
            @font-face {
            font-family: 'font-4992-6713';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/b/i/bitstream-vera-sans-mono-family/woff_src/VeraMoIt.woff?token=Abtl_PCwZcQg7TgiZMIAFg&expires=1755660043') format('woff');
        }

        .css-font-4992-6713 {
            font-family: 'font-4992-6713';
        }
            @font-face {
            font-family: 'font-4992-6712';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/b/i/bitstream-vera-sans-mono-family/woff_src/VeraMoBd.woff?token=1JOo7-0Hya5fcKga4Qoz0g&expires=1755660043') format('woff');
        }

        .css-font-4992-6712 {
            font-family: 'font-4992-6712';
        }
            @font-face {
            font-family: 'font-4992-6711';
            font-style: normal;
            font-weight: normal;
            src: url('https://dl.fontget.com/b/i/bitstream-vera-sans-mono-family/woff_src/VeraMoBI.woff?token=C44MvYLKiZIURwmFTpNNIg&expires=1755660043') format('woff');
        }

        .css-font-4992-6711 {
            font-family: 'font-4992-6711';
        }