The Font Size Option in Preferences Does not Change the Font