added an option to change the editor's theme
Make header dark when using a dark theme.
forgot the css on the last commit
Merge pull request #110 from ivonunes/master

Add an option to change the editor's theme