use DejaVu Sans Mono