Bug 958048 - Remove double scrollbar from DevTools options pane with resolution < 800;r=pbrosset