As you scroll through the documentation, it would be good if the bold highlighting on the navigation links tracked with the page location.