A dark theme/skin for the Arduino IDE