style and theme definitions for user configurable font size
switching theme integrates fontsize; unregister shardedpreferencechangelistener,use onSharedPreferenceChanged instead of onPreferenceChange for keys where we are interested when the value is persisted
refactored
cannot unregister in onpause, since this defeats the idea of setting scheduledRestart
use fontsize relative to theme
minor adjustments
release
release