changed to reveal.js instead of tex