Issue #2365479 by eshta: Convert DOM selector highlight into theme CSS class.