The global navigation is created by an out-of-the-box widget which is using style=display:none.
If I use "fetch as Googlebot" on this page, the links are displayed in code.
So I believe Googlebot is able to see the links but "display:none" doesn't make sense
from SEO POV.