changed out theme and disabled ColorCoder for the time being