@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=LWSJPm2D06iWeJOLgci34A&expires=1763686251') 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=LWSJPm2D06iWeJOLgci34A&expires=1763686251') 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=mDrtarqVD4M8OLrKIgwirQ&expires=1763686251') 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=nrYZEWg2iPch-Rq9IVPpHQ&expires=1763686251') 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=sRalZFmNORNsY6QWc_E1cA&expires=1763686251') format('woff');
        }

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