I have completely dropped my JS code for coloring the source view since I have in front of me a build of Nvu with a colored source view using viewsource.css settings and based on a core hack. I still have a few issues with comments and PIs since these are output with nsXMLContentSerializer and not nsHTMLContentSerializer, and with iframe and noscript elements.