From 3a5258d069ef6fe688e805a690912a974a6d4271 Mon Sep 17 00:00:00 2001
From: Yury Delendik <ydelendik@mozilla.com>
Date: Sun, 3 Mar 2013 19:08:23 -0600
Subject: [PATCH] Takes top border width in account (cont #2874)

---
 web/viewer.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/viewer.js b/web/viewer.js
index 8aa7069b7..b66b898c8 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -63,7 +63,8 @@ function scrollIntoView(element, spot) {
   // Assuming offsetParent is available (it's not available when viewer is in
   // hidden iframe or object). We have to scroll: if the offsetParent is not set
   // producing the error. See also animationStartedClosure.
-  var parent = element.offsetParent, offsetY = element.offsetTop;
+  var parent = element.offsetParent;
+  var offsetY = element.offsetTop + element.clientTop;
   if (!parent) {
     console.error('offsetParent is not set -- cannot scroll');
     return;