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