+
+@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-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;
+}
+
+.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 === */