Add HTML highlighting to example