diff options
Diffstat (limited to 'public')
| -rw-r--r-- | public/js/extra.js | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/public/js/extra.js b/public/js/extra.js index 084ebe8a..aed97417 100644 --- a/public/js/extra.js +++ b/public/js/extra.js @@ -226,7 +226,7 @@ function generateToc(id) { 'class': 'toc', 'targetId': id }); - if(target.text() == 'undefined') + if (target.text() == 'undefined') target.html(''); var backtotop = $('<a class="back-to-top" href="#">Back to top</a>'); var gotobottom = $('<a class="go-to-bottom" href="#">Go to bottom</a>'); @@ -262,7 +262,7 @@ function smoothHashScroll() { // prevent default anchor click behavior e.preventDefault(); // animate - $('html, body').animate({ + $('body, html').stop(true, true).animate({ scrollTop: $(hash).offset().top }, 100, "linear", function () { // when done, add hash to url |