Decrease font size on linux systems