Updating the documentation, cleaning up navigation