index.html: make the demo pager prettier