change font to DejaVu Sans Mono