Highlight HTML tags in Doclets