Port Python highlighter