1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
/* gnome-terminal */
TerminalScreen {
-TerminalScreen-background-darkness: 0.95;
background-color: #300a24;
color: #fff;
}
/*
TerminalWindow,
TerminalWindow.background {
background-color: @dark_bg_color;
color: @dark_fg_color;
}
*/
/* notebook */
/*
TerminalWindow .notebook {
background-image: none;
background-color: shade (@dark_bg_color, 1.02);
border-radius: 3;
-unico-border-gradient: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 0.93)),
to (shade (@dark_bg_color, 0.93)));
-unico-inner-stroke-width: 0;
-unico-outer-stroke-width: 0;
}
TerminalWindow .notebook tab {
background-image: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 0.92)),
color-stop (0.60, shade (@dark_bg_color, 0.9)),
to (shade (@dark_bg_color, 0.85)));
padding: 0;
color: @dark_fg_color;
-unico-inner-stroke-color: alpha (shade (@dark_bg_color, 1.26), 0.2);
}
TerminalWindow .notebook tab:active {
background-image: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 1.2)),
to (shade (@dark_bg_color, 1.12)));
-unico-inner-stroke-color: alpha (shade (@dark_bg_color, 1.26), 1.0);
}
TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
background-image: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 1.08)),
to (shade (@dark_bg_color, 0.92)));
-unico-border-gradient: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 0.9)),
to (shade (@dark_bg_color, 0.9)));
-unico-inner-stroke-color: alpha (shade (@dark_bg_color, 1.26), 0.7);
-unico-outer-stroke-style: none;
}
*/
/* Scrollbars */
/*
TerminalWindow .scrollbar {
border-radius: 20;
-unico-border-gradient: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 0.74)),
to (shade (@dark_bg_color, 0.74)));
}
TerminalWindow .scrollbar.trough {
background-image: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 0.9)),
to (shade (@dark_bg_color, 0.95)));
}
TerminalWindow .scrollbar.trough.horizontal {
background-image: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 0.9)),
to (shade (@dark_bg_color, 0.95)));
}
TerminalWindow .scrollbar.slider,
TerminalWindow .scrollbar.slider:prelight,
TerminalWindow .scrollbar.button,
TerminalWindow .scrollbar.button:insensitive {
background-image: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 1.08)),
to (shade (@dark_bg_color, 0.92)));
-unico-border-gradient: -gtk-gradient (linear, left top, right top,
from (shade (@dark_bg_color, 0.74)),
to (shade (@dark_bg_color, 0.74)));
-unico-inner-stroke-color: alpha (shade (@dark_bg_color, 1.26), 0.7);
}
TerminalWindow .scrollbar.slider.horizontal,
TerminalWindow .scrollbar.slider.horizontal:prelight,
TerminalWindow .scrollbar.button.horizontal,
TerminalWindow .scrollbar.button:insensitive {
background-image: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 1.08)),
to (shade (@dark_bg_color, 0.92)));
-unico-border-gradient: -gtk-gradient (linear, left top, left bottom,
from (shade (@dark_bg_color, 0.74)),
to (shade (@dark_bg_color, 0.74)));
-unico-inner-stroke-color: alpha (shade (@dark_bg_color, 1.26), 0.7);
}
*/
|
