1ideeditorsidebar > dzldockpaned:first-child stackswitcher {
2  margin: 6px;
3}
4ideeditorsidebar .handle {
5 border: 1px solid alpha(@borders, 0.3);
6}
7ideeditorsidebar label.title {
8  margin: 8px 6px 3px 6px;
9  font-weight: bold;
10  font-size: 0.8em;
11}
12ideeditorsidebar list.open-pages row {
13  padding: 1px 0;
14  color: @theme_fg_color;
15}
16ideeditorsidebar list.open-pages row:selected {
17  color: @theme_selected_fg_color;
18}
19ideeditorsidebar list.open-pages row:backdrop {
20  color: @theme_unfocused_fg_color;
21}
22ideeditorsidebar list.open-pages row box > image:first-child {
23  opacity: 0.55;
24}
25ideeditorsidebar list.open-pages row box > image:first-child {
26  margin: 6px 8px;
27  min-height: 16px;
28  min-width: 16px;
29}
30ideeditorsidebar list.open-pages row box > button:last-child {
31  background: none;
32  box-shadow: none;
33  border: none;
34  padding: 0;
35  margin: 0 9px 0 6px;
36  color: @theme_fg_color;
37  opacity: 0.55;
38}
39ideeditorsidebar list.open-pages row box > button:last-child:hover {
40  opacity: 1;
41}
42ideeditorsidebar list.open-pages row box > button:last-child image {
43  min-height: 16px;
44  min-width: 16px;
45}
46ideeditorsidebar list.open-pages row box > button:last-child:backdrop {
47  color: @theme_unfocused_fg_color;
48}
49ideeditorsidebar label.error {
50  color: @error_color;
51  font-weight: bold;
52}
53ideeditorsidebar label.error:backdrop {
54  font-weight: normal;
55}
56ideeditorproperties button {
57  padding: 2px 12px;
58}
59ideeditorproperties checkbutton {
60  margin: 8px 0 0 0;
61  outline-offset: 2px;
62  padding: 0;
63}
64ideeditorproperties checkbutton check {
65  margin: 0 8px 0 0;
66}
67ideeditorproperties treeview {
68  color: @theme_fg_color;
69}
70ideeditorproperties treeview:selected:backdrop,
71ideeditorproperties treeview:selected {
72  color: @theme_selected_fg_color;
73}
74ideeditorproperties treeview:backdrop {
75  color: @theme_unfocused_fg_color;
76}
77ideeditorproperties button.control.flat {
78  padding: 0;
79  margin: 0 8px 0 0;
80  min-width: 16px;
81  min-height: 16px;
82}
83ideeditorsidebar .flat-menu-button {
84  border: none;
85  background: transparent;
86  box-shadow: none;
87  opacity: 0.5;
88  padding: 0;
89  margin: 0;
90  outline-offset: -3px;
91}
92ideeditorsidebar .flat-menu-button:checked,
93ideeditorsidebar .flat-menu-button:hover {
94  opacity: 1;
95}
96
97/* utilities panel buttons */
98ideeditorutilities dzltab {
99  background: none;
100  background-color: @theme_bg_color;
101  background-image: none;
102  background-size: 6px 6px, 6px 6px;
103  background-repeat: no-repeat;
104  background-position: 3px 3px;
105  padding: 6px 8px;
106  margin: 0;
107  border-style: solid;
108  border-color: @borders;
109  border-width: 1px 1px 0 1px;
110}
111ideeditorutilities dzltab:checked {
112  background-color: mix(@theme_bg_color, @borders, 0.3);
113}
114ideeditorutilities dzltab:hover {
115  background-color: mix(@theme_bg_color, @borders, 0.1);
116}
117ideeditorutilities dzltab:first-child {
118  border-radius: 3px 3px 0 0;
119  border-width: 1px 1px 0 1px;
120}
121ideeditorutilities dzltab:last-child {
122  border-radius: 0 0 3px 3px;
123  border-bottom-width: 1px;
124}
125
126ideeditorutilities dzltab.needs-attention {
127  background-image: -gtk-gradient(radial, center center, 0, center center, 0.5, to(@theme_selected_bg_color), to(transparent));
128  background-size: 6px 6px, 6px 6px;
129  background-repeat: no-repeat;
130  background-position: 3px 3px;
131}
132ideeditorutilities dzltabstrip {
133  margin: 5px;
134  border-style: none;
135}
136
137/* hide extra textview cursors for non-visible views:
138 * https://gitlab.gnome.org/GNOME/gnome-builder/issues/999
139 */
140textview:not(:focus) text {
141  caret-color: transparent;
142  -gtk-secondary-caret-color: transparent;
143}
144
145
146vte-terminal {
147  background-color: @content_view_bg;
148  color: @theme_fg_color;
149}
150
151textview.source-map {
152  font-size: 1.75pt;
153  /* we can't do the following in GTK 3, but supported in 4.4 */
154  /* line-height: 4px; */
155}
156textview.source-map .scrubber {
157  border-radius: 5px;
158}
159