Add an HTML file where JavaScript changes text color

I wanted this for testing incremental layout, but it's also useful to illustrate a bug I just found.
servo · bors-servo · Jul 25, 2013 · Jul 24, 2013 · Jul 24, 2013 · 350c0a61c6c705b2f4c1b095064ee337f17a1c9e
commit 350c0a61c6c705b2f4c1b095064ee337f17a1c9e
diff --git a/src/test/html/color-change-text.html b/src/test/html/color-change-text.html
@@ -0,0 +1,14 @@
+<!DOCTYPE html>
+<html>
+<head>
+<meta charset='utf-8'>
+<style>
+.red  { color: red;  }
+.blue { color: blue; }
+</style>
+<script src="color-change-text.js"></script>
+</head>
+<body>
+<div id="change" class="red">Hello, World!</div>
+</body>
+</html>
diff --git a/src/test/html/color-change-text.js b/src/test/html/color-change-text.js
@@ -0,0 +1,3 @@
+window.setTimeout(function () {
+    document.getElementsByTagName('div')[0].setAttribute('class', 'blue');
+}, 1000);