saludos, el código que hace eso fue con javascript
:
http://www.artviper.net/mootoolsmenu/mootools.js
creo que uno que jQuery es muy compatible, universal y fácil de usar
tiene una gran comunidad libre en cuanto a educación, ejemplos y soporte en su pagina, está desarrollado con javascript y pienso que una manera de hacer cosas rapidas y de ese estilo es con
jQuery
pd: interesantes los enlaces, éxitos