fixing some things in reveal.js/index.html