The User Guide pdf is very useful, but the online help has different search features such as listing the search cross reference results in the left hand panel. This makes it easier to zero in on what I want.
I would have thought it is relatively trivial to add a "+" and "-" button to the online help so that the user can scale the text to his/her choice. Perhaps I could submit this as an enhancement request.
Michael