+
+/* Horizontal vs. vertical layout */
+
+#vertical-layout-panes-container {
+ min-height: 35vh;
+ max-height: 80vh;
+}
+
+#body[layout=vertical] #instruments-pane {
+ margin: 0 !important;
+ /* To prevent all the margin hacks to hide the sidebar. */
+}
+
+#body[layout=vertical] #sources-pane > tabs {
+ -moz-border-end: none;
+}
+
+#body[layout=vertical] .side-menu-widget-container,
+#body[layout=vertical] .side-menu-widget-empty-text {
+ box-shadow: none !important;
+}
+
+#body[layout=vertical] .side-menu-widget-item-arrow {
+ background-image: none !important;
+}
+
+/* === END debugger.inc.css === */