| 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 |