color-theme-convert-defun macro