fix theme in web.xml