Update pdfbug style.

diff --git a/web/debugger.js b/web/debugger.js
index 610a6385405d344d8d922d44f1b3baee537bc1b4..aeb3ab4ce5a921b4bf13d04918db1e02b097ea52 100644 (file)
--- a/web/debugger.js
+++ b/web/debugger.js
@@ -423,8 +423,9 @@ var PDFBug = (function PDFBugClosure() {
       panels.setAttribute('class', 'panels');
       ui.appendChild(panels);
 
-      document.body.appendChild(ui);
-      document.body.style.paddingRight = panelWidth + 'px';
+      var container = document.getElementById('viewerContainer');
+      container.appendChild(ui);
+      container.style.right = panelWidth + 'px';
 
       // Initialize all the debugging tools.
       var tools = this.tools;

diff --git a/web/viewer.css b/web/viewer.css
index 6b666855a7dd8257d89ebd9ad8731e98623212eb..c9348afdb8620e9a6c2fb13ddee1d9f0f3265bef 100644 (file)
--- a/web/viewer.css
+++ b/web/viewer.css
@@ -764,4 +764,52 @@ canvas {
 .fileInput {
   background: white;
   color: black;
-}
\ No newline at end of file
+}
+
+#PDFBug {
+  background: none repeat scroll 0 0 white;
+  border: 1px solid #666666;
+  position: fixed;
+  top: 32px;
+  right: 0;
+  bottom: 0;
+  font-size: 10px;
+  padding: 0;
+  width: 300px;
+}
+#PDFBug .controls {
+    background:#EEEEEE;
+    border-bottom: 1px solid #666666;
+    padding: 3px;
+}
+#PDFBug .panels {
+  bottom: 0;
+  left: 0;
+  overflow: auto;
+  position: absolute;
+  right: 0;
+  top: 27px;
+}
+#PDFBug button.active {
+  font-weight: bold;
+}
+.debuggerShowText {
+  background: none repeat scroll 0 0 yellow;
+  color: blue;
+  opacity: 0.3;
+}
+.debuggerHideText:hover {
+  background: none repeat scroll 0 0 yellow;
+  opacity: 0.3;
+}
+#PDFBug .stats {
+  font-family: courier;
+  font-size: 10px;
+  white-space: pre;
+}
+#PDFBug .stats .title {
+    font-weight: bold;
+}
+#PDFBug table {
+  font-size: 10px;
+}