code: protected void addNavigationBarHeader(Content body) {
          addTop(body);
          addNavLinks(true, body);
          addConfigurationTitle(body);
      }
docs: Adds the top text (from the -top option), the upper
  navigation bar, and then the title (from the"-title"
  option), at the top of page.
  
  @body the documentation tree to which the navigation bar header will be added