Using the theme editor with Empire