2 <script src=
"resources/text-based-repaint.js"></script>
6 document
.getElementById('div').style
.width
= '400px';
8 window
.onload
= runRepaintTest
;
20 border: green
10px solid;
24 Tests repaint when a box with border is resized.
25 Passes if the result paint rects cover all changed part,
26 the new border is correctly drawn and there is no residue of the old border.