Shorten HTML Output of wp_nav_menu

Other relevant snippets: