| <title>This test that dashed borders are painted at all.</title> |
| for (var i = 1; i < 10; ++i) { |
| var e = document.createElement("div"); |
| e.className = "borderBox"; |
| e.style.width = w + "px"; |
| e.style.borderTopWidth = borderWidth + "px"; |
| document.body.appendChild(e); |
| var hideBox = document.createElement("div"); |
| hideBox.className = "hide"; |
| hideBox.style.left = x + 1 + "px"; |
| hideBox.style.width = w - 1 + "px"; |
| hideBox.style.height = borderWidth + "px"; |
| document.body.appendChild(hideBox); |
| x += (w + 2 * borderWidth); |