The GIF format requires indexed color; 256 colors or less, so it's limited. That little orange progbar is a GIF I noticed. They're using a JPG formatted sprite sheet for all buttons and rollovers, tweening opacity. Very cool.
For that effect, I would've assumed Flash necessary. Thanks for posting that, webfunkin.