| 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%; |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 45 | 45 |
| 46 <div id="iframe-entry"></div> | 46 <div id="iframe-entry"></div> |
| 47 <script> | 47 <script> |
| 48 function fixHeight(){ | 48 function fixHeight(){ |
| 49 var i = document.getElementById("content"); | 49 var i = document.getElementById("content"); |
| 50 // We only have access to the iframe's inner content because it is a same-orig
in | 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. | 51 // request. Add 40 pixels to avoid a nested horizontal scroll bar. |
| 52 i.height = i.contentWindow.document.body.scrollHeight + 40; | 52 i.height = i.contentWindow.document.body.scrollHeight + 40; |
| 53 } | 53 } |
| 54 </script> | 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()
"> | 55 <iframe id="content" class="use_all_space" sandbox="allow-same-origin allow-popu
ps" |
| 56 src="/content?namespace={{namespace}}&digest={{digest}}{% if as is defin
ed %}&as={{as}}{% endif %}" |
| 57 onload="fixHeight()"> |
| 56 </iframe> | 58 </iframe> |
| 57 {% endblock %} | 59 {% endblock %} |
| OLD | NEW |