ASCII text
1
/*********
2
* Tilix *
3
*********/
4
overlay > revealer {
5
&.left > scrolledwindow.frame,
6
&.right > scrolledwindow.frame {
7
border-style: none;
8
box-shadow: $shadow_4;
9
}
10
&.left > scrolledwindow.frame { margin-right: 32px; }
12
&.right > scrolledwindow.frame { margin-left: 32px; }
14
}
15
.terminix-session-sidebar, // for backwards compatibility
17
.tilix-session-sidebar { background-image: image($lighter_bg_color); }
18
button.image-button.session-new-button { min-width: $medium_size - 4px; }
20
/***********
23
* Eclipse *
24
***********/
25
window.background > box.vertical > scrolledwindow > widget toolbar {
26
padding: 2px;
27
separator,
29
button { margin: 2px; }
30
button { border-radius: 2px; }
32
}
33
/***********
36
* Firefox *
37
***********/
38
$firefox_border_color: scale-alpha($black, 0.2);
39
window.background:not(.csd) {
41
> widget {
42
// for the bookmark toolbar's separators
43
> separator { color: $firefox_border_color; }
44
// avoid black border
46
> scrollbar { background-clip: border-box; }
47
// emphasize borders color
49
> scrollbar,
50
> frame > border { border-color: $firefox_border_color; }
51
> entry,
53
> button > button {
54
border: 1px solid $firefox_border_color;
55
border-radius: 2px + 1px;
56
box-shadow: none;
57
}
58
> entry {
60
min-height: 32px - 2px;
61
&:focus { border-color: $primary_color; }
63
}
64
> button > button {
66
padding: 4px 8px;
67
background-size: auto;
68
// color: $fg_color;
69
&:hover { background-image: image(gtkalpha(currentColor, 0.1 / 2)); }
71
&:active { background-image: image(gtkalpha(currentColor, 0.1)); }
73
}
74
}
75
// remove ugly border around the menus
77
> window > menu,
78
> menu > menu { border: none; }
79
// use 16px assets for hard-coded sizing
81
> window.background > menu > menuitem > check,
82
> widget > checkbutton > check {
83
& {
84
border-radius: 2px;
85
-gtk-outline-radius: 2px;
86
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.svg")),
87
-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.symbolic.png")));
88
}
89
&:checked {
91
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.svg")),
92
-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.symbolic.png")));
93
}
94
&:indeterminate {
96
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.svg")),
97
-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.symbolic.png")));
98
}
99
}
100
> window.background > menu > menuitem > radio,
102
> widget > radiobutton > radio {
103
& {
104
border-image: none;
105
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.svg")),
106
-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.symbolic.png")));
107
}
108
&:checked {
110
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.svg")),
111
-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.symbolic.png")));
112
}
113
&:indeterminate {
115
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")),
116
-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.symbolic.png")));
117
}
118
}
119
}
120
// Firefox now uses this for selected items
122
text:selected { @extend %selected_items; }
123
// for backwards compatibility
125
window.background:not(.csd) {
126
> widget {
127
> menubar {
128
color: $secondary_titlebar_fg_color;
129
&:hover { color: $titlebar_fg_color; }
131
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
133
}
134
> frame { color: $firefox_border_color; }
136
> checkbutton > check,
138
> radiobutton > radio {
139
margin: 0;
140
padding: 0;
141
}
142
}
143
> window.background > menu > separator { color: $border_color; }
145
}
146
/***********
149
* Synapse *
150
***********/
151
box.vertical > widget > widget:selected { background-color: $primary_color; }
152