Update theme.el