code: public void printHtmlMenuStart(PrintWriter out, ResourceBundle reg)
          throws DBException
      {
          this.printHtmlBanner(out, reg);
          this.printHtmlLogo(out, reg);
          this.printHtmlMenubar(out, reg);
          // Don't print the table start portion or the nav menus
      }
docs: Print the top nav menu.
  @exception DBException File exception.