Adding a Custom CSS Editor to Your Theme Using ACE | Wptuts+

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