default.html: replace <div> in paginator