Thread:Mathmagician/@comment-3508190-20120619000730/@comment-4674838-20120821195015

I wouldn't expect it to happen, but I wouldn't particularly care if it did. Color in the editor isn't important, that's not what editing is about. What is important is that stuff is readable and doesn't strain your eyes.