A dark skin/theme for the Arduino IDE