Turn font size in editor back down to 12.