+++ /dev/null
-<html>
-    <head>
-        <title>Simple pdf.js page worker viewer</title>
-        <script type="text/javascript" src="../fonts.js"></script>
-        <script type="text/javascript" src="../glyphlist.js"></script>
-        <script type="text/javascript" src="../pdf.js"></script>
-        <script type="text/javascript" src="../worker/client.js"></script>
-<script>
-
-
-var pdfDoc;
-window.onload = function webViewerWorkerOnload() {
-    window.canvas = document.getElementById("canvas");
-    window.ctx = canvas.getContext("2d");
-
-    pdfDoc = new WorkerPDFDoc(window.canvas);
-    pdfDoc.onChangePage = function webViewerWorkerOnChangePage(numPage) {
-        document.getElementById("pageNumber").value = numPage;
-    }
-    pdfDoc.open("compressed.tracemonkey-pldi-09.pdf", function webViewerWorkerOpen() {
-        document.getElementById("numPages").innerHTML = "/" + pdfDoc.numPages;
-    })
-}
-</script>
-        <link rel="stylesheet" href="viewer.css"></link>
-  </head>
-  <body>
-    <div id="controls">
-    <input type="file" style="float: right; margin: auto 32px;" onChange="load(this.value.toString());"></input>
-    <!-- This only opens supported PDFs from the source path...
-      -- Can we use JSONP to overcome the same-origin restrictions? -->
-      <button onclick="pdfDoc.prevPage();">Previous</button>
-      <button onclick="pdfDoc.nextPage();">Next</button>
-      <input type="text" id="pageNumber" onchange="pdfDoc.showPage(this.value);"
-             value="1" size="4"></input>
-      <span id="numPages">--</span>
-      <span id="info"></span>
-    </div>
-
-    <div id="viewer">
-      <canvas id="canvas"></canvas>
-    </div>
-  </body>
-</html>
-