1 /* vim:set ts=2 sw=2 sts=2 et: */
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/. */
6 /* CSS Variables specific to the devtools toolbar that aren't defined by the themes */
10 --toolbar-tab-hover: #FFCF00;
11 --toolbar-tab-hover-active: #FF9F00;
12 --searchbox-background-color: #000000;
13 --searchbox-border-color: #9C9CFF;
14 --searcbox-no-match-background-color: #400000;
15 --searcbox-no-match-border-color: #FF0000;
16 --magnifying-glass-image: url(images/search.svg);
17 --filter-image: url(images/filter.svg);
18 --tool-options-image: url(images/tool-options-tbutton.svg);
19 --icon-filter: invert(1);
20 --checked-icon-filter: url(images/filters.svg#checked-icon-state);
21 --toolbar-button-border-color: #A09090;
26 .devtools-sidebar-tabs tabs {
29 /* border-bottom-width: 1px;*/
33 box-sizing: border-box;
34 font: 11px "Liberation Sans",Arial,Tahoma,Helvetica,sans-serif;
41 border-bottom: 3px solid var(--theme-body-background);
44 .devtools-toolbar checkbox {
45 /* LCARStrek checkbox colors don't work well against toolbar background */
46 background-color: var(--theme-toolbar-background);
48 line-height: -moz-block-height;
50 .devtools-toolbar checkbox .checkbox-check {
52 .devtools-toolbar checkbox .checkbox-label-box {
54 .devtools-toolbar checkbox .checkbox-label-box .checkbox-label {
57 /* HTML Checkboxes - a lot copied from global/in-content/common.css */
58 /* Hide the actual checkbox */
59 input[type="checkbox"] {
66 label > input[type="checkbox"] { /* old placement of checkbox in label, undo above */
73 /* Create a box to style as the checkbox */
74 input[type="checkbox"] + label::before {
75 display: inline-block;
77 vertical-align: middle;
80 .devtools-searchbox + #browser-style-checkbox-label, /* workaround for old placement of checkbox in label */
81 input[type="checkbox"] + label {
83 color: var(--theme-capped-toolbar-text);
86 input[type="checkbox"] + label::before {
87 -moz-appearance: none;
91 border: 1px solid var(--theme-body-color);
92 margin-inline-end: 3px;
93 margin-inline-start: 2px;
94 background-color: var(--theme-toolbar-background);
95 background-position: center center;
96 background-repeat: no-repeat;
99 input[type="checkbox"]:not(:disabled) + label:hover::before {
100 border-color: var(--theme-hover-background);
102 .devtools-searchbox + #browser-style-checkbox-label:hover, /* workaround for old placement of checkbox in label */
103 input[type="checkbox"]:not(:disabled) + label:hover {
104 color: var(--theme-hover-background);
106 input[type="checkbox"]:checked + label::before {
107 background-image: url("chrome://global/skin/in-content/check.svg#check");
110 input[type="checkbox"]:checked:disabled + label::before {
111 background-image: url("chrome://global/skin/in-content/check.svg#check-disabled");
113 input[type="checkbox"]:checked:not(:disabled) + label:hover::before {
114 background-image: url("chrome://global/skin/in-content/check.svg#check-hover");
116 input[type="checkbox"]:disabled + label::before {
117 border-color: var(--theme-body-color-inactive);
119 input[type="checkbox"]:disabled + label {
120 color: var(--theme-body-color-inactive);
123 .devtools-separator {
126 background-image: linear-gradient(transparent 15%, var(--theme-splitter-color) 15%, var(--theme-splitter-color) 85%, transparent 85%);
127 background-size: 1px 100%;
128 background-repeat: no-repeat;
129 background-position: 0, 1px, 2px;
132 /* HTML toolbars - style them LCARStrek-like */
134 div.devtools-toolbar,
135 div.devtools-tabbar {
136 background-size: calc(100% - 30px);
137 background-image: linear-gradient(90deg, var(--theme-capped-toolbar-background), var(--theme-capped-toolbar-background));
138 background-repeat: no-repeat;
139 background-position: center center;
143 div.devtools-toolbar::before,
144 div.devtools-toolbar::after,
145 div.devtools-tabbar::before,
146 div.devtools-tabbar::after {
151 background-color: var(--theme-toolbar-caps);
154 div.devtools-toolbar::before,
155 div.devtools-tabbar::before {
156 border-radius: 8px 0px 0px 8px;
158 border-inline-end: 3px solid black;
159 margin-inline-end: 2px;
162 div.devtools-toolbar::after,
163 div.devtools-tabbar::after {
164 border-radius: 0px 8px 8px 0px;
166 border-inline-start: 3px solid black;
167 margin-inline-start: auto; /* originally 2px, but auto makes us able to get flexible free space */
170 /* In-tools sidebar */
172 .devtools-sidebar-tabs {
176 .devtools-sidebar-tabs > tabpanels {
181 .devtools-sidebar-tabs tabs {
186 .devtools-sidebar-alltabs {
187 /* -moz-appearance: none;
192 border-width: 0 0 1px 0;
193 border-inline-start-width: 1px;
194 border-style: solid;*/
197 .devtools-sidebar-alltabs .toolbarbutton-icon {
201 .devtools-sidebar-tabs tabs > .tabs-right,
202 .devtools-sidebar-tabs tabs > .tabs-left {
206 .devtools-sidebar-tabs tabs > tab {
214 .devtools-sidebar-tabs tabs > tab:-moz-focusring {
218 .devtools-sidebar-tabs tabs > tab:first-of-type {
219 margin-inline-start: 0;
222 .devtools-sidebar-tabs tabs > tab:last-of-type {
223 border-inline-end-width: 0;
226 .devtools-sidebar-tabs tabs > tab {
229 .devtools-sidebar-tabs tabs > tab[selected],
230 .devtools-sidebar-tabs tabs > tab[selected] + tab {
233 .devtools-sidebar-tabs tabs > tab:first-child {
236 .devtools-sidebar-tabs tabs > tab:hover {
239 .devtools-sidebar-tabs tabs > tab:hover:active {
242 .devtools-sidebar-tabs tabs > tab[selected],
243 .devtools-sidebar-tabs tabs > tab[selected]:hover:active {
246 .hidden-labels-box:not(.visible) > label,
247 .hidden-labels-box.visible ~ .hidden-labels-box > label:last-child {
251 .devtools-invisible-splitter {
252 border-color: transparent;
253 background-color: transparent;
256 .devtools-horizontal-splitter,
257 .devtools-side-splitter {
258 /* background-color: var(--theme-splitter-color);*/
261 /* HACK around hardcoded stylings for the HTML-based sidebar tabs */
262 .tabs .tabs-menu-item,
263 .theme-dark .tabs .tabs-menu-item,
264 .theme-light .tabs .tabs-menu-item {
266 margin-inline-end: 3px !important;
267 padding: 0 !important;
268 border-radius: 8px 8px 0 0;
269 border: 0 !important;
270 background-color: var(--theme-button-background);
272 .tabs .tabs-menu-item a {
273 color: var(--theme-button-color) !important;
274 padding: 0px 3px !important;
276 .tabs .tabs-menu-item.is-active {
277 height: auto !important;
279 .tabs .tabs-navigation {
280 height: auto !important;
281 border: 0 !important;
282 border-bottom: 3px solid var(--theme-body-background) !important;