From 26eba18e8312fd0cca52c24fbf4c31b1724d7928 Mon Sep 17 00:00:00 2001
From: Lu Wang <coolwanglu@gmail.com>
Date: Sat, 4 May 2013 19:31:07 +0800
Subject: [PATCH] minor css improvements

---
 share/base.css.in | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/share/base.css.in b/share/base.css.in
index cffa338..4e05f8c 100644
--- a/share/base.css.in
+++ b/share/base.css.in
@@ -8,7 +8,7 @@
   left:0;
   bottom:0;
   width:250px;
-  padding:0px;
+  padding:0;
   margin:0px;
   overflow:auto;
 }
@@ -18,7 +18,7 @@
   left:0px;
   margin:0; 
   padding:0;
-  border-width:0; /* required for lazy page loading in pdf2htmlEX.js (page visibility test) */
+  border:0; /* required for lazy page loading in pdf2htmlEX.js (page visibility test) */
 }
 @media screen {
   /* for sidebar */
@@ -54,7 +54,7 @@
  */
 .@CSS_PAGE_DECORATION_CN@ { /* page decoration */
   position:relative;
-  border-width: 0;
+  border: 0;
   overflow: hidden;
 }
 .@CSS_PAGE_FRAME_CN@ { /* page */
@@ -66,11 +66,11 @@
   background-color:white;
   overflow: hidden;
   margin:0; 
-  border-width:0; /* required by pdf2htmlEX.js for page visibility test */
+  border:0; /* required by pdf2htmlEX.js for page visibility test */
 }
 .@CSS_PAGE_CONTENT_BOX_CN@ { /* content of a page */
   position:absolute;
-  border-width:0;
+  border:0;
   padding:0;
   margin:0;
   top:0;
@@ -119,7 +119,7 @@
 }
 .@CSS_CLIP_CN@ { /* clip box */
   position:absolute;
-  border-width:0;
+  border:0;
   padding:0;
   margin:0;
   overflow:hidden;