ASCII text
1
/************
2
* Terminix *
3
************/
4
button.image-button.session-new-button { min-width: $medium_size - 4px; }
5
overlay > revealer.left > scrolledwindow.frame,
7
overlay > revealer.right > scrolledwindow.frame {
8
border-style: none;
9
box-shadow: $shadow_4;
10
}
11
overlay > revealer.left > scrolledwindow.frame {
13
margin-right: 32px;
14
}
15
overlay > revealer.right > scrolledwindow.frame {
17
margin-left: 32px;
18
}
19
.terminix-session-sidebar { background-image: image($lighter_bg_color); }
21
/***********
24
* Eclipse *
25
***********/
26
window.background > box.vertical > scrolledwindow > widget toolbar {
27
padding: 2px;
28
separator,
30
button { margin: 2px; }
31
button { border-radius: 2px; }
33
}
34
/***********
37
* Firefox *
38
***********/
39
window.background > widget > menubar {
40
color: $secondary_titlebar_fg_color;
41
&:hover { color: $titlebar_fg_color; }
43
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
45
}
46
window.background > menu > menuitem > label:disabled { color: $disabled_fg_color; }
48
window.background > window.background > menu > separator { color: $border_color; }
50
window.background > widget > separator,
52
window.background > widget > frame { color: rgba(0, 0, 0, 0.2); }
53
window.background > widget > checkbutton > check,
55
window.background > widget > radiobutton > radio {
56
margin: 0;
57
padding: 0;
58
}
59
window.background > window.background > menu > menuitem > radio:checked,
61
window.background > widget > radiobutton > radio:checked {
62
-gtk-icon-source: image(-gtk-recolor(url("assets/scalable/radio-checked-symbolic.svg")),
63
-gtk-recolor(url("assets/scalable/radio-checked-symbolic.png")));
64
border-image: none;
65
}
66
/***********
69
* Synapse *
70
***********/
71
box.vertical > widget > widget:selected { background-color: $primary_color; }
72