docs: function (separator, page, args) {
  
          // By default, we return page name without arguments.
          var ret = page;
          if (typeof args !== 'undefined') {
              if (args && args.length) {
                  // Some arguments have been provided, add them.
                  if (args.length !== 0) {
                      ret = page + separator + args.join(separator);
                  }
              } else {
                  // Argument isn't an array, add it.
                  ret = page + separator + args;
              }
          }
          return ret;
      }