@font-face {
    font-family: 'DejaVu Serif';
    src: local('DejaVu Serif'), local('DejaVuSerif'), url('dejavuserif.woff2') format('woff2'), url('dejavuserif.woff') format('woff'), url('dejavuserif.ttf') format('truetype');
    font-weight: 400;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Serif';
    src: local('DejaVu Serif Italic'), local('DejaVuSerif-Italic'), url('dejavuserifitalic.woff2') format('woff2'), url('dejavuserifitalic.woff') format('woff'), url('dejavuserifitalic.ttf') format('truetype');
    font-weight: 400;
    font-style: italic;
}
@font-face {
    font-family: 'DejaVu Serif';
    src: local('DejaVu Serif Bold'), local('DejaVuSerif-Bold'), url('dejavuserifbold.woff2') format('woff2'), url('dejavuserifbold.woff') format('woff'), url('dejavuserifbold.ttf') format('truetype');
    font-weight: 700;
    font-style: normal;
}
@font-face {
    font-family: 'DejaVu Serif';
    src: local('DejaVu Serif Bold Italic'), local('DejaVuSerif-BoldItalic'), url('dejavuserifbolditalic.woff2') format('woff2'), url('dejavuserifbolditalic.woff') format('woff'), url('dejavuserifbolditalic.ttf') format('truetype');
    font-weight: 700;
    font-style: italic;
}