TinkerTool has a "Fonts" tab, which purports to let you make this kind of change; I've not tried it myself. I don't think there's a GUI method in any of the system software (I assume there's a command-line method which TinkerTool uses).Jeremy