HWPI responsive themes: make flavor mobile menus look like the desktop versions. #3645