
- added a tools menu entry to adjust font size.
- bug fixes.
