Wasted much of today building a dark theme/skin for the Arduino IDE – changes to the ‘preferences.txt’ file for better font handling; changes to ‘theme’ folder and files for darker color scheme. [ download and install instructions on GitHub ]