Now all I need is a good way to modify the color scheme. I can just brute force it in the html.properties file, but I'd much rather have something more user-friendly. Does such a beast already exist, or do I have to write it?

===

After further evaluation ... It needs more fine-grained hilighting, too. It treats all HTML tags the same. You can't have table tags colored differently from other types of tags, for instance. And in PHP there is only one type of keyword, rather than reserved words and functions.

It looks like these should be doable, but the source is too dense for me to figure it out. And other things are close enough that I don't have a compelling reason to learn C++ just to add it to this.