fix HTML capitalization in Highlight2HTML

To be consistent with surrounding code, where we always capitalize acronyms that appear in class names.