Add color-theme-convert-default-face