From fe0d7d24bc050425cabd634cb35f5574d846c045 Mon Sep 17 00:00:00 2001
From: Brendan Dahl <brendan.dahl@gmail.com>
Date: Thu, 26 Apr 2012 12:35:52 -0700
Subject: [PATCH] Update pdfbug style.
---
web/debugger.js | 5 +++--
web/viewer.css | 50 ++++++++++++++++++++++++++++++++++++++++++++++++-
2 files changed, 52 insertions(+), 3 deletions(-)
diff --git a/web/debugger.js b/web/debugger.js
index 610a63854..aeb3ab4ce 100644
--- 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 6b666855a..c9348afdb 100644
--- 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;
+}