Arduino IDE has built-in theme mechanism. There is no need to hack installation files. See https://forum.arduino.cc/index.php?topic=443558.msg3887412#msg3887412 and https://github.com/arduino/Arduino/pull/7124.