-
Return the scroll height of the HTML element since the BODY may have margin/border/padding and we want to know precisely how high the widget needs to be to avoid scrolling.
c27d2500
Return the scroll height of the HTML element since the BODY may have margin/border/padding and we want to know precisely how high the widget needs to be to avoid scrolling.