Now I have a tool that does it all for me: Colorer-take5. It integrates with the Eclipse development environment and works like a charm. I just grab the HTML it generates, stick it in
<pre>tags like so:
<div style="color:#AAAAAA; background-color:#0000AA; font-size: small; width: 400px; overflow: auto; padding: 1em"><pre>
<!-- generated HTML -->
Bam, done. And it's free!
Now I just have to figure out how to make my own coloring scheme.....