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
window.background:not(.csd) {
39
// for the bookmark toolbar's separators
40
> widget > separator { color: rgba(0, 0, 0, 0.2); }
41
// remove ugly border around the menus
43
> * > menu { border: none; }
44
// use 16px assets for hard-coded sizing
46
> window.background > menu > menuitem > check,
47
> widget > checkbutton > check {
48
& {
49
border-radius: 2px;
50
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.svg")),
51
-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.symbolic.png")));
52
}
53
&:checked {
55
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.svg")),
56
-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.symbolic.png")));
57
}
58
&:indeterminate {
60
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.svg")),
61
-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.symbolic.png")));
62
}
63
}
64
> window.background > menu > menuitem > radio,
66
> widget > radiobutton > radio {
67
& {
68
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.svg")),
69
-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.symbolic.png")));
70
}
71
&:checked {
73
border-image: none;
74
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.svg")),
75
-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.symbolic.png")));
76
}
77
&:indeterminate {
79
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")),
80
-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.symbolic.png")));
81
}
82
}
83
}
84
// Firefox now uses this for selected items
86
text:selected { @extend %selected_items; }
87
// for backwards compatibility
89
window.background:not(.csd) {
90
> widget > menubar {
91
color: $secondary_titlebar_fg_color;
92
&:hover { color: $titlebar_fg_color; }
94
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
96
}
97
> window.background > menu > separator { color: $border_color; }
99
> widget > frame { color: rgba(0, 0, 0, 0.2); }
101
> widget > checkbutton > check,
103
> widget > radiobutton > radio {
104
margin: 0;
105
padding: 0;
106
}
107
}
108
/***********
111
* Synapse *
112
***********/
113
box.vertical > widget > widget:selected { background-color: $primary_color; }
114