Users can now specify the default Font size and face to use in their preferences. Go ahead and play around with this and let me know if you encounter any problems.