In the meantime, here's an easy enough process:
- Copy/paste code into: http://tohtml.com/
- Change background color to black.
- Choose a language. I used IDL for GDB and bash for metasploit. Everything else is easy.
- Click Highlight
- Remove this on the first line: <html><body style='color:#d1d1d1; background:#000000; '><pre>. Seems to be a bug.
- For bash (and probably others), change the purple color #40015a to #66347B. The former is too dark. I like W3's color picker.
For better or worse, doing it manually at least means no browser has to take the time to run a script and render it.