second part of sync for LCARStrek with browser windows/shared theme changes in Firefo...
[themes.git] / LCARStrek / browser / devtools / common.css
index b226c7e25af013fabf063c066927d57b36be6c6e..ca81d073dca5c6cbc98c5fda2d76571e9e1b7f2b 100644 (file)
@@ -54,8 +54,8 @@ devtools-menulist:-moz-focusring,
 .devtools-option-toolbarbutton {
   list-style-image: url("chrome://browser/skin/devtools/option-icon.png");
   -moz-image-region: rect(0px 16px 16px 0px);
-  background: none;
-  border: none;
+/*  background: none;
+  border: none; */
 }
 
 .devtools-option-toolbarbutton:hover,
@@ -178,7 +178,10 @@ devtools-menulist:-moz-focusring,
 #devtools-side-splitter {
   min-width: 0;
   width: 3px;
+  border: none;
+  margin: 0 3px;
   position: relative;
+  cursor: e-resize;
 }
 
 /* In-tools sidebar */
@@ -258,19 +261,7 @@ devtools-menulist:-moz-focusring,
 .devtools-sidebar-tabs > tabs > tab[selected=true]:hover:active {
 }
 
-/* LCARStrek-specific adaptions */
-
-#profiler-chrome {
-  /* HACK for profiler in the dev toolbox in FF 20+. */
-  margin: -3px;
-}
-
-#profiler-chrome > box > box > .devtools-toolbar {
-  border-bottom: none;
-}
-
-
-/********************** shared/devtools/common.inc.css **********************/
+/* === BEGIN common.inc.css === */
 
 /* Autocomplete Popup */
 /* Dark and light theme */
@@ -341,3 +332,51 @@ devtools-menulist:-moz-focusring,
 /*  color: #666;*/
 }
 
+/* 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) */
+
+.devtools-tooltip.devtools-tooltip-tooltip {
+  /* If the tooltip uses a <tooltip> XUL element */
+  padding: 4px;
+  background: #A09090;
+  border-radius: 3px;
+}
+.devtools-tooltip.devtools-tooltip-panel .panel-arrowcontent {
+  /* If the tooltip uses a <panel> XUL element instead */
+  padding: 4px;
+}
+
+.devtools-tooltip-tiles {
+  background-color: #A09090;
+  background-image: linear-gradient(45deg, #9C9CFF 25%, transparent 25%, transparent 75%, #9C9CFF 75%, #9C9CFF),
+    linear-gradient(45deg, #9C9CFF 25%, transparent 25%, transparent 75%, #9C9CFF 75%, #9C9CFF);
+  background-size: 20px 20px;
+  background-position: 0 0, 10px 10px;
+}
+
+/* === END common.inc.css === */