Adding font size choices to web preferences.