Petar Bogdanovic wrote: > BTW: > I don't have a clue about the font-family used in the example > since xfontsel is still a total mystery to me. However, I do > know that `monospace' is just something like an alias and not a > real font. > DejaVu Sans Mono