version 85:
- add text size options for all three different sets of text
- allow user-specified defaults for widget display options