rename SimpleTheme to Theme now that we got rid of previous Theme