diff --git a/Tools/pynche/html40colors.txt b/Tools/pynche/html40colors.txt
new file mode 100644
index 00000000000..3eeb0a10a89
--- /dev/null
+++ b/Tools/pynche/html40colors.txt
@@ -0,0 +1,17 @@
+# HTML 4.0 color names
+Black #000000
+Silver #c0c0c0
+Gray #808080
+White #ffffff
+Maroon #800000
+Red #ff0000
+Purple #800080
+Fuchsia #ff00ff
+Green #008000
+Lime #00ff00
+Olive #808000
+Yellow #ffff00
+Navy #000080
+Blue #0000ff
+Teal #008080
+Aqua #00ffff