/*****************************
 All rights reserved.
 GetFonts.net (c) 2011-2025
 *****************************/
@font-face {
    font-family: 'DejaVu Sans Mono Bold';
    font-style: normal;
    font-weight: 700;
    src: local('DejaVu Sans Mono Bold'), local('DejaVuSansMono-Bold'),
        url(https://getfonts.net/cache/fonts/dejavu-sans-mono-bold_90c232f38716d5496b25ef4812b8591b.woff) format('woff'),
        url(https://getfonts.net/cache/fonts/dejavu-sans-mono-bold_90c232f38716d5496b25ef4812b8591b.ttf) format('truetype');
}