font=DejaVu Sans Mono 10