Suppongo che sia jquery, visto che il sito ne fa un uso (abuso) elevato, spulcia il sorgente con pazienza.