Prefer DejaVu Sans Mono as font.