Adding the navigation in the docs