Das Menü is ein freies (für privaten Nutzen) Script und man kann es von http://www.milonic.co.uk/ downloaden.
Die Menüpunkte werden anscheinend komplett dynamisch zur Laufzeit von JS erstellt (wenn ich das richtig verstanden hab) Aber ich habs noch net wirklich 100%ig durchschaut.
Weil die Menüpunkte werden in dem JavaScript menuarray.js definiert. Dort stehen anscheinen auch alle Parameter für das Aussehen. Aber die mmenu.js mit den ganzen Animationen drin is echt stork. :D

Aber wir könntens ja Stück für Stück im Forum analysieren. :)