Enhancement
(User-visible)
Currently, active and disabled buttons in the Modern Header are rendered the same and only have a different tooltip. Thus, it is not possible to style these buttons differently using CSS.
Different CSS classes should be written out. Furthermore it should be possible to set different `ThemeImage`s.
Test
No test.