I'd like to change the colour scheme slightly though, mainly just to dimly grey out my copious comments which glare too brightly.
I've un-archived the codemirror.css file, and although CSS is completely new territory for me, I expect I should be able to rummage around to find an appropriate different colour code to change in ".cm-s-default .cm-comment {color: #a50;}".
But the code is so obviously well-structured, that I was wondering if there might be an accompanying wizzywig editor that might make colour choices simpler than hacking by numbers?