I'd like to change the editor border from the light blue to an olive green.  I notice the one in this forum is grey.

 

Is there a CSS entry that controls this?