Removing vestigial parts of nav from Bootstrap docs.