/*****************************
 All rights reserved.
 de.GetFonts.net (c) 2011-2026
 *****************************/
@font-face {
    font-family: 'DejaVu Serif Bold';
    font-style: normal;
    font-weight: 700;
    src: local('DejaVu Serif Bold'), local('DejaVuSerif-Bold'),
        url(https://de.getfonts.net/cache/fonts/dejavu-serif-bold_efdcfe956e52e5fb73c95f2e98fa39d8.woff) format('woff'),
        url(https://de.getfonts.net/cache/fonts/dejavu-serif-bold_efdcfe956e52e5fb73c95f2e98fa39d8.ttf) format('truetype');
}