diff -r 000000000000 -r 6474c204b198 browser/themes/shared/devtools/highlighter.inc.css --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/browser/themes/shared/devtools/highlighter.inc.css Wed Dec 31 06:09:35 2014 +0100 @@ -0,0 +1,102 @@ +%if 0 +/* This Source Code Form is subject to the terms of the Mozilla Public + * License, v. 2.0. If a copy of the MPL was not distributed with this + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */ +%endif + +/* Box model highlighter */ +svg|g.box-model-container { + opacity: 0.4; +} + +svg|polygon.box-model-content { + fill: #80d4ff; +} + +svg|polygon.box-model-padding { + fill: #66cc52; +} + +svg|polygon.box-model-border { + fill: #ffe431; +} + +svg|polygon.box-model-margin { + fill: #d89b28; +} + +svg|polygon.box-model-content, +svg|polygon.box-model-padding, +svg|polygon.box-model-border, +svg|polygon.box-model-margin { + stroke: none; +} + +svg|line.box-model-guide-top, +svg|line.box-model-guide-right, +svg|line.box-model-guide-bottom, +svg|line.box-model-guide-left { + stroke: #08C; + stroke-dasharray: 5 3; +} + +/* Highlighter - Node Infobar */ + +.highlighter-nodeinfobar { + color: hsl(216,33%,97%); + border-radius: 3px; + background: hsl(214,13%,24%) no-repeat padding-box; + padding: 5px; + /* Avoid cases where the infobar is smaller than the arrow, when the text is + short */ + min-width: 75px; +} + +/* Highlighter - Node Infobar - text */ + +.highlighter-nodeinfobar-text { + text-align: center; + /* 100% - size of the buttons and margins */ + max-width: calc(100% - 2 * (26px + 6px)); + padding-bottom: 1px; +} + +html|*.highlighter-nodeinfobar-tagname { + color: hsl(285,100%,75%); +} + +html|*.highlighter-nodeinfobar-id { + color: hsl(103,46%,54%); +} + +html|*.highlighter-nodeinfobar-classes, +html|*.highlighter-nodeinfobar-pseudo-classes { + color: hsl(200,74%,57%); +} + +/* Highlighter - Node Infobar - box & arrow */ + +.highlighter-nodeinfobar-arrow { + width: 14px; + height: 14px; + -moz-margin-start: calc(50% - 7px); + transform: rotate(-45deg); + background-clip: padding-box; + background-repeat: no-repeat; +} + +.highlighter-nodeinfobar-arrow-top { + margin-bottom: -8px; + margin-top: 8px; + background-image: linear-gradient(to top right, transparent 50%, hsl(210,2%,22%) 50%); +} + +.highlighter-nodeinfobar-arrow-bottom { + margin-top: -8px; + margin-bottom: 8px; + background-image: linear-gradient(to bottom left, transparent 50%, hsl(210,2%,22%) 50%); +} + +.highlighter-nodeinfobar-container[hide-arrow] > .highlighter-nodeinfobar { + margin: 7px 0; +}