various changes to reveal.js