how to change the color of pin number in Arduino IDE?

you can use an external editor like notepad++ (to be configured in the preferences)