Replace color-theme with deftheme