<html> <head> </head> <body> <p style="font-family:'Dejavu Sans'"> This should be Dejavu Sans. </p> <p style="font-family:'Dejavu Sans Mono'"> This should be Dejavu Sans Mono. </p> <p style="font-family:'Dejavu Serif'"> This should be Dejavu Serif. </p> </body> </html>