ASCII text
1
/************
2
* Terminix *
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 { background-image: image($lighter_bg_color); }
17
button.image-button.session-new-button { min-width: $medium_size - 4px; }
19
/***********
22
* Eclipse *
23
***********/
24
window.background > box.vertical > scrolledwindow > widget toolbar {
25
padding: 2px;
26
separator,
28
button { margin: 2px; }
29
button { border-radius: 2px; }
31
}
32
/***********
35
* Firefox *
36
***********/
37
window.background:not(.csd) {
38
// for the bookmark toolbar's separators
39
> widget > separator { color: rgba(0, 0, 0, 0.2); }
40
// remove ugly border around the menus
42
> * > menu { border: none; }
43
// use 16px assets for hard-coded sizing
45
> window.background > menu > menuitem > check,
46
> widget > checkbutton > check {
47
& {
48
border-radius: 2px;
49
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.svg")),
50
-gtk-recolor(url("assets/scalable/small-checkbox-unchecked-symbolic.symbolic.png")));
51
}
52
&:checked {
54
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.svg")),
55
-gtk-recolor(url("assets/scalable/small-checkbox-checked-symbolic.symbolic.png")));
56
}
57
&:indeterminate {
59
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.svg")),
60
-gtk-recolor(url("assets/scalable/small-checkbox-mixed-symbolic.symbolic.png")));
61
}
62
}
63
> window.background > menu > menuitem > radio,
65
> widget > radiobutton > radio {
66
& {
67
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.svg")),
68
-gtk-recolor(url("assets/scalable/small-radio-unchecked-symbolic.symbolic.png")));
69
}
70
&:checked {
72
border-image: none;
73
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.svg")),
74
-gtk-recolor(url("assets/scalable/small-radio-checked-symbolic.symbolic.png")));
75
}
76
&:indeterminate {
78
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")),
79
-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.symbolic.png")));
80
}
81
}
82
}
83
// Firefox now uses this for selected items
85
text:selected { @extend %selected_items; }
86
// for backwards compatibility
88
window.background:not(.csd) {
89
> widget > menubar {
90
color: $secondary_titlebar_fg_color;
91
&:hover { color: $titlebar_fg_color; }
93
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
95
}
96
> window.background > menu > separator { color: $border_color; }
98
> widget > frame { color: rgba(0, 0, 0, 0.2); }
100
> widget > checkbutton > check,
102
> widget > radiobutton > radio {
103
margin: 0;
104
padding: 0;
105
}
106
}
107
/***********
110
* Synapse *
111
***********/
112
box.vertical > widget > widget:selected { background-color: $primary_color; }
113