Changing back to DejaVu Sans Mono font