@font-face {font-family: 'DejaVu Serif Condensed Bold';font-weight:700;font-style:normal;src: local('DejaVu Serif Condensed Bold'), local("DejaVuSerifCondensed"), url("DejaVuSerifCondensed-Bold.ttf") format("truetype");}
@font-face {font-family: 'DejaVu Serif Condensed';font-weight:normal;font-style:normal;src: local('DejaVu Serif Condensed'), local("DejaVuSerifCondensed"), url("DejaVuSerifCondensed.ttf") format("truetype");}