export generateHtml, highlight