Implement a (persistent) text size option for web view activities.

TODO: Move it to a settings activity, together with the theme setting.