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