change of font size for linux