Add some HTML highlighting