Reduce font size on Linux