@@ -18,47 +18,57 @@ is not optimized for dense, information rich UIs.
1818
1919: root {
2020 /* 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 );
2323 --theia-arduino-light2 : rgb (218 , 226 , 228 );
2424 --theia-arduino-light3 : rgb (237 , 241 , 242 );
2525 --theia-arduino-terminal : rgb (0 , 0 , 0 );
26+
2627 /* Borders: Width and color (bright to dark) */
28+
2729 --theia-border-width : 1px ;
2830 --theia-panel-border-width : 2px ;
2931 --theia-border-color0 : var (--md-grey-100 );
3032 --theia-border-color1 : var (--md-grey-200 );
3133 --theia-border-color2 : var (--md-grey-300 );
3234 --theia-border-color3 : var (--md-grey-400 );
35+
36+
3337 /* UI fonts: Family, size and color (dark to bright)
3438 ---------------------------------------------------
3539 The UI font CSS variables are used for the typography all of the Theia
3640 user interface elements that are not directly user-generated content.
3741 */
42+
3843 --theia-ui-font-scale-factor : 1.2 ;
3944 --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 */
4246 --theia-ui-font-size2 : calc (var (--theia-ui-font-size1 ) * var (--theia-ui-font-scale-factor ));
4347 --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 */
4649 --theia-ui-font-family : "Helvetica Neue" , Helvetica, Arial, sans-serif;
50+
4751 --theia-ui-font-color0 : var (--md-grey-900 );
4852 --theia-ui-font-color1 : var (--md-grey-700 );
4953 --theia-ui-font-color2 : var (--md-grey-500 );
5054 --theia-ui-font-color3 : var (--md-grey-300 );
55+
5156 /* Special font colors */
57+
5258 --theia-ui-icon-font-color : # ffffff ;
5359 --theia-ui-bar-font-color0 : var (--theia-ui-font-color0 );
5460 --theia-ui-bar-font-color1 : var (--theia-inverse-ui-font-color0 ); /* var(--theia-ui-font-color1); */
61+
5562 /* Use the inverse UI colors against the brand/accent/warn/error colors. */
63+
5664 --theia-inverse-ui-font-color0 : rgba (255 , 255 , 255 , 1.0 );
5765 --theia-inverse-ui-font-color2 : rgba (255 , 255 , 255 , 0.7 );
5866 --theia-inverse-ui-font-color3 : rgba (255 , 255 , 255 , 0.5 );
67+
5968 /* Content fonts: Family, size and color (dark to bright)
6069 Content font variables are used for typography of user-generated content.
6170 */
71+
6272 --theia-content-font-size : 13px ;
6373 --theia-content-line-height : 1.5 ;
6474 --theia-content-font-color0 : black;
@@ -71,93 +81,119 @@ is not optimized for dense, information rich UIs.
7181 --theia-code-font-family : Menlo, Monaco, Consolas, "Droid Sans Mono" , "Courier New" , monospace, "Droid Sans Fallback" ;
7282 --theia-terminal-font-family : monospace;
7383 --theia-ui-padding : 6px ;
84+
7485 /* Tab Icon Colors */
7586 --theia-tab-icon-color : var (--theia-ui-font-color1 );
7687 --theia-tab-font-color : # 000 ;
88+
7789 /* Main layout colors (bright to dark)
78- ------------------------------------ */
90+ ------------------------------------ */
91+
7992 --theia-layout-color0 : # ffffff ;
8093 --theia-layout-color1 : # f7f9f9 ;
8194 --theia-layout-color2 : # ececec ;
82- --theia-layout-color3 : var (--theia-arduino-light );
95+ --theia-layout-color3 : var (--theia-arduino-light2 );
8396 --theia-layout-color4 : # dcdcdc ;
97+
8498 /* Brand colors */
99+
85100 --theia-brand-color0 : var (--theia-arduino-light );
86101 --theia-brand-color1 : var (--theia-arduino-light1 );
87102 --theia-brand-color2 : var (--theia-arduino-light2 );
88103 --theia-brand-color3 : var (--theia-arduino-light3 );
104+
89105 /* Secondary Brand colors */
106+
90107 --theia-secondary-brand-color0 : var (--md-grey-700 );
91108 --theia-secondary-brand-color1 : # b5c8c9 ;
92109 --theia-secondary-brand-color2 : var (--theia-arduino-light2 );
93110 --theia-secondary-brand-color3 : var (--theia-arduino-light3 );
111+
94112 /* 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+
100120 /* Accent colors with opacity */
121+
101122 --theia-transparent-accent-color0 : hsla (210 , 63% , 46% , 0.3 );
102123 --theia-transparent-accent-color1 : hsla (207 , 66% , 56% , 0.3 );
103124 --theia-transparent-accent-color2 : hsla (207 , 64% , 85% , 0.3 );
104125 --theia-transparent-accent-color3 : hsla (205 , 70% , 91% , 0.3 );
126+
105127 /* State colors (warn, error, success, info)
106128 ------------------------------------------ */
107129 --theia-warn-color0 : var (--md-amber-500 );
108130 --theia-warn-color1 : var (--md-amber-400 );
109131 --theia-warn-color2 : var (--md-amber-300 );
110132 --theia-warn-color3 : var (--md-amber-200 );
133+
111134 --theia-warn-font-color0 : var (--md-grey-900 );
135+
112136 --theia-error-color0 : var (--md-red-400 );
113137 --theia-error-color1 : # da5b4a ;
114138 --theia-error-color2 : var (--md-red-200 );
115139 --theia-error-color3 : var (--md-red-100 );
140+
116141 --theia-error-font-color0 : var (--md-grey-300 );
142+
117143 --theia-success-color0 : var (--md-green-500 );
118144 --theia-success-color1 : var (--md-green-300 );
119145 --theia-success-color2 : var (--md-green-100 );
120146 --theia-success-color3 : var (--md-green-50 );
147+
121148 --theia-success-font-color0 : var (--md-grey-300 );
149+
122150 --theia-info-color0 : var (--md-cyan-700 );
123151 --theia-info-color1 : var (--md-cyan-500 );
124152 --theia-info-color2 : var (--md-cyan-300 );
125153 --theia-info-color3 : var (--md-cyan-100 );
154+
126155 --theia-info-font-color0 : var (--md-grey-300 );
156+
127157 --theia-disabled-color0 : var (--md-grey-500 );
128158 --theia-disabled-color1 : var (--md-grey-300 );
129159 --theia-disabled-color2 : var (--md-grey-200 );
130160 --theia-disabled-color3 : var (--md-grey-50 );
161+
131162 --theia-added-color0 : rgba (0 , 255 , 0 , 0.8 );
132163 --theia-removed-color0 : rgba (230 , 0 , 0 , 0.8 );
133164 --theia-modified-color0 : rgba (0 , 100 , 150 , 0.8 );
165+
134166 /* Background for selected text */
135167 --theia-selected-text-background : var (--theia-accent-color3 );
168+
136169 /* Colors to highlight words in widgets like tree or editors */
170+
137171 --theia-word-highlight-color0 : rgba (168 , 172 , 148 , 0.7 );
138172 --theia-word-highlight-color1 : rgba (253 , 255 , 0 , 0.2 );
139173 --theia-word-highlight-match-color0 : rgba (234 , 92 , 0 , 0.33 );
140174 --theia-word-highlight-match-color1 : rgba (234 , 92 , 0 , 0.5 );
141175 --theia-word-highlight-replace-color0 : rgba (155 , 185 , 85 , 0.2 );
176+
142177 /* Scroll-bars */
178+
143179 --theia-scrollbar-width : 10px ;
144180 --theia-scrollbar-rail-width : 10px ;
145181 --theia-scrollbar-thumb-color : hsla (0 , 0% , 61% , .4 );
146182 --theia-scrollbar-rail-color : transparent;
147183 --theia-scrollbar-active-thumb-color : hsla (0 , 0% , 39% , .4 );
148184 --theia-scrollbar-active-rail-color : transparent;
149185 /* Menu */
150- --theia-menu-color0 : var (--theia-layout-color3 );
186+ --theia-menu-color0 : var (--theia-arduino-light );
151187 --theia-menu-color1 : var (--theia-layout-color0 );
152188 --theia-menu-color2 : # dae3e3 ;
153189 /* Statusbar */
154190 --theia-statusbar-color : var (--theia-arduino-light );
155191 --theia-statusBar-font-color : var (--theia-inverse-ui-font-color0 );
156192 --theia-statusBar-font-size : 12px ;
157193 /* 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 );
161197 --theia-ui-button-color-secondary : var (--theia-secondary-brand-color1 );
162198 --theia-ui-button-color-secondary-hover : var (--theia-menu-color2 );
163199 --theia-ui-button-font-color-secondary : var (--theia-inverse-ui-font-color0 );
@@ -197,4 +233,8 @@ is not optimized for dense, information rich UIs.
197233 --theia-ansi-magenta-background-color : darkmagenta;
198234 --theia-ansi-cyan-background-color : darkcyan;
199235 --theia-ansi-white-background-color : # BDBDBD ;
236+
237+ /* Output */
238+ --theia-output-font-color : var (--theia-ui-font-color3 );
239+
200240 }
0 commit comments