Daniel Lichtenberger

Hi Tiark, I didn't see Adriaan's highlighting patch in time so I ended up doing the same thing by myself. I'm using Google's prettify script (http://code.google.com/p/google-code-prettify/), and highlight both input...