A static verification tool for CSS