| <!DOCTYPE html> |
| <html> |
| <head> |
| <style type="text/css" media="screen"> |
| #box { |
| border-top-left-radius: 99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999%; |
| border-top-right-radius: 0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009%; |
| } |
| </style> |
| <script type="text/javascript" charset="utf-8"> |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| </script> |
| </head> |
| <body> |
| <p>This test should not crash.</p> |
| <div id="box"></div> |
| <div id="output"></div> |
| <script type="text/javascript" charset="utf-8"> |
| var output = document.getElementById('output'); |
| |
| var rule = document.styleSheets[0].cssRules[0]; |
| output.innerHTML += rule.style.borderTopLeftRadius + "<br>"; |
| output.innerHTML += rule.style.borderTopRightRadius; |
| </script> |
| </body> |
| </html> |
