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
> entry,
53
> button > button {
54
border: 1px solid $firefox_border_color;
55
border-radius: 2px + 1px;
56
box-shadow: none;
57
}
58
> entry {
60
min-height: 32px - 2px;
61
&:focus { border-color: $primary_color; }
63
}
64
> button > button {
66
padding: 4px 8px;
67
background-size: auto;
68
// color: $fg_color;
69
&:hover { background-image: image(gtkalpha(currentColor, 0.1 / 2)); }
71
&:active { background-image: image(gtkalpha(currentColor, 0.1)); }
73
}
74
// use 16px assets for hard-coded sizing
76
> checkbutton > check { @extend %small_check; }
77
> radiobutton > radio { @extend %small_radio; }
79
}
80
// remove ugly border around the menus
82
> window > menu,
83
> menu > menu { border: none; }
84
}
85
// Firefox now uses this for selected items
87
text:selected { @extend %selected_items; }
88
// for backwards compatibility
90
window.background:not(.csd) {
91
> widget {
92
> menubar {
93
color: $secondary_titlebar_fg_color;
94
&:hover { color: $titlebar_fg_color; }
96
&:disabled { color: $disabled_secondary_titlebar_fg_color; }
98
}
99
> frame { color: $firefox_border_color; }
101
> checkbutton > check,
103
> radiobutton > radio {
104
margin: 0;
105
padding: 0;
106
}
107
}
108
> window.background > menu > separator { color: $border_color; }
110
}
111
/***********
114
* Synapse *
115
***********/
116
box.vertical > widget > widget:selected { background-color: $primary_color; }
117