Need to add, my Desktop environment: * KDE Plasma. * Default font: Bitstream Vera Sans -- also for mono-spaced fonts. * Desktop uses the ���fonts-config��� system settings.