Bug 946326 - Dark theme gutter is transparent;r=nfitzgerald
Bug 941673 - DevTools themes - move toolbar and tab styles into shared CSS file;r=paul

--HG--
rename : browser/devtools/framework/toolbox.css => browser/devtools/framework/options-panel.css