Sets "DejaVu Sans Mono" as default face.