diff -up devhelp-0.19.1/src/default-prefs-gecko-1-9.js.patch devhelp-0.19.1/src/default-prefs-gecko-1-9.js
--- devhelp-0.19.1/src/default-prefs-gecko-1-9.js.patch	2008-05-25 18:55:37.000000000 +0200
+++ devhelp-0.19.1/src/default-prefs-gecko-1-9.js	2008-10-23 16:47:14.000000000 +0200
@@ -1,2 +1,2 @@
-pref("browser.display.use_document_colors", false);
+//pref("browser.display.use_document_colors", false);