Am Dienstag, 12. Juli 2016, 09:30:23 CEST schrieb Sven Brauch: > CCing the visual design list on this one, I have seen _lots_ of users > complain about too-small default fixed font recently. I guess that > should be made larger again? I don't know, what "again" means here. The font should be configurable, anyhow. Volker