| 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 html { -webkit-writing-mode: vertical-lr; } | 8 html { -webkit-writing-mode: vertical-lr; } |
| 9 body { font-family: monospace; } | 9 body { font-family: monospace; } |
| 10 #wrapper { font-size: 30px; } | 10 #wrapper { font-size: 30px; } |
| (...skipping 84 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 95 compareArrays(getRangeAt(range3, 0), ["box1", 0, "box1", 1]); | 95 compareArrays(getRangeAt(range3, 0), ["box1", 0, "box1", 1]); |
| 96 | 96 |
| 97 function hideRegionsAndFlows() { | 97 function hideRegionsAndFlows() { |
| 98 document.getElementById("region1").style.visibility = "hidden"; | 98 document.getElementById("region1").style.visibility = "hidden"; |
| 99 document.getElementById("region2").style.visibility = "hidden"; | 99 document.getElementById("region2").style.visibility = "hidden"; |
| 100 document.getElementById("region3").style.visibility = "hidden"; | 100 document.getElementById("region3").style.visibility = "hidden"; |
| 101 } | 101 } |
| 102 | 102 |
| 103 hideRegionsAndFlows(); | 103 hideRegionsAndFlows(); |
| 104 </script> | 104 </script> |
| 105 <script src="../js/resources/js-test-post.js"></script> | |
| 106 </body> | 105 </body> |
| 107 </html> | 106 </html> |
| OLD | NEW |