third part of syncing LCARStrek with Firefox 32 windows theme changes
[themes.git] / LCARStrek / browser / devtools / markup-view.css
CommitLineData
c29b709d
RK
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/. */
4
5* {
6 padding: 0;
7 margin: 0;
8}
9
3d64e0ce
RK
10.more-nodes {
11 padding-left: 16px;
c29b709d
RK
12}
13
3d64e0ce
RK
14.styleinspector-propertyeditor {
15 border: 1px solid #9C9CFF;
c29b709d
RK
16}
17
3d64e0ce
RK
18
19/* Selected nodes in the tree should have light selected text.
20 theme-selected doesn't work in this case since the text is a
21 sibling of the class, not a child. */
22.theme-selected ~ .editor,
23.theme-selected ~ .editor .theme-fg-color1,
24.theme-selected ~ .editor .theme-fg-color2,
25.theme-selected ~ .editor .theme-fg-color3,
26.theme-selected ~ .editor .theme-fg-color4,
27.theme-selected ~ .editor .theme-fg-color5,
28.theme-selected ~ .editor .theme-fg-color6,
29.theme-selected ~ .editor .theme-fg-color7 {
30 color: #000000; /* Light foreground text */
c29b709d
RK
31}
32
3d64e0ce
RK
33/* In case a node isn't displayed in the page, we fade the syntax highlighting */
34.not-displayed .open,
35.not-displayed .close {
36 opacity: .7;
c29b709d
RK
37}
38
3d64e0ce
RK
39.tag-line {
40 padding-left: 2px;
c29b709d
RK
41}
42
3d64e0ce
RK
43/* Preview */
44
45#previewbar {
46 position: fixed;
47 top: 0;
48 right: 0;
49 width: 90px;
50 background: black;
51 border-left: 1px solid;
52 border-bottom: 1px solid;
53 overflow: hidden;
0142a07b
RK
54}
55
3d64e0ce
RK
56#previewbar {
57 background: #000000; /* Tab Toolbar */
58 border-color: #9C9CFF; /* Splitters */
59}
60
61#preview {
62 position: absolute;
63 top: 0;
64 right: 5px;
65 width: 80px;
66 height: 100%;
67 background-image: -moz-element(#root);
68 background-repeat: no-repeat;
69}
70
71#previewbar.hide,
72#previewbar.disabled {
73 display: none;
74}
75
76#viewbox {
77 position: absolute;
78 top: 0;
79 right: 5px;
80 width: 80px;
81 border: 1px dashed #9C9CFF;
82 background: #000000;
83 outline: 1px solid transparent;
c29b709d 84}