Added reveal.js library again.