The top menu stopped working.
A quick look showed that menu html has changed,
not matching CSS selectors anymore.
The commit f68cafa had changed the CSS selectors from
ones that apply to current menu html.
The menu has been modified from what was in place at the
time when sceenshot.png has been taken.
My guess is that different menus leads to different html
on page (I don't know why).
The CSS now use both selectors, to stay on the safe side.
