if you look at the source code you can see they are using javascript. HTML5, XHTML, or just regular old HTML are all just markup languages. In non-nerd talk, that means you use it to render stuff on the screen, it is styled with CSS. The actual interactive part of the page comes from the Javascript, not the form of HTML used.