| <!DOCTYPE HTML> |
| <script src="../resources/text-based-repaint.js"></script> |
| <script> |
| function repaintTest() |
| { |
| // Though neither border box nor content box changes, should full repaint |
| // because the border width changes. |
| var target = document.getElementById('target'); |
| target.style.padding = '20px'; |
| target.style.borderWidth = '20px'; |
| } |
| window.onload = runRepaintAndPixelTest; |
| </script> |
| <style> |
| body { |
| margin: 0; |
| } |
| div { |
| width: 100px; |
| height: 100px; |
| padding: 40px; |
| position: absolute; |
| background-color: green; |
| border-color: blue; |
| border-style: solid; |
| border-width: 0; |
| } |
| </style> |
| <div id="target"></div> |