no tiene nada que ver con html5, es jQuery
Código Javascript
:
Ver original// box effects
jQuery(".box").hover(function(){
jQuery(this).find(".icon").stop().animate({top:"28"}, {easing:"easeOutElastic", duration: 800})
}, function(){
jQuery(this).find(".icon").stop().animate({top:"0"}, {easing:"easeOutElastic", duration: 800})
});
saludos