Removing/changing colors in the editor

[David Mitchell]

We have users who in remarkable lack of foresight, love to use dark colored fonts against a dark background.

I would like to be able to remove the darker colors from the editor. I was told that /clientscript/vbulletin_editor.js could take care of this for me. Opening the file shows that the color options are there, but when I rename or change anything, it doesn't show up in my options in the editor.

Am I doing something wrong, or is there another file that I am not aware of that takes care of this as well.

David.