@font-face {
    font-family: 'DejaVu Sans';
    src: local('DejaVu Sans'), local('DejaVuSans'),
        url('DejaVuSans.woff2') format('woff2'),
    font-weight: normal;
    font-style: normal;
}