| OLD | NEW |
| 1 {% set title = 'Isolate Server' %} | 1 {% set title = 'Isolate Server' %} |
| 2 {% extends "isolate/base.html" %} | 2 {% extends "isolate/base.html" %} |
| 3 | 3 |
| 4 | 4 |
| 5 {% block headers %} | 5 {% block headers %} |
| 6 <style> | 6 <style> |
| 7 html, body { | 7 html, body { |
| 8 height: 95%; | 8 height: 95%; |
| 9 margin: 0; | 9 margin: 0; |
| 10 width: 100%; | 10 width: 100%; |
| 11 } | 11 } |
| 12 div.use_all_space { | 12 div.use_all_space { |
| 13 margin: 0; | 13 margin: 0; |
| 14 overflow-y: hidden; | 14 overflow-y: hidden; |
| 15 padding: 0; | 15 padding: 0; |
| 16 width: 100%; | 16 width: 100%; |
| 17 } | 17 } |
| 18 .monospace { | 18 .monospace { |
| 19 font-family: monospace; | 19 font-family: monospace; |
| 20 white-space: pre-wrap; | 20 white-space: pre-wrap; |
| 21 } | 21 } |
| 22 iframe.use_all_space { | 22 iframe.use_all_space { |
| 23 margin: 0; | 23 margin: 0; |
| 24 min-height: 80%; | 24 min-height: 800px; |
| 25 overflow-y: hidden; | 25 overflow-y: hidden; |
| 26 padding: 0; | 26 padding: 0; |
| 27 width: 100%; | 27 width: 100%; |
| 28 } | 28 } |
| 29 </style> | 29 </style> |
| 30 | 30 |
| 31 {% endblock %} | 31 {% endblock %} |
| 32 | 32 |
| 33 {% block body %} | 33 {% block body %} |
| 34 | 34 |
| 35 <h1>File browser</h1> | 35 <h1>File browser</h1> |
| 36 | 36 |
| 37 Enter the namespace and digest of an object:<br> | 37 Enter the namespace and digest of an object:<br> |
| 38 <form id="form1" method="GET"> | 38 <form id="form1" method="GET"> |
| 39 <input id="namespace" name="namespace" value="{{namespace}}" /><br> | 39 <input id="namespace" name="namespace" value="{{namespace}}" /><br> |
| 40 <input id="digest" name="digest" maxlength=40 size=40 value="{{digest}}" /> | 40 <input id="digest" name="digest" maxlength=40 size=40 value="{{digest}}" /> |
| 41 <br> | 41 <br> |
| 42 <input type=submit value="Load item"/><br> | 42 <input type=submit value="Load item"/><br> |
| 43 </form> | 43 </form> |
| 44 <hr> | 44 <hr> |
| 45 | 45 |
| 46 <div id="iframe-entry"></div> | 46 <div id="iframe-entry"></div> |
| 47 <iframe id="content" class="use_all_space" sandbox="allow-same-origin allow-popu
ps" src="/content?namespace={{namespace}}&digest={{digest}}"> | 47 <script> |
| 48 function fixHeight(){ |
| 49 var i = document.getElementById("content"); |
| 50 // We only have access to the iframe's inner content because it is a same-orig
in |
| 51 // request. Add 40 pixels to avoid a nested horizontal scroll bar. |
| 52 i.height = i.contentWindow.document.body.scrollHeight + 40; |
| 53 } |
| 54 </script> |
| 55 <iframe id="content" class="use_all_space" sandbox="allow-same-origin allow-popu
ps" src="/content?namespace={{namespace}}&digest={{digest}}" onload="fixHeight()
"> |
| 48 </iframe> | 56 </iframe> |
| 49 {% endblock %} | 57 {% endblock %} |
| OLD | NEW |