Util: documented ColorThemeProxy.