Fix: IE10 or lower incorrectly determines the scrollheight of the body. Use document...

diff --git a/js/scrollspy.js b/js/scrollspy.js
index b41c27413613926ec4cb2ead14ad7b187971bf5a..d2c9c8d4d6a67cfddac164b3d5f6727cdade5ac4 100644 (file)
--- a/js/scrollspy.js
+++ b/js/scrollspy.js
@@ -62,7 +62,7 @@
 
   ScrollSpy.prototype.process = function () {
     var scrollTop    = this.$scrollElement.scrollTop() + this.options.offset
-    var scrollHeight = this.$scrollElement[0].scrollHeight || this.$body[0].scrollHeight
+    var scrollHeight = this.$scrollElement[0].scrollHeight || Math.max(this.$body[0].scrollHeight,document.documentElement.scrollHeight)
     var maxScroll    = scrollHeight - this.$scrollElement.height()
     var offsets      = this.offsets
     var targets      = this.targets