Qué tal,
es un menú de esos prefabricados que lo configuras un poco y yá.
Fíate en el código fuente se llama a unos archivos .js. Descárgatelos y echales un ojo, vendrá la dirección de dónde puedes descargarlo con instrucciones de uso.
Un menú así lo logras mediante javascript, así que muevo hacia ese foro tu pregunta
Un saludo