I just used CSS3 tbh. Some of the animation stuff was painful due to timing issues. There's also some jQuery fadeIn/fadeOut stuff but I'm trying to get rid of that.