add font size menu entry

It changes screen DPI and may need to reboot the reader to take effect.
This should fix #746.
This should also fix #747.