+
+/* 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 === */