.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,
#devtools-side-splitter {
min-width: 0;
width: 3px;
+ border: none;
+ margin: 0 3px;
position: relative;
+ cursor: e-resize;
}
/* In-tools sidebar */
.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 */
/* 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 === */