Make use of new css selector framework in theme's CSS parser