The Tor Browser / file diff

     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/browser/themes/shared/devtools/highlighter.inc.css	Wed Dec 31 06:09:35 2014 +0100
     1.3 @@ -0,0 +1,102 @@
     1.4 +%if 0
     1.5 +/* This Source Code Form is subject to the terms of the Mozilla Public
     1.6 + * License, v. 2.0. If a copy of the MPL was not distributed with this
     1.7 + * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
     1.8 +%endif
     1.9 +
    1.10 +/* Box model highlighter */
    1.11 +svg|g.box-model-container {
    1.12 +  opacity: 0.4;
    1.13 +}
    1.14 +
    1.15 +svg|polygon.box-model-content {
    1.16 +  fill: #80d4ff;
    1.17 +}
    1.18 +
    1.19 +svg|polygon.box-model-padding {
    1.20 +  fill: #66cc52;
    1.21 +}
    1.22 +
    1.23 +svg|polygon.box-model-border {
    1.24 +  fill: #ffe431;
    1.25 +}
    1.26 +
    1.27 +svg|polygon.box-model-margin {
    1.28 +  fill: #d89b28;
    1.29 +}
    1.30 +
    1.31 +svg|polygon.box-model-content,
    1.32 +svg|polygon.box-model-padding,
    1.33 +svg|polygon.box-model-border,
    1.34 +svg|polygon.box-model-margin {
    1.35 +  stroke: none;
    1.36 +}
    1.37 +
    1.38 +svg|line.box-model-guide-top,
    1.39 +svg|line.box-model-guide-right,
    1.40 +svg|line.box-model-guide-bottom,
    1.41 +svg|line.box-model-guide-left {
    1.42 +  stroke: #08C;
    1.43 +  stroke-dasharray: 5 3;
    1.44 +}
    1.45 +
    1.46 +/* Highlighter - Node Infobar */
    1.47 +
    1.48 +.highlighter-nodeinfobar {
    1.49 +  color: hsl(216,33%,97%);
    1.50 +  border-radius: 3px;
    1.51 +  background: hsl(214,13%,24%) no-repeat padding-box;
    1.52 +  padding: 5px;
    1.53 +  /* Avoid cases where the infobar is smaller than the arrow, when the text is
    1.54 +  short */
    1.55 +  min-width: 75px;
    1.56 +}
    1.57 +
    1.58 +/* Highlighter - Node Infobar - text */
    1.59 +
    1.60 +.highlighter-nodeinfobar-text {
    1.61 +  text-align: center;
    1.62 +  /* 100% - size of the buttons and margins */
    1.63 +  max-width: calc(100% - 2 * (26px + 6px));
    1.64 +  padding-bottom: 1px;
    1.65 +}
    1.66 +
    1.67 +html|*.highlighter-nodeinfobar-tagname {
    1.68 +  color: hsl(285,100%,75%);
    1.69 +}
    1.70 +
    1.71 +html|*.highlighter-nodeinfobar-id {
    1.72 +  color: hsl(103,46%,54%);
    1.73 +}
    1.74 +
    1.75 +html|*.highlighter-nodeinfobar-classes,
    1.76 +html|*.highlighter-nodeinfobar-pseudo-classes {
    1.77 +  color: hsl(200,74%,57%);
    1.78 +}
    1.79 +
    1.80 +/* Highlighter - Node Infobar - box & arrow */
    1.81 +
    1.82 +.highlighter-nodeinfobar-arrow {
    1.83 +  width: 14px;
    1.84 +  height: 14px;
    1.85 +  -moz-margin-start: calc(50% - 7px);
    1.86 +  transform: rotate(-45deg);
    1.87 +  background-clip: padding-box;
    1.88 +  background-repeat: no-repeat;
    1.89 +}
    1.90 +
    1.91 +.highlighter-nodeinfobar-arrow-top {
    1.92 +  margin-bottom: -8px;
    1.93 +  margin-top: 8px;
    1.94 +  background-image: linear-gradient(to top right, transparent 50%, hsl(210,2%,22%) 50%);
    1.95 +}
    1.96 +
    1.97 +.highlighter-nodeinfobar-arrow-bottom {
    1.98 +  margin-top: -8px;
    1.99 +  margin-bottom: 8px;
   1.100 +  background-image: linear-gradient(to bottom left, transparent 50%, hsl(210,2%,22%) 50%);
   1.101 +}
   1.102 +
   1.103 +.highlighter-nodeinfobar-container[hide-arrow] > .highlighter-nodeinfobar {
   1.104 +  margin: 7px 0;
   1.105 +}