-/* Responsive container */
-
-.devtools-responsive-container {
- -moz-box-orient: horizontal;
-}
-
-@media (max-width: 700px) {
- .devtools-responsive-container {
- -moz-box-orient: vertical;
- }
-
- .devtools-responsive-container > .devtools-side-splitter {
- border: 0;
- margin: 3px 0;
- min-height: 3px;
- height: 3px;
- /* In some edge case the cursor is not changed to n-resize */
- cursor: n-resize;
- }
-
- .devtools-responsive-container > .devtools-sidebar-tabs {
- min-height: 35vh;
- max-height: 75vh;
- }
-}
-
-/* Tooltip widget (see browser/devtools/shared/widgets/Tooltip.js) */