X-Git-Url: https://git-public.kairo.at/?a=blobdiff_plain;ds=sidebyside;f=LCARStrek%2Fbrowser%2Fdevtools%2Fcommon.css;h=dedde43f0107ffa70d99bfc24697cc1639c7b14e;hb=d2ce251d5603e79f6c56e5c46b711c8a85403418;hp=b226c7e25af013fabf063c066927d57b36be6c6e;hpb=82b4252f7e41007fc93fa3b94fd7418a07c03fd1;p=themes.git

diff --git a/LCARStrek/browser/devtools/common.css b/LCARStrek/browser/devtools/common.css
index b226c7e2..dedde43f 100644
--- a/LCARStrek/browser/devtools/common.css
+++ b/LCARStrek/browser/devtools/common.css
@@ -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 */
@@ -279,6 +270,7 @@ devtools-menulist:-moz-focusring,
   border: 1px solid #FF9F00;
   background-color: #000000;
   border-radius: 3px;
+  overflow-x: hidden;
   max-height: 40rem;
 }
 
@@ -341,3 +333,111 @@ 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 .panel-arrowcontent {
+  /* If the tooltip uses a <panel> XUL element instead */
+  padding: 4px;
+}
+
+.devtools-tooltip .panel-arrowcontainer {
+  /* Reseting the transition used when panels are shown */
+  transition: none;
+  /* Panels slide up/down/left/right when they appear using a transform.
+  Since we want to remove the transition, we don't need to transform anymore
+  plus it can interfeer by causing mouseleave events on the underlying nodes */
+  transform: none;
+}
+
+.devtools-tooltip[clamped-dimensions] {
+  max-height: 400px;
+  max-width: 400px;
+}
+.devtools-tooltip[clamped-dimensions] .panel-arrowcontent {
+  overflow: hidden;
+}
+
+/* Tooltip: Simple Text */
+
+.devtools-tooltip-simple-text {
+  background: #000000;
+  max-width: 400px;
+  margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */
+  padding: 8px 12px;
+  white-space: pre-wrap;
+}
+
+.devtools-tooltip-simple-text:first-child {
+  margin-top: -4px;
+}
+
+.devtools-tooltip-simple-text:last-child {
+  margin-bottom: -4px;
+}
+
+.devtools-tooltip-simple-text {
+  background-color: #000000;
+  max-width: 400px;
+  margin: 0 -4px; /* Compensate for the .panel-arrowcontent padding. */
+  padding: 8px 12px;
+  white-space: pre-wrap;
+}
+
+.devtools-tooltip-simple-text:first-child {
+  margin-top: -4px;
+}
+
+.devtools-tooltip-simple-text:last-child {
+  margin-bottom: -4px;
+}
+
+/* Tooltip: Variables View */
+
+.devtools-tooltip-variables-view-box {
+  margin: -4px; /* Compensate for the .panel-arrowcontent padding. */
+}
+
+/* Tooltip: Tiles */
+
+.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 === */