A demo of a possible approach to automated testing for CSS