blob: 97275f4a3f62c86941f92bfaa1b706c9bd24c145 (
plain) (
blame)
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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
|
/*-*- mode: css; -*-*/
* {{
color0: {color0};
color1: {color1};
color2: {color2};
color3: {color3};
color4: {color4};
color5: {color5};
color6: {color6};
color7: {color7};
color8: {color8};
color9: {color9};
color10: {color10};
color11: {color11};
color12: {color12};
color13: {color13};
color14: {color14};
color15: {color15};
active: {active};
inactive: {inactive};
background: @color0;
foreground: @color15;
background-color: @background;
border-color: @background;
separatorcolor: @color8;
scrollbar-handle: @color9;
normal-background: @background;
normal-foreground: @foreground;
alternate-normal-background: @background;
alternate-normal-foreground: @foreground;
selected-normal-background: @active;
selected-normal-foreground: @foreground;
active-background: @inactive;
active-foreground: @foreground;
alternate-active-background: @active;
alternate-active-foreground: @foreground;
selected-active-background: @active;
selected-active-foreground: @foreground;
urgent-background: @color8;
urgent-foreground: @color15;
alternate-urgent-background: @color8;
alternate-urgent-foreground: @color15;
selected-urgent-background: @color14;
selected-urgent-foreground: @foreground;
}}
window {{
background-color: @background;
border-color: @active;
border: 5;
padding: 0;
}}
mainbox {{
border: 0px;
border-color: @active;
padding: 0;
}}
message {{
border: 2px 0 0;
border-color: @separatorcolor;
padding: 1px;
}}
textbox {{
highlight: @highlight;
text-color: @color15;
}}
listview {{
border: 2px solid 0 0;
padding: 2px 0 0;
border-color: @separatorcolor;
spacing: 0px;
scrollbar: @scrollbar;
}}
element {{
border: 0;
padding: 3px;
}}
element.normal.normal {{
background-color: @normal-background;
text-color: @normal-foreground;
}}
element.normal.urgent {{
background-color: @urgent-background;
text-color: @urgent-foreground;
}}
element.normal.active {{
background-color: @active-background;
text-color: @active-foreground;
}}
element.selected.normal {{
background-color: @active;
text-color: @color15;
}}
element.selected.urgent {{
background-color: @selected-urgent-background;
text-color: @selected-urgent-foreground;
}}
element.selected.active {{
background-color: @selected-active-background;
text-color: @selected-active-foreground;
}}
element.alternate.normal {{
background-color: @alternate-normal-background;
text-color: @alternate-normal-foreground;
}}
element.alternate.urgent {{
background-color: @alternate-urgent-background;
text-color: @alternate-urgent-foreground;
}}
element.alternate.active {{
background-color: @alternate-active-background;
text-color: @alternate-active-foreground;
}}
scrollbar {{
width: 4px;
border: 0;
handle-color: @scrollbar-handle;
handle-width: 8px;
padding: 0;
}}
sidebar {{
border: 2px 0 0;
border-color: @separatorcolor;
}}
inputbar {{
spacing: 1;
text-color: @normal-foreground;
padding: 5px;
children: [ prompt, textbox-prompt-sep, entry, case-indicator ];
}}
case-indicator,
entry,
prompt,
button {{
spacing: 0;
text-color: @normal-foreground;
}}
button.selected {{
background-color: @selected-normal-background;
text-color: @selected-normal-foreground;
}}
textbox-prompt-sep {{
expand: false;
str: ":";
text-color: @normal-foreground;
margin: 0 0.3em 0 0;
}}
element-text, element-icon {{
text-color: @foreground;
background-color: transparent;
}}
|
