Use touchend to get faster links on touch devices
var links = document.getElementsByTagName("a");
for (var i=0; i < links.length; i++) {
var link = links[i];
link.addEventListener("click", function(e) {
e.preventDefault();
});
link.addEventListener("touchend", function() {
document.location = this.href;
});
};