Qt pygment style: use pink for numbers (this looks better on the json editor and looks ok in python)