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
// for the bookmark toolbar's separators
42
> widget > separator { color: $firefox_border_color; }
43
// avoid black border
45
> widget > scrollbar { background-clip: border-box; }
46
// emphasize borders color
48
> widget > scrollbar,
49
> widget > frame > border { border-color: $firefox_border_color; }
50
// remove ugly border around the menus
52
> window > menu,
53
> menu > menu { border: none; }
54
// use 16px assets for hard-coded sizing
56
> window.background > menu > menuitem > check,
57
> widget > checkbutton > check {
58
& {
59
border-radius: 2px;
60
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.svg")),
61
-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.symbolic.png")));
62
}
63
&:checked {
65
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.svg")),
66
-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.symbolic.png")));
67
}
68
&:indeterminate {
70
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.svg")),
71
-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.symbolic.png")));
72
}
73
}
74
> window.background > menu > menuitem > radio,
76
> widget > radiobutton > radio {
77
& {
78
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.svg")),
79
-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.symbolic.png")));
80
}
81
&:checked {
83
border-image: none;
84
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.svg")),
85
-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.symbolic.png")));
86
}
87
&:indeterminate {
89
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")),
90
-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.symbolic.png")));
91
}
92
}
93
}
94
// Firefox now uses this for selected items
96
text:selected { @extend %selected_items; }
97
// for backwards compatibility
99
window.background:not(.csd) {
100
> widget > menubar {
101
color: $secondary_titlebar_fg_color;
102
&:hover { color: $titlebar_fg_color; }
104
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
106
}
107
> window.background > menu > separator { color: $border_color; }
109
> widget > frame { color: $firefox_border_color; }
111
> widget > checkbutton > check,
113
> widget > radiobutton > radio {
114
margin: 0;
115
padding: 0;
116
}
117
}
118
/***********
121
* Synapse *
122
***********/
123
box.vertical > widget > widget:selected { background-color: $primary_color; }
124