From 31a757e30101e0bbc962c306ed0efa883f09b8cf Mon Sep 17 00:00:00 2001 From: Artur Adib Date: Wed, 25 Apr 2012 11:32:37 -0400 Subject: [PATCH] "Page: 1 of 14" --- web/viewer.css | 4 ++++ web/viewer.html | 3 ++- web/viewer.js | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/web/viewer.css b/web/viewer.css index 512dec87c..351c76a64 100644 --- a/web/viewer.css +++ b/web/viewer.css @@ -368,6 +368,10 @@ body { -moz-transition-timing-function: ease; } +.toolbarField.pageNumber { + width: 50px; +} + .toolbarField:hover { background-color: hsla(0,0%,100%,.11); border-color: hsla(0,0%,0%,.4) hsla(0,0%,0%,.43) hsla(0,0%,0%,.45); diff --git a/web/viewer.html b/web/viewer.html index 4fd0bded4..fa57faa74 100644 --- a/web/viewer.html +++ b/web/viewer.html @@ -56,7 +56,8 @@
- +
Page:
+
diff --git a/web/viewer.js b/web/viewer.js index 838b3dfb9..89f9cafb7 100644 --- a/web/viewer.js +++ b/web/viewer.js @@ -492,7 +492,7 @@ var PDFView = { var pagesCount = pdfDocument.numPages; var id = pdfDocument.fingerprint; var storedHash = null; - document.getElementById('numPages').textContent = '/ ' + pagesCount; + document.getElementById('numPages').textContent = ' of ' + pagesCount; document.getElementById('pageNumber').max = pagesCount; PDFView.documentFingerprint = id; var store = PDFView.store = new Settings(id);