zedapp/zed — pull request #137 by TheKiteEatingTree (2014-03-15 22:39:00+00:00)
Title: Set up a user.css file to allow easy theme customization

Also allowed themes to have more than one css file so that you can easily use a default theme for the editor and a custom theme for the ui.