CSS3 proven to be Turing complete