It is a custom built menu system that combines CSS and Javascript to produce the results seen on the site. There are a few free libraries available on different sites that let you accomplish a similar effect on your site.

__________________
The best way to learn anything, is to question everything.