2 <script src=
"resources/text-based-repaint.js"></script>
6 // Though neither border box nor content box changes, should full repaint
7 // because the border width changes.
8 var target
= document
.getElementById('target');
9 target
.style
.padding
= '20px';
10 target
.style
.borderWidth
= '20px';
12 window
.onload
= runRepaintTest
;
23 background-color: green;
29 <div id=
"target"></div>