changed reveal.js and highlight.js theme