OLD | NEW |
1 <html> | 1 <html> |
2 <head> | 2 <head> |
3 <style> | 3 <style> |
4 body { | 4 body { |
5 margin: 0; | 5 margin: 0; |
6 min-height: 1000px; | 6 min-height: 1000px; |
7 } | 7 } |
8 #test { | 8 #test { |
9 width: 100px; | 9 width: 100px; |
10 height: 100px; | 10 height: 100px; |
(...skipping 23 matching lines...) Expand all Loading... |
34 #test { height: 400px; } | 34 #test { height: 400px; } |
35 } | 35 } |
36 #pointer { | 36 #pointer { |
37 width: 10px; | 37 width: 10px; |
38 height: 10px; | 38 height: 10px; |
39 } | 39 } |
40 @media all and (pointer: coarse) | 40 @media all and (pointer: coarse) |
41 { | 41 { |
42 #pointer { height: 20px; } | 42 #pointer { height: 20px; } |
43 } | 43 } |
44 @media all and (hover: on-demand) | 44 @media all and (hover: none) |
45 { | 45 { |
46 #pointer { width: 20px; } | 46 #pointer { width: 20px; } |
47 } | 47 } |
48 </style> | 48 </style> |
49 | 49 |
50 <script> | 50 <script> |
51 function dumpSize(id) | 51 function dumpSize(id) |
52 { | 52 { |
53 var div = document.querySelector("#" + id); | 53 var div = document.querySelector("#" + id); |
54 return div.offsetWidth + "x" + div.offsetHeight; | 54 return div.offsetWidth + "x" + div.offsetHeight; |
55 } | 55 } |
56 </script> | 56 </script> |
57 </head> | 57 </head> |
58 <body> | 58 <body> |
59 <div id="test"></div> | 59 <div id="test"></div> |
60 <div id="pointer"></div> | 60 <div id="pointer"></div> |
61 </body> | 61 </body> |
62 </html> | 62 </html> |
OLD | NEW |