}
.devtools-responsive-container > .devtools-side-splitter {
+ /* This is a normally vertical splitter, but we have turned it horizontal
+ due to the smaller resolution */
border: 0;
margin: 0;
min-height: 3px;
height: 3px;
- margin-bottom: -3px;
+ margin-top: -3px;
+
+ /* Reset the vertical splitter styles */
+ width: auto;
+ min-width: 0;
+
/* In some edge case the cursor is not changed to n-resize */
cursor: n-resize;
}