IDE sketch font color: Can it be changed?

The light blue font color used to display sketches in the IDE are too light for my old eyes! I see how to change font size, but not color. Is there a way to change font color?

Yes. You can customize many aspects of the Arduino IDE's theme. I have documented the theme properties here: https://github.com/per1234/ThemeTest/blob/master/README.md Please let me know if you have any questions.