Deleted additional highlightning from reveal, closes #5819 and #5907.

The problem is well explained in #5819.
This simple fix the issue avoiding the additional highlighting from reveal.js itself.