Wed, 31 Dec 2014 06:09:35 +0100
Cloned upstream origin tor-browser at tor-browser-31.3.0esr-4.5-1-build1
revision ID fc1c9ff7c1b2defdbc039f12214767608f46423f for hacking purpose.
1 %if 0
2 /* This Source Code Form is subject to the terms of the Mozilla Public
3 * License, v. 2.0. If a copy of the MPL was not distributed with this
4 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
5 %endif
7 /* Box model highlighter */
8 svg|g.box-model-container {
9 opacity: 0.4;
10 }
12 svg|polygon.box-model-content {
13 fill: #80d4ff;
14 }
16 svg|polygon.box-model-padding {
17 fill: #66cc52;
18 }
20 svg|polygon.box-model-border {
21 fill: #ffe431;
22 }
24 svg|polygon.box-model-margin {
25 fill: #d89b28;
26 }
28 svg|polygon.box-model-content,
29 svg|polygon.box-model-padding,
30 svg|polygon.box-model-border,
31 svg|polygon.box-model-margin {
32 stroke: none;
33 }
35 svg|line.box-model-guide-top,
36 svg|line.box-model-guide-right,
37 svg|line.box-model-guide-bottom,
38 svg|line.box-model-guide-left {
39 stroke: #08C;
40 stroke-dasharray: 5 3;
41 }
43 /* Highlighter - Node Infobar */
45 .highlighter-nodeinfobar {
46 color: hsl(216,33%,97%);
47 border-radius: 3px;
48 background: hsl(214,13%,24%) no-repeat padding-box;
49 padding: 5px;
50 /* Avoid cases where the infobar is smaller than the arrow, when the text is
51 short */
52 min-width: 75px;
53 }
55 /* Highlighter - Node Infobar - text */
57 .highlighter-nodeinfobar-text {
58 text-align: center;
59 /* 100% - size of the buttons and margins */
60 max-width: calc(100% - 2 * (26px + 6px));
61 padding-bottom: 1px;
62 }
64 html|*.highlighter-nodeinfobar-tagname {
65 color: hsl(285,100%,75%);
66 }
68 html|*.highlighter-nodeinfobar-id {
69 color: hsl(103,46%,54%);
70 }
72 html|*.highlighter-nodeinfobar-classes,
73 html|*.highlighter-nodeinfobar-pseudo-classes {
74 color: hsl(200,74%,57%);
75 }
77 /* Highlighter - Node Infobar - box & arrow */
79 .highlighter-nodeinfobar-arrow {
80 width: 14px;
81 height: 14px;
82 -moz-margin-start: calc(50% - 7px);
83 transform: rotate(-45deg);
84 background-clip: padding-box;
85 background-repeat: no-repeat;
86 }
88 .highlighter-nodeinfobar-arrow-top {
89 margin-bottom: -8px;
90 margin-top: 8px;
91 background-image: linear-gradient(to top right, transparent 50%, hsl(210,2%,22%) 50%);
92 }
94 .highlighter-nodeinfobar-arrow-bottom {
95 margin-top: -8px;
96 margin-bottom: 8px;
97 background-image: linear-gradient(to bottom left, transparent 50%, hsl(210,2%,22%) 50%);
98 }
100 .highlighter-nodeinfobar-container[hide-arrow] > .highlighter-nodeinfobar {
101 margin: 7px 0;
102 }