Use `DejaVu Sans Mono' as global font.