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.