Do you mean the bit in the banner ad-sized Flash movie about 1/3 down the page on the left? That’s done with Flash. I’m sure it could also be done in JavaScript with Scriptaculous or MooTools or similar, but I don’t know off-hand of an implementation of that.