| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>This tests that we paint at least one device pixel width border when border-width > 0.</title> |
| <style> |
| div { |
| height: 100px; |
| width: 10px; |
| position: absolute; |
| left: 0px; |
| top: 0px; |
| border: solid 0px green; |
| } |
| </style> |
| </head> |
| <body> |
| <p id="container"></p> |
| <script> |
| var container = document.getElementById("container"); |
| var borderWidth = 0.1; |
| var left = 0; |
| for (var i = 0; i < 50; ++i) { |
| var e = document.createElement("div"); |
| e.style.borderWidth = borderWidth + "px"; |
| e.style.left = left + "px"; |
| container.appendChild(e); |
| borderWidth += 0.01; |
| left += 11; |
| } |
| </script> |
| </body> |
| </html> |
