Delete color-theme.el.