How do you change the Arduino GUI colours?

How do I change the awful red-on-black colour scheme used in the error pane of the Arduino GUI? It's unreadable. I've looked in preferences.txt but can't find anything that looks appropriate,

Have a look in -

It'll be something similar in Windows and Linux

You can change all of them in there as far as I can tell:)

I don't seem to be able to find theme.txt in any of the JAR files in the built executable, where does it end up?

In my case, it’s C:\Documents and Settings<userid>\My Documents\arduino-0017\lib\theme\theme.txt. Look for the file under where you installed the Arduino IDE.

Ah, found it - thanks for the pointer.