Added support for highlighting fragments in reveal.js