use python highlighting