docs: function(url) {
      var prefix = this.options.html5Mode ? '' : '#/';
      var hashIdx = url.indexOf('#');
  
      // Lowercase hash parts of the links,
      // so that we can keep correct API names even when the urls are lowercased.
      if (hashIdx !== -1) {
        url = url.substr(0, hashIdx) + url.substr(hashIdx).toLowerCase();
      }
  
      if (url.substr(-1) == '/') return prefix + url + 'index';
      if (url.match(/\//)) return prefix + url;
      return prefix + this.section + '/' + url;
    }