some change to the autogenerated color_themes for some mysterious reason
some change to the autogenerated color_themes for some mysterious reason

sagemathinc/smc,sagemathinc/smc,sagemathinc/smc,sagemathinc/smc