Improve navigation and add support for navtree.