overlay element now has style equal to theme name. Commented dev mode parameter in gwt-xml.