From a03d2100f5147e129f930741cadf285aae7af7ad Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Fri, 13 Apr 2012 14:16:45 -0700
Subject: [PATCH] Fix lint.

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

diff --git a/web/viewer.js b/web/viewer.js
index 18faeca73..6d53251d2 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -498,7 +498,7 @@ var PDFView = {
     var pagesCount = pdf.numPages;
     var id = pdf.fingerprint;
     var storedHash = null;
-    document.getElementById('numPages').textContent = '/ '+pagesCount;
+    document.getElementById('numPages').textContent = '/ ' + pagesCount;
     document.getElementById('pageNumber').max = pagesCount;
     PDFView.documentFingerprint = id;
     var store = PDFView.store = new Settings(id);
@@ -1456,7 +1456,8 @@ window.addEventListener('pagechange', function pagechange(evt) {
     var selected = document.querySelector('.thumbnail.selected');
     if (selected)
       selected.classList.remove('selected');
-    document.getElementById('thumbnailContainer' + page).classList.add('selected');
+    document.getElementById('thumbnailContainer' + page)
+            .classList.add('selected');
   }
   document.getElementById('previous').disabled = (page <= 1);
   document.getElementById('next').disabled = (page >= PDFView.pages.length);