From e0aa43af37828c15151b1570ebc928345e1a3944 Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Wed, 25 Apr 2012 12:15:53 -0700
Subject: [PATCH] Fix lint.

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

diff --git a/web/viewer.js b/web/viewer.js
index 481c01c1b..d6c89f77b 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -694,8 +694,8 @@ var PDFView = {
 
     var view = document.getElementById('thumbnailView');
     var currentHeight = kBottomMargin;
-    
-    var top = view.scrollTop;    
+
+    var top = view.scrollTop;
     for (var i = 1; i <= thumbs.length; ++i) {
       var thumb = thumbs[i - 1];
       var thumbHeight = thumb.height * thumb.scaleY + kBottomMargin;
@@ -1072,7 +1072,7 @@ var ThumbnailView = function thumbnailView(container, pdfPage, id) {
     canvas.className = 'thumbnailImage';
 
     div.setAttribute('data-loaded', true);
-    
+
     var ring = document.createElement('div');
     ring.className = 'thumbnailSelectionRing';
     ring.appendChild(canvas);