They might be using hover selectors, or perhaps they utilize CSS animations or some form of jQuery [animate] (http://api.jquery.com/animate/) (or even something else related to jQuery, it has a large library of neat functions for controlling actions when clicking etc.)
If you’re curious as to where to find their local/external scripts, checkout the “sources” tab on chrome web tools