> Not a brainer this time, apparently there is only one applicable font in
Gnome and it's the default you find in the settings. In my case it worked
with the "fixed" font. Sorry about that.

Sergio Millich.