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
}
52
// remove ugly border around the menus
54
> window > menu,
55
> menu > menu { border: none; }
56
// use 16px assets for hard-coded sizing
58
> window.background > menu > menuitem > check,
59
> widget > checkbutton > check {
60
& {
61
border-radius: 2px;
62
-gtk-outline-radius: 2px;
63
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.svg")),
64
-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.symbolic.png")));
65
}
66
&:checked {
68
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.svg")),
69
-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.symbolic.png")));
70
}
71
&:indeterminate {
73
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.svg")),
74
-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.symbolic.png")));
75
}
76
}
77
> window.background > menu > menuitem > radio,
79
> widget > radiobutton > radio {
80
& {
81
border-image: none;
82
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.svg")),
83
-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.symbolic.png")));
84
}
85
&:checked {
87
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.svg")),
88
-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.symbolic.png")));
89
}
90
&:indeterminate {
92
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")),
93
-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.symbolic.png")));
94
}
95
}
96
}
97
// Firefox now uses this for selected items
99
text:selected { @extend %selected_items; }
100
// for backwards compatibility
102
window.background:not(.csd) {
103
> widget {
104
> menubar {
105
color: $secondary_titlebar_fg_color;
106
&:hover { color: $titlebar_fg_color; }
108
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
110
}
111
> frame { color: $firefox_border_color; }
113
> checkbutton > check,
115
> radiobutton > radio {
116
margin: 0;
117
padding: 0;
118
}
119
}
120
> window.background > menu > separator { color: $border_color; }
122
}
123
/***********
126
* Synapse *
127
***********/
128
box.vertical > widget > widget:selected { background-color: $primary_color; }
129