Si, es un menú hecho en javascript. Lo he visto en sitios de recursos javascript, pero no recuerdo exactamente cual.
De todas formas te dejo unas direcciones de donde creo haberlo visto. Revisa las secciones de "Menu" en esos sitios.
1.-
http://www.dynamicdrive.com/
2.-
http://www.freewarejava.com/
3.-
http://www.javafile.com/
4.-
http://javascript.internet.com/
P.D.: Cuando lo encuentres, si no es mucha molestia, deja un mensaje para recordar donde lo viste
