Bug 980248 - DevTools Themes: Extra top border showing up on responsive-container splitters when width > 700px;r=pbrosset