ASCII text
1
/************
2
* Terminix *
3
************/
4
.terminix-background box.vertical > widget > box.horizontal {
5
padding: 3px 0 2px;
6
// border-bottom: 1px solid $border_color;
7
button {
9
padding: 4px 8px;
10
&.image-button { padding: 4px; }
12
}
13
}
14
.terminix-background revealer > frame > border {
16
// border-style: none none solid;
17
border-style: none;
18
}
19
button.image-button.session-new-button { min-width: $medium_size - 4px; }
21
overlay > revealer.left > scrolledwindow.frame,
23
overlay > revealer.right > scrolledwindow.frame {
24
border-style: none;
25
box-shadow: $shadow_4;
26
}
27
overlay > revealer.left > scrolledwindow.frame {
29
margin-right: 32px;
30
// border-style: none solid none none;
31
}
32
overlay > revealer.right > scrolledwindow.frame {
34
margin-left: 32px;
35
// border-style: none none none solid;
36
}
37
.terminix-session-sidebar { background-image: image($lighter_bg_color); }
39
/***********
42
* Eclipse *
43
***********/
44
window.background > box.vertical > scrolledwindow > widget toolbar {
45
padding: 2px;
46
separator,
48
button { margin: 2px; }
49
button { border-radius: 2px; }
51
}
52
/***********
55
* Firefox *
56
***********/
57
window.background > widget > menubar {
58
color: $secondary_titlebar_fg_color;
59
&:hover { color: $titlebar_fg_color; }
61
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
63
}
64
window.background > menu > menuitem > label:disabled { color: $disabled_fg_color; }
66
window.background > window.background > menu > separator { color: $border_color; }
68
window.background > widget > frame { color: rgba(0, 0, 0, 0.2); }
70
window.background > widget > checkbutton > check,
72
window.background > widget > radiobutton > radio {
73
margin: 0;
74
padding: 0;
75
}
76
window.background > widget > radiobutton > radio:checked {
78
-gtk-icon-source: image(-gtk-recolor(url("assets/radio-checked-symbolic.svg")),
79
-gtk-recolor(url("assets/radio-checked-symbolic.png")));
80
border-image: none;
81
}
82
/***********
85
* Synapse *
86
***********/
87
window.background > box.vertical > widget > widget:selected { background-color: $primary_color; }
88