change: KDE konsole font size