Switch to DejaVu Sans Mono 10