Editor for altering the style of Bootstrap.css