1809     $link.attr('href',toroot + match.url);
2156                   (!(s.type == "training" && s.url.indexOf("index.html") == -1) || matched)) {
3068 function find_page(url, data)  argument
3074     if (d[1] == url) {
3078       result = find_page(url, d[2]);
3620         .attr('href', cleanUrl(resources[i].url))
3666               .attr('href', cleanUrl(sections[i].resource.url))
3727         .attr('href', cleanUrl(resource.url))
3734         .attr('href', cleanUrl(resource.url))
3828           resources = urls.map(function(url){ return ALL_RESOURCES_BY_URL[url]; });  argument
3832           resources = urls.map(function(url){ return ALL_RESOURCES_BY_URL[url]; });  argument
3928   function cleanUrl(url)  argument
3930     if (url && url.indexOf('//') === -1) {
3931       url = toRoot + url;
3934     return url;
3999       var plusurl = resource.url.indexOf("//") > -1 ? resource.url :
4000         "//developer.android.com/" + resource.url;
4044         .attr('href', resource.url)
4079             .append($('<a>').attr('href', subResource.url)
4087             .append($('<a>').attr('href', subResource.url)
4095                     .attr('data-href', resource.url)))))
4103           .append($('<a>').attr('href', resource.url)
4123     var linkUrl = resource.url;