Fix the documentation navmenu.