Python Highlighter for HTML