@@ -18,47 +18,57 @@ is not optimized for dense, information rich UIs.
18
18
19
19
: root {
20
20
/* Custom Theme Colors */
21
- --theia-arduino-light : rgb (0 , 102 , 102 );
22
- --theia-arduino-light1 : rgb (0 , 153 , 153 );
21
+ --theia-arduino-light : rgb (0 , 100 , 104 );
22
+ --theia-arduino-light1 : rgb (23 , 161 , 165 );
23
23
--theia-arduino-light2 : rgb (218 , 226 , 228 );
24
24
--theia-arduino-light3 : rgb (237 , 241 , 242 );
25
25
--theia-arduino-terminal : rgb (0 , 0 , 0 );
26
+
26
27
/* Borders: Width and color (bright to dark) */
28
+
27
29
--theia-border-width : 1px ;
28
30
--theia-panel-border-width : 2px ;
29
31
--theia-border-color0 : var (--md-grey-100 );
30
32
--theia-border-color1 : var (--md-grey-200 );
31
33
--theia-border-color2 : var (--md-grey-300 );
32
34
--theia-border-color3 : var (--md-grey-400 );
35
+
36
+
33
37
/* UI fonts: Family, size and color (dark to bright)
34
38
---------------------------------------------------
35
39
The UI font CSS variables are used for the typography all of the Theia
36
40
user interface elements that are not directly user-generated content.
37
41
*/
42
+
38
43
--theia-ui-font-scale-factor : 1.2 ;
39
44
--theia-ui-font-size0 : calc (var (--theia-ui-font-size1 ) / var (--theia-ui-font-scale-factor ));
40
- --theia-ui-font-size1 : 13px ;
41
- /* Base font size */
45
+ --theia-ui-font-size1 : 13px ; /* Base font size */
42
46
--theia-ui-font-size2 : calc (var (--theia-ui-font-size1 ) * var (--theia-ui-font-scale-factor ));
43
47
--theia-ui-font-size3 : calc (var (--theia-ui-font-size2 ) * var (--theia-ui-font-scale-factor ));
44
- --theia-ui-icon-font-size : 14px ;
45
- /* Ensures px perfect FontAwesome icons */
48
+ --theia-ui-icon-font-size : 14px ; /* Ensures px perfect FontAwesome icons */
46
49
--theia-ui-font-family : "Helvetica Neue" , Helvetica, Arial, sans-serif;
50
+
47
51
--theia-ui-font-color0 : var (--md-grey-900 );
48
52
--theia-ui-font-color1 : var (--md-grey-700 );
49
53
--theia-ui-font-color2 : var (--md-grey-500 );
50
54
--theia-ui-font-color3 : var (--md-grey-300 );
55
+
51
56
/* Special font colors */
57
+
52
58
--theia-ui-icon-font-color : # ffffff ;
53
59
--theia-ui-bar-font-color0 : var (--theia-ui-font-color0 );
54
60
--theia-ui-bar-font-color1 : var (--theia-inverse-ui-font-color0 ); /* var(--theia-ui-font-color1); */
61
+
55
62
/* Use the inverse UI colors against the brand/accent/warn/error colors. */
63
+
56
64
--theia-inverse-ui-font-color0 : rgba (255 , 255 , 255 , 1.0 );
57
65
--theia-inverse-ui-font-color2 : rgba (255 , 255 , 255 , 0.7 );
58
66
--theia-inverse-ui-font-color3 : rgba (255 , 255 , 255 , 0.5 );
67
+
59
68
/* Content fonts: Family, size and color (dark to bright)
60
69
Content font variables are used for typography of user-generated content.
61
70
*/
71
+
62
72
--theia-content-font-size : 13px ;
63
73
--theia-content-line-height : 1.5 ;
64
74
--theia-content-font-color0 : black;
@@ -71,93 +81,119 @@ is not optimized for dense, information rich UIs.
71
81
--theia-code-font-family : Menlo, Monaco, Consolas, "Droid Sans Mono" , "Courier New" , monospace, "Droid Sans Fallback" ;
72
82
--theia-terminal-font-family : monospace;
73
83
--theia-ui-padding : 6px ;
84
+
74
85
/* Tab Icon Colors */
75
86
--theia-tab-icon-color : var (--theia-ui-font-color1 );
76
87
--theia-tab-font-color : # 000 ;
88
+
77
89
/* Main layout colors (bright to dark)
78
- ------------------------------------ */
90
+ ------------------------------------ */
91
+
79
92
--theia-layout-color0 : # ffffff ;
80
93
--theia-layout-color1 : # f7f9f9 ;
81
94
--theia-layout-color2 : # ececec ;
82
- --theia-layout-color3 : var (--theia-arduino-light );
95
+ --theia-layout-color3 : var (--theia-arduino-light2 );
83
96
--theia-layout-color4 : # dcdcdc ;
97
+
84
98
/* Brand colors */
99
+
85
100
--theia-brand-color0 : var (--theia-arduino-light );
86
101
--theia-brand-color1 : var (--theia-arduino-light1 );
87
102
--theia-brand-color2 : var (--theia-arduino-light2 );
88
103
--theia-brand-color3 : var (--theia-arduino-light3 );
104
+
89
105
/* Secondary Brand colors */
106
+
90
107
--theia-secondary-brand-color0 : var (--md-grey-700 );
91
108
--theia-secondary-brand-color1 : # b5c8c9 ;
92
109
--theia-secondary-brand-color2 : var (--theia-arduino-light2 );
93
110
--theia-secondary-brand-color3 : var (--theia-arduino-light3 );
111
+
94
112
/* Accent colors (dark to bright): Use these to create contrast to layout colors. */
95
- --theia-accent-color0 : rgb (0 , 102 , 105 );
96
- --theia-accent-color1 : rgb (0 , 164 , 167 , 1.0 );
97
- --theia-accent-color2 : rgb (0 , 164 , 167 , 0.8 );
98
- --theia-accent-color3 : rgb (0 , 164 , 167 , 0.6 );
99
- --theia-accent-color4 : rgb (0 , 164 , 167 , 0.4 );
113
+
114
+ --theia-accent-color0 : var (--theia-arduino-light );
115
+ --theia-accent-color1 : rgb (77 , 183 , 187 , 1.0 );
116
+ --theia-accent-color2 : rgb (77 , 183 , 187 , 0.8 );
117
+ --theia-accent-color3 : rgb (77 , 183 , 187 , 0.6 );
118
+ --theia-accent-color4 : rgba (77 , 183 , 187 , 0.4 );
119
+
100
120
/* Accent colors with opacity */
121
+
101
122
--theia-transparent-accent-color0 : hsla (210 , 63% , 46% , 0.3 );
102
123
--theia-transparent-accent-color1 : hsla (207 , 66% , 56% , 0.3 );
103
124
--theia-transparent-accent-color2 : hsla (207 , 64% , 85% , 0.3 );
104
125
--theia-transparent-accent-color3 : hsla (205 , 70% , 91% , 0.3 );
126
+
105
127
/* State colors (warn, error, success, info)
106
128
------------------------------------------ */
107
129
--theia-warn-color0 : var (--md-amber-500 );
108
130
--theia-warn-color1 : var (--md-amber-400 );
109
131
--theia-warn-color2 : var (--md-amber-300 );
110
132
--theia-warn-color3 : var (--md-amber-200 );
133
+
111
134
--theia-warn-font-color0 : var (--md-grey-900 );
135
+
112
136
--theia-error-color0 : var (--md-red-400 );
113
137
--theia-error-color1 : # da5b4a ;
114
138
--theia-error-color2 : var (--md-red-200 );
115
139
--theia-error-color3 : var (--md-red-100 );
140
+
116
141
--theia-error-font-color0 : var (--md-grey-300 );
142
+
117
143
--theia-success-color0 : var (--md-green-500 );
118
144
--theia-success-color1 : var (--md-green-300 );
119
145
--theia-success-color2 : var (--md-green-100 );
120
146
--theia-success-color3 : var (--md-green-50 );
147
+
121
148
--theia-success-font-color0 : var (--md-grey-300 );
149
+
122
150
--theia-info-color0 : var (--md-cyan-700 );
123
151
--theia-info-color1 : var (--md-cyan-500 );
124
152
--theia-info-color2 : var (--md-cyan-300 );
125
153
--theia-info-color3 : var (--md-cyan-100 );
154
+
126
155
--theia-info-font-color0 : var (--md-grey-300 );
156
+
127
157
--theia-disabled-color0 : var (--md-grey-500 );
128
158
--theia-disabled-color1 : var (--md-grey-300 );
129
159
--theia-disabled-color2 : var (--md-grey-200 );
130
160
--theia-disabled-color3 : var (--md-grey-50 );
161
+
131
162
--theia-added-color0 : rgba (0 , 255 , 0 , 0.8 );
132
163
--theia-removed-color0 : rgba (230 , 0 , 0 , 0.8 );
133
164
--theia-modified-color0 : rgba (0 , 100 , 150 , 0.8 );
165
+
134
166
/* Background for selected text */
135
167
--theia-selected-text-background : var (--theia-accent-color3 );
168
+
136
169
/* Colors to highlight words in widgets like tree or editors */
170
+
137
171
--theia-word-highlight-color0 : rgba (168 , 172 , 148 , 0.7 );
138
172
--theia-word-highlight-color1 : rgba (253 , 255 , 0 , 0.2 );
139
173
--theia-word-highlight-match-color0 : rgba (234 , 92 , 0 , 0.33 );
140
174
--theia-word-highlight-match-color1 : rgba (234 , 92 , 0 , 0.5 );
141
175
--theia-word-highlight-replace-color0 : rgba (155 , 185 , 85 , 0.2 );
176
+
142
177
/* Scroll-bars */
178
+
143
179
--theia-scrollbar-width : 10px ;
144
180
--theia-scrollbar-rail-width : 10px ;
145
181
--theia-scrollbar-thumb-color : hsla (0 , 0% , 61% , .4 );
146
182
--theia-scrollbar-rail-color : transparent;
147
183
--theia-scrollbar-active-thumb-color : hsla (0 , 0% , 39% , .4 );
148
184
--theia-scrollbar-active-rail-color : transparent;
149
185
/* Menu */
150
- --theia-menu-color0 : var (--theia-layout-color3 );
186
+ --theia-menu-color0 : var (--theia-arduino-light );
151
187
--theia-menu-color1 : var (--theia-layout-color0 );
152
188
--theia-menu-color2 : # dae3e3 ;
153
189
/* Statusbar */
154
190
--theia-statusbar-color : var (--theia-arduino-light );
155
191
--theia-statusBar-font-color : var (--theia-inverse-ui-font-color0 );
156
192
--theia-statusBar-font-size : 12px ;
157
193
/* Buttons */
158
- --theia-ui-button-color : var (--theia-arduino-light );
159
- --theia-ui-button-color-hover : var (--theia-arduino-light1 );
160
- --theia-ui-button-font-color : var (--theia-inverse-ui-font-color0 );
194
+ --theia-ui-button-color : var (--theia-accent-color1 );
195
+ --theia-ui-button-color-hover : var (--theia-accent-color2 );
196
+ --theia-ui-button-font-color : var (--theia-arduino-light );
161
197
--theia-ui-button-color-secondary : var (--theia-secondary-brand-color1 );
162
198
--theia-ui-button-color-secondary-hover : var (--theia-menu-color2 );
163
199
--theia-ui-button-font-color-secondary : var (--theia-inverse-ui-font-color0 );
@@ -197,4 +233,8 @@ is not optimized for dense, information rich UIs.
197
233
--theia-ansi-magenta-background-color : darkmagenta;
198
234
--theia-ansi-cyan-background-color : darkcyan;
199
235
--theia-ansi-white-background-color : # BDBDBD ;
236
+
237
+ /* Output */
238
+ --theia-output-font-color : var (--theia-ui-font-color3 );
239
+
200
240
}
0 commit comments