Font size in Linux reduced to 12 points