use a html5 number input for the jump to page