Avoid needlessly reading font settings

Merged Nicolas Fella requested to merge work/syncfonts into master

Currently we call syncFonts every time a platformtheme is created and updated, which is way too often.

It is all global data, i.e. not specific to the concrete platformtheme instance, so move it to the style singleton.

Also only read the settings for smallFont when fonts were actually changed.

Merge request reports