4 <style type=
"text/css" media=
"screen">
6 border-top-left-radius:
99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999%;
7 border-top-right-radius:
0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009%;
10 <script type=
"text/javascript" charset=
"utf-8">
11 if (window.testRunner)
12 testRunner.dumpAsText();
16 <p>This test should not crash.
</p>
18 <div id=
"output"></div>
19 <script type=
"text/javascript" charset=
"utf-8">
20 var output = document.getElementById('output');
22 var rule = document.styleSheets[
0].cssRules[
0];
23 output.innerHTML += rule.style.borderTopLeftRadius +
"<br>";
24 output.innerHTML += rule.style.borderTopRightRadius;