first revision of new default theme #1018
rename previous default theme to league