Selected DejaVu Mono font.