<DOCTYPE html>
<html>
<head>
<title>This tests that dotted borders look ok.</title>
<style>
  body {
    margin: 0px;
  }
</style>
</head>
<body>
<img src="./resources/border-painting-correctness-dotted-expected.png" />
</body>
</html>