> Have a look at: https://github.com/IBM/plex > it is very readable. > Rolf > Thank you, that's something I've been looking for. There's even a debian package ... apt-get install fonts-ibm-plex ... did do the job. Best regards, Christoph