make menu item focusable again
separate setting of theme and setting of font size
refactored style, so that no longer a distinct pref style is necessary; give theme heading style to pref categories
Merge remote-tracking branch 'origin/feature/themes' into feature/themes