From ecaf467a1396c9e91732eba5f16ff36c702607ae Mon Sep 17 00:00:00 2001
From: gigaherz <gigaherz@gmail.com>
Date: Thu, 22 Mar 2012 00:05:24 +0100
Subject: [PATCH] One more cosmetic tweak and fix 'make lint' complaints.

---
 web/viewer.css |  1 -
 web/viewer.js  | 16 +++++++++-------
 2 files changed, 9 insertions(+), 8 deletions(-)

diff --git a/web/viewer.css b/web/viewer.css
index eac80da84..b316ddcb5 100644
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -400,7 +400,6 @@ canvas {
   display: inline-block;
   border: 1px solid black;
   clear: both;
-  padding: 1px;
   line-height: 0;
 }
 
diff --git a/web/viewer.js b/web/viewer.js
index b8d7b44f0..246577a52 100644
--- a/web/viewer.js
+++ b/web/viewer.js
@@ -32,14 +32,14 @@ var ProgressBar = (function ProgressBarClosure() {
     function clamp(v, min, max) {
         return Math.min(Math.max(v, min), max);
     }
-    
+
     function sizeBar(bar, num, width, height, units) {
         var progress = bar.querySelector('#progress');
         var remaining = bar.querySelector('#remaining');
-        progress.style.height=height + units;
-        remaining.style.height=height + units;
-        progress.style.width=num + units;
-        remaining.style.width=(width - num) + units;
+        progress.style.height = height + units;
+        remaining.style.height = height + units;
+        progress.style.width = num + units;
+        remaining.style.width = (width - num) + units;
     }
 
     function ProgressBar(element, min, max, width, height, units) {
@@ -304,8 +304,10 @@ var PDFView = {
     document.title = this.url = url;
 
     // FIXME: Probably needs a better place to get initialized
-    if(!PDFView.loadingProgress) {
-      PDFView.loadingProgress = new ProgressBar(document.getElementById('loadingBar'), 0, 100, 15, 1.5, 'em');
+    if (!PDFView.loadingProgress) {
+      PDFView.loadingProgress = new ProgressBar(
+            document.getElementById('loadingBar'),
+            0, 100, 15, 1.5, 'em');
     }
 
     var self = this;