Fixes #710 Editors available have wrong width

All editor themes now have full width
Also removes extrabuttons.css (CSS added to each individual theme file)