or at least, they've used Adobe Flash CS6 and then exported to JS/sprites/etc in some way. I can't be more specific because I don't use those tools for web development ;)