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 |