use custom html highlighting treatment for revealjs