Defaults that any score can override

Settings has the choices that apply everywhere. Zoom, dark sheet music, follow playback and the three highlights have defaults there, which any score can override.