Changing navigation links in main doxygen pages.