Added an option to highlight in HTML

Added an option to highlight in HTML.