Da una visita veloce del sito ho notato che fa uso di jquery pertanto direi che al 99% sarà un plug-in o sviluppato con questa libreria, se spulci il sorgente con calma dovresti trovare tutto.