Use python syntax highlighting