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 /* This Source Code Form is subject to the terms of the Mozilla Public
2 * License, v. 2.0. If a copy of the MPL was not distributed with this
3 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
5 .devtools-toolbar {
6 -moz-appearance: none;
7 padding:4px 3px;border-bottom-width: 1px;
8 border-bottom-style: solid;
9 }
11 #devtools-menu.devtools-menulist,
12 .devtools-toolbarbutton#devtools-menu {
13 -moz-appearance: none;
14 -moz-box-align: center;
15 min-width: 78px;
16 min-height: 22px;
17 text-shadow: 0 -1px 0 hsla(210,8%,5%,.45);
18 border: 1px solid hsla(210,8%,5%,.45);
19 border-radius: 3px;
20 background: linear-gradient(hsla(212,7%,57%,.35), hsla(212,7%,57%,.1)) padding-box;
21 box-shadow: 0 1px 0 hsla(210,16%,76%,.15) inset, 0 0 0 1px hsla(210,16%,76%,.15) inset, 0 1px 0 hsla(210,16%,76%,.15);
22 margin: 0 3px;
23 color: inherit;
24 }
26 .devtools-toolbarbutton > hbox.toolbarbutton-menubutton-button {
27 -moz-box-orient: horizontal;
28 }
30 .devtools-menulist:active,
31 #devtools-toolbarbutton:focus {
32 outline: 1px dotted hsla(210,30%,85%,0.7);
33 outline-offset : -4px;
34 }
36 .devtools-toolbarbutton:not([label]) {
37 min-width: 32px;
38 }
40 .devtools-toolbarbutton:not([label]) > .toolbarbutton-text {
41 display: none;
42 }
44 .devtools-toolbarbutton:not([checked=true]):hover:active {
45 border-color: hsla(210,8%,5%,.6);
46 }
48 .devtools-menulist["open" ="true"],
49 .devtools-toolbarbutton["open" = true],
50 .devtools-toolbarbutton[checked= "true"] {
51 border-color: hsla(210,8%,5%,.6) !important;
52 }
54 .devtools-toolbarbutton["checked"="true"] {
55 color: hsl(208,100%,60%);
56 }
58 .devtools-toolbarbutton[checked=true]:hover {
59 background-color: transparent !important;
60 }
62 .devtools-toolbarbutton[checked=true]:hover:active {
63 background-color: hsla(210,8%,5%,.2) !important;
64 }
66 .devtools-toolbarbutton[type=menu-button] > .toolbarbutton-menubutton-button {
67 -moz-appearance: none;
68 }
70 .devtools-sidebar-tabs > tabs > tab:first-of-type {
71 -moz-margin-start: -3px;
72 }
74 .devtools-sidebar-tabs > tabs > tab:not(:last-of-type) {
75 background-size: calc(100% - 2px) 100%, 1px 100%;
76 }
78 .hidden-labels-box:not(.visible) > label,
79 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
80 display: none;
81 }
83 /* Maximize the size of the viewport when the window is small */
84 @media (max-width: 800px) {
85 .category-name {
86 display: none;
87 }
88 }
90 @media all and (min-width: 300px) {
91 #error-box {
92 max-width: 50%;
93 margin: 0 auto;
94 background-image: url('chrome://global/skin/icons/information-32.png');
95 min-height: 36px;
96 -moz-padding-start: 38px;
97 }
99 button {
100 width: auto !important;
101 min-width: 150px;
102 }
104 @keyframes downloadsIndicatorNotificationFinish {
105 from { opacity: 0; transform: scale(1); }
106 20% {
107 opacity: .65;
108 animation-timing-function: ease-in;
109 } to { opacity: 0;
110 transform: scale(8); }
111 }
112 }
114 @keyframes smooth {
115 from { opacity: 0; transform: scale(1); }
116 20% { opacity: .65; animation-timing-function: ease-in; }
117 to {
118 opacity : 0;
119 transform: scale(8);
120 }
121 }