From ced219c12f4f0276253e3e0fd64bfa6fcde830ce Mon Sep 17 00:00:00 2001
From: Jared Wein <weinjared@gmail.com>
Date: Wed, 13 Jun 2012 02:15:31 -0700
Subject: [PATCH 1/3] Switch to using message-box for the body and form
 elements in the UI of PDF.js. This will use the system's native UI font for
 each platform as well as fix the current inconsistency between the font of
 the text label for total page count and the text inside of the input element
 for current page number.

---
 web/viewer.css | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/web/viewer.css b/web/viewer.css
index 329bff2d5..09b5299df 100644
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -11,7 +11,12 @@ body {
   height: 100%;
   background-color: #404040;
   background-image: url(images/texture.png);
-  font-family: Segoe UI, Verdana, sans-serif;
+}
+
+body,
+input,
+select {
+  font-family: message-box;
 }
 
 .hidden {

From cba8d992fcecaa290d0e40109f908862b138eb7a Mon Sep 17 00:00:00 2001
From: Jared Wein <weinjared@gmail.com>
Date: Wed, 13 Jun 2012 02:27:22 -0700
Subject: [PATCH 2/3] Added |button| to the list of elements that message-box
 should be applied to.

---
 web/viewer.css | 1 +
 1 file changed, 1 insertion(+)

diff --git a/web/viewer.css b/web/viewer.css
index 09b5299df..0ad3f4aa0 100644
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -15,6 +15,7 @@ body {
 
 body,
 input,
+button,
 select {
   font-family: message-box;
 }

From c3c01d10b325b83689b85b9bf48ef43441ff61dd Mon Sep 17 00:00:00 2001
From: Jared Wein <weinjared@gmail.com>
Date: Wed, 13 Jun 2012 10:47:46 -0700
Subject: [PATCH 3/3] message-box needs to use the font property, not the
 font-family property.

---
 web/viewer.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/viewer.css b/web/viewer.css
index 0ad3f4aa0..ff40cd18f 100644
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -17,7 +17,7 @@ body,
 input,
 button,
 select {
-  font-family: message-box;
+  font: message-box;
 }
 
 .hidden {