It's plain HTML5. That scrolling behavior isn't a freebie. The scroll bar you see is actually for an empty div. There's an attached scroll event handler that they're likely using to run the animation.