no es HTML5 ni CSS es Javascript
El sistema de la pagina es uno personalizado para ese sitio, tu puedes usar jQuery que por ser Javascript puede lograrlo
por ejemplo:
Código Javascript :
$('#target').keypress(function(event) {
if (event.keyCode == '13') {
//ENTER presionado
}
});