@font-face { font-family: dejavuserif; src: url(fonts/dejavuserif.woff); }
div.dejavuserif,body.dejavuserif,.dejavuserif	{font-family: 'dejavuserif','DejaVu Serif','DejaVu Sans','sans-serif' !important;}