Isn't the recommended way to change the navigation links in 7.1 to edit the theme colours?
Go to Design -> Colors then click on the pencil icon next to your active selected colour palette, and then select navigation links colour.
Or, are people doing the code changes so they can change the hover colours? The samples I tried here for 7.1 aren't working on 7.1.