I just updated from version 8 to version 9 on my Mac. The type in 2 parts of the window is smaller than it has been. How can I make the type larger in the sections marked 1 and 2 in the screenshot. I assume it involves the theme editor.
