Header: support for iOS 7 status bar when not full-screen (closes #840)
removed trace()
Mobile themes: support for iOS status bar header