1--- viewer/viewer.html.orig	2014-03-07 11:40:58.000000000 +0100
2+++ viewer/viewer.html	2014-03-07 11:44:02.000000000 +0100
3@@ -31,12 +31,12 @@
4 <!-- This snippet is used in production, see Makefile -->
5 <link rel="resource" type="application/l10n" href="locale/locale.properties"/>
6 <script type="text/javascript" src="l10n.js"></script>
7-<script type="text/javascript" src="../build/pdf.js"></script>
8+<script type="text/javascript" src="pdf.min.js"></script>
9
10
11
12     <script type="text/javascript" src="debugger.js"></script>
13-    <script type="text/javascript" src="viewer.js"></script>
14+    <script type="text/javascript" src="viewer.min.js"></script>
15
16   </head>
17
18@@ -88,7 +88,7 @@
19               <span data-l10n-id="presentation_mode_label">Presentation Mode</span>
20             </button>
21
22-            <button id="secondaryOpenFile" class="secondaryToolbarButton openFile visibleLargeView" title="Open File" tabindex="19" data-l10n-id="open_file">
23+            <button id="secondaryOpenFile" class="secondaryToolbarButton openFile hidden" title="Open File" tabindex="19" data-l10n-id="open_file">
24               <span data-l10n-id="open_file_label">Open</span>
25             </button>
26
27@@ -96,11 +96,11 @@
28               <span data-l10n-id="print_label">Print</span>
29             </button>
30
31-            <button id="secondaryDownload" class="secondaryToolbarButton download visibleMediumView" title="Download" tabindex="21" data-l10n-id="download">
32+            <button id="secondaryDownload" class="secondaryToolbarButton download hidden" title="Download" tabindex="21" data-l10n-id="download">
33               <span data-l10n-id="download_label">Download</span>
34             </button>
35
36-            <a href="#" id="secondaryViewBookmark" class="secondaryToolbarButton bookmark visibleSmallView" title="Current view (copy or open in new window)" tabindex="22" data-l10n-id="bookmark">
37+            <a href="#" id="secondaryViewBookmark" class="secondaryToolbarButton bookmark hidden" title="Current view (copy or open in new window)" tabindex="22" data-l10n-id="bookmark">
38               <span data-l10n-id="bookmark_label">Current View</span>
39             </a>
40
41@@ -159,7 +159,7 @@
42                   <span data-l10n-id="presentation_mode_label">Presentation Mode</span>
43                 </button>
44
45-                <button id="openFile" class="toolbarButton openFile hiddenLargeView" title="Open File" tabindex="13" data-l10n-id="open_file">
46+                <button id="openFile" class="toolbarButton openFile hidden" title="Open File" tabindex="13" data-l10n-id="open_file">
47                   <span data-l10n-id="open_file_label">Open</span>
48                 </button>
49
50@@ -167,11 +167,11 @@
51                   <span data-l10n-id="print_label">Print</span>
52                 </button>
53
54-                <button id="download" class="toolbarButton download hiddenMediumView" title="Download" tabindex="15" data-l10n-id="download">
55+                <button id="download" class="toolbarButton download hidden" title="Download" tabindex="15" data-l10n-id="download">
56                   <span data-l10n-id="download_label">Download</span>
57                 </button>
58                 <!-- <div class="toolbarButtonSpacer"></div> -->
59-                <a href="#" id="viewBookmark" class="toolbarButton bookmark hiddenSmallView" title="Current view (copy or open in new window)" tabindex="16" data-l10n-id="bookmark">
60+                <a href="#" id="viewBookmark" class="toolbarButton bookmark hidden" title="Current view (copy or open in new window)" tabindex="16" data-l10n-id="bookmark">
61                   <span data-l10n-id="bookmark_label">Current View</span>
62                 </a>
63
64--- viewer/viewer.js.orig	2014-03-07 11:40:40.000000000 +0100
65+++ viewer/viewer.js	2014-03-07 11:32:44.000000000 +0100
66@@ -23,7 +23,7 @@
67
68 'use strict';
69
70-var DEFAULT_URL = 'compressed.tracemonkey-pldi-09.pdf';
71+var DEFAULT_URL = null;
72 var DEFAULT_SCALE = 'auto';
73 var DEFAULT_SCALE_DELTA = 1.1;
74 var UNKNOWN_SCALE = 0;
75@@ -55,7 +55,7 @@
76 };
77
78 PDFJS.imageResourcesPath = './images/';
79-  PDFJS.workerSrc = '../build/pdf.worker.js';
80+  PDFJS.workerSrc = 'pdf.worker.min.js';
81
82 var mozL10n = document.mozL10n || document.webL10n;
83
84