Bug 942292 - DevTools themes - make the toolbars thinner;r=vporof