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