<!DOCTYPE html>
<style>
body {
margin: 0;
}
#div {
position: absolute;
top: 100px;
left: 100px;
width: 400px;
height: 200px;
border: green 10px solid;
}
</style>
<div>
Tests repaint when a box with border is resized.
Passes if the result paint rects cover all changed part,
the new border is correctly drawn and there is no residue of the old border.
</div>
<div id="div"></div>