Change font size on Linux.