An even simpler method is to find the existing userChrome.css file and move it to /usr/local/seamonkey/profile/chrome, open as text and change the 9 in the line:Mercedes350se wrote:... I have since found that modifying userChrome.css gives the results I want.
...
font-size: 9pt !important;
to whatever size suits.