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