OLD | NEW |
1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
2 <html> | 2 <html> |
3 <head> | 3 <head> |
4 <meta charset="utf-8"> | 4 <meta charset="utf-8"> |
5 <script src="../js/resources/js-test-pre.js"></script> | 5 <script src="../js/resources/js-test-pre.js"></script> |
6 <script src="resources/helper.js"></script> | 6 <script src="resources/helper.js"></script> |
7 <style> | 7 <style> |
8 body { font-family: monospace; } | 8 body { font-family: monospace; } |
9 #wrapper { font-size: 50px; } | 9 #wrapper { font-size: 50px; } |
10 .border { border: 1px solid red; } | 10 .border { border: 1px solid red; } |
(...skipping 29 matching lines...) Expand all Loading... |
40 shouldEvaluateTo("range3.length", 0); | 40 shouldEvaluateTo("range3.length", 0); |
41 | 41 |
42 function hideRegionsAndFlows() { | 42 function hideRegionsAndFlows() { |
43 document.getElementById("region1").style.visibility = "hidden"; | 43 document.getElementById("region1").style.visibility = "hidden"; |
44 document.getElementById("region2").style.visibility = "hidden"; | 44 document.getElementById("region2").style.visibility = "hidden"; |
45 document.getElementById("region3").style.visibility = "hidden"; | 45 document.getElementById("region3").style.visibility = "hidden"; |
46 } | 46 } |
47 | 47 |
48 hideRegionsAndFlows(); | 48 hideRegionsAndFlows(); |
49 </script> | 49 </script> |
50 <script src="../js/resources/js-test-post.js"></script> | |
51 </body> | 50 </body> |
52 </html> | 51 </html> |
OLD | NEW |