Molto strano...io uso il panda rosso da più di un anno, e ho testato quei menu proprio su Firefox!!!
E, tra l'altro, sul sito si legge
Ovviamente, disabilitando del tutto javascript, quel menu non riuscirà a funzionare, proprio in quanto è un menu in javascript!!!
Ma d'altro canto, per ottenere effetti simili, per non usare un menu in javascript bisogna usare un menu in flash.
P.S.: sono strenuo sostenitore del sw libero anche io, MagoDino....uno sgarro simile non l'avrei mai fatto!