/*****************************
 All rights reserved.
 de.GetFonts.net (c) 2011-2026
 *****************************/
@font-face {
    font-family: 'Bitstream Vera Sans Mono Bold';
    font-style: normal;
    font-weight: 700;
    src: local('Bitstream Vera Sans Mono Bold'), local('BitstreamVeraSansMono-Bold'),
        url(https://de.getfonts.net/cache/fonts/bitstream-vera-sans-mono-bold_c6cd65ac138dfef5292b191d45b8d945.woff) format('woff'),
        url(https://de.getfonts.net/cache/fonts/bitstream-vera-sans-mono-bold_c6cd65ac138dfef5292b191d45b8d945.ttf) format('truetype');
}