Documentation request: customize themes - especially the ace editor.

Hi,

I have a really hard time to change the colors of the wiki. I found custom.css and I am able to change at least some of the colors. But so far I could not really find out how to change the colors of the editor. I guess there should be some sort of extra CSS.