A GUI color changer for the video game Elite: Dangerous