Update color-theme-lab.el