docs: function (href, pushToHistory) {
                  var match, anchorOffset;
  
                  if (!this.ANCHOR_REGEX.test(href)) {
                      return false;
                  }
  
                  match = document.getElementById(href.slice(1));
  
                  if (match) {
                      anchorOffset = $(match).offset().top - this.getFixedOffset();
                      $('html, body').animate({ scrollTop: anchorOffset });
  
                      // Add the state to history as-per normal anchor links
                      if (HISTORY_SUPPORT && pushToHistory) {
                          history.pushState({}, document.title, location.pathname + href);
                      }
                  }
  
                  return !!match;
              }