Delete theme.el