python syntax highlight