... toolbar buttons
better readability, was wrong the first time
* Add "Gruvbox Dark" color palette this adds the "gruvbox dark" color palette (https://github.com/morhetz/gruvbox) which is also available for highlight.js and codemirror * add "credits" field * change "credits" field to "license" field