equal
deleted
inserted
replaced
589 |
589 |
590 // Test for main index page |
590 // Test for main index page |
591 checkOutput("index.html", true, |
591 checkOutput("index.html", true, |
592 "<!DOCTYPE HTML>", |
592 "<!DOCTYPE HTML>", |
593 "<link rel=\"stylesheet\" type=\"text/css\" href=\"stylesheet.css\" title=\"Style\">", |
593 "<link rel=\"stylesheet\" type=\"text/css\" href=\"stylesheet.css\" title=\"Style\">", |
594 "<body onload=\"loadFrames()\">\n" |
594 "<body class=\"frames\" onload=\"loadFrames()\">\n" |
595 + "<script type=\"text/javascript\">\n" |
595 + "<script type=\"text/javascript\">\n" |
596 + "if (targetPage == \"\" || targetPage == \"undefined\")\n" |
596 + "if (targetPage == \"\" || targetPage == \"undefined\")\n" |
597 + " window.location.replace('overview-summary.html');\n" |
597 + " window.location.replace('overview-summary.html');\n" |
598 + "</script>\n" |
598 + "</script>\n" |
599 + "<noscript>JavaScript is disabled on your browser.</noscript>\n" |
599 + "<noscript>JavaScript is disabled on your browser.</noscript>\n" |