Trying out python syntax highlighting