If you look at the source of the front page, you see a div with ID tabulator-controls. There you'll see a bunch of buttons defined. Then down at the bottom of the page, you see the jQuery controls for ...