[PD] bigger fontsizes after debian/X11 upgrade