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; +}