jquery/jquery-ui — pull request #565 by nathanhammond (2012-01-04 09:17:19+00:00)
Title: Change to account for Firefox scrollTop() behavior.

Bug report at: http://bugs.jqueryui.com/ticket/7983

This may not be the *right* way to fix the problem, but it is *a* way to fix it.