The tiny javascript paginator.