Switched back to DejaVu Sans Mono 12