Got another article up on Wptuts+ about adding a Custom CSS editor your theme using a great online editing tool called ACE.

Check it out: http://wp.tutsplus.com/tutorials/theme-development/adding-a-custom-css-editor-to-your-theme-using-ace/