| <!DOCTYPE html> |
| <html> |
| <head> |
| <title>This test that dashed borders are painted at all.</title> |
| <style> |
| .borderBox { |
| position: absolute; |
| top: 0px; |
| height: 10px; |
| border-top: ridge red; |
| } |
| |
| .hide { |
| position: fixed; |
| top: 0px; |
| background-color: white; |
| } |
| </style> |
| <head> |
| <body> |
| <script> |
| var borderWidth = 1; |
| var x = 0; |
| for (var i = 1; i < 10; ++i) { |
| w = 10 * i; |
| |
| var e = document.createElement("div"); |
| e.className = "borderBox"; |
| e.style.left = x + "px"; |
| e.style.width = w + "px"; |
| e.style.borderTopWidth = borderWidth + "px"; |
| document.body.appendChild(e); |
| |
| var hideBox = document.createElement("div"); |
| hideBox.className = "hide"; |
| hideBox.style.top = borderWidth / 2 + "px"; |
| hideBox.style.left = x + "px"; |
| hideBox.style.width = w + "px"; |
| hideBox.style.height = borderWidth / 2 + "px"; |
| document.body.appendChild(hideBox); |
| |
| borderWidth += 1; |
| x += (w + 2 * borderWidth); |
| } |
| </script> |
| </body> |
| </html> |
