Reduce font size on Linux.