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