Bug 1109288 - Make devtools tabbar have less vertical height;r=vporof