branding-theme-switcher provides a way to switch the
underlying stylesheets (b).
A "real" theme switcher would change a/b/c.
A "real" color-theme switcher should also provide a possibility to change
each color with a WEB-GUI.
Note
branding-theme-switcher-profiler and branding-theme-switcher-defaultTheme are required!
branding-theme-switcher-profiler {true|false} only works on the defaultTheme.
normally you are not using an "a link" (branding-theme-switcher-a) and a "selectbox"
(branding-theme-switcher-select) switcher at the same time in the same position, so uncomment the one you want.
In combination with the branding-theme-profiler this contract provides a
quick way to create new themes. The default theme can have unlimited color
derivatives. If you turn on the color profiling this contract will
activate the default theme in combination with the profiling styles.