style
define global CSSThemeProvider_replacePseudoClass scoped in separate
module. Fixes #3787