It would be more useful if the font size could be adjusted

It would be more useful if the font size could be adjusted.

Agreed. Safari does this nicely.