finished migration to reveal.js