| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <html> | 2 <html> |
| 3 <head> | 3 <head> |
| 4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
| 5 <meta name="viewport" content="width=device-width, user-scalable=no"> |
| 5 <script> | 6 <script> |
| 6 function debug(msg) { | 7 function debug(msg) { |
| 7 document.getElementById('debug').textContent = msg; | 8 document.getElementById('debug').textContent = msg; |
| 8 } | 9 } |
| 9 </script> | 10 </script> |
| 10 <link rel="stylesheet" href="plugin_placeholders.css"></link> | 11 <link rel="stylesheet" href="plugin_placeholders.css"></link> |
| 11 <style> | 12 <style> |
| 12 body { | 13 body { |
| 13 background-color: rgb(128, 128, 128); | 14 background-color: rgb(128, 128, 128); |
| 14 } | 15 } |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 47 <script> | 48 <script> |
| 48 size = document.getElementById('outer'); | 49 size = document.getElementById('outer'); |
| 49 style = getComputedStyle(size); | 50 style = getComputedStyle(size); |
| 50 if (parseInt(style.width) < 32 && parseInt(style.height) < 32) { | 51 if (parseInt(style.width) < 32 && parseInt(style.height) < 32) { |
| 51 i = document.getElementById('close'); | 52 i = document.getElementById('close'); |
| 52 i.parentNode.removeChild(i); | 53 i.parentNode.removeChild(i); |
| 53 } | 54 } |
| 54 </script> | 55 </script> |
| 55 </body> | 56 </body> |
| 56 </html> | 57 </html> |
| OLD | NEW |