Scenario: Users can change (customize or configure) the UI theme at runtime.

Background: Most modern browsers allow users to flexibly change the colors, fonts and icons with so-called “themes”.