1// This file was generated by the `theme_importer`.
2// Be careful when modifying it by hand.
3
4use gpui::rgba;
5
6#[allow(unused)]
7use crate::{
8 Appearance, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
9 UserFontStyle, UserFontWeight, UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily,
10 UserThemeStylesRefinement,
11};
12
13pub fn solarized() -> UserThemeFamily {
14 UserThemeFamily {
15 name: "Solarized".into(),
16 author: "Zed Industries".into(),
17 themes: vec![
18 UserTheme {
19 name: "Solarized Dark".into(),
20 appearance: Appearance::Dark,
21 styles: UserThemeStylesRefinement {
22 colors: ThemeColorsRefinement {
23 border: Some(rgba(0x2b4f58ff).into()),
24 border_variant: Some(rgba(0x063541ff).into()),
25 border_focused: Some(rgba(0x1c3249ff).into()),
26 border_selected: Some(rgba(0x1c3249ff).into()),
27 border_transparent: Some(rgba(0x00000000).into()),
28 border_disabled: Some(rgba(0x19424dff).into()),
29 elevated_surface_background: Some(rgba(0x04313cff).into()),
30 surface_background: Some(rgba(0x04313cff).into()),
31 background: Some(rgba(0x083743ff).into()),
32 panel_background: Some(rgba(0x04313cff).into()),
33 element_background: Some(rgba(0x04313cff).into()),
34 element_hover: Some(rgba(0x063541ff).into()),
35 element_active: Some(rgba(0x294e58ff).into()),
36 element_selected: Some(rgba(0x294e58ff).into()),
37 element_disabled: Some(rgba(0x04313cff).into()),
38 drop_target_background: Some(rgba(0x93a1a180).into()),
39 ghost_element_background: Some(rgba(0x00000000).into()),
40 ghost_element_hover: Some(rgba(0x063541ff).into()),
41 ghost_element_active: Some(rgba(0x294e58ff).into()),
42 ghost_element_selected: Some(rgba(0x294e58ff).into()),
43 ghost_element_disabled: Some(rgba(0x04313cff).into()),
44 text: Some(rgba(0xfdf6e3ff).into()),
45 text_muted: Some(rgba(0x93a1a1ff).into()),
46 text_placeholder: Some(rgba(0x6f8389ff).into()),
47 text_disabled: Some(rgba(0x6f8389ff).into()),
48 text_accent: Some(rgba(0x288bd1ff).into()),
49 icon: Some(rgba(0xfdf6e3ff).into()),
50 icon_muted: Some(rgba(0x93a1a1ff).into()),
51 icon_disabled: Some(rgba(0x6f8389ff).into()),
52 icon_placeholder: Some(rgba(0x93a1a1ff).into()),
53 icon_accent: Some(rgba(0x288bd1ff).into()),
54 status_bar_background: Some(rgba(0x083743ff).into()),
55 title_bar_background: Some(rgba(0x083743ff).into()),
56 toolbar_background: Some(rgba(0x002b36ff).into()),
57 tab_bar_background: Some(rgba(0x04313cff).into()),
58 tab_inactive_background: Some(rgba(0x04313cff).into()),
59 tab_active_background: Some(rgba(0x002b36ff).into()),
60 scrollbar_thumb_background: Some(rgba(0xfdf6e34c).into()),
61 scrollbar_thumb_hover_background: Some(rgba(0x063541ff).into()),
62 scrollbar_thumb_border: Some(rgba(0x063541ff).into()),
63 scrollbar_track_background: Some(rgba(0x00000000).into()),
64 scrollbar_track_border: Some(rgba(0x032f3bff).into()),
65 editor_foreground: Some(rgba(0xfdf6e3ff).into()),
66 editor_background: Some(rgba(0x002b36ff).into()),
67 editor_gutter_background: Some(rgba(0x002b36ff).into()),
68 editor_subheader_background: Some(rgba(0x04313cff).into()),
69 editor_active_line_background: Some(rgba(0x04313cbf).into()),
70 editor_highlighted_line_background: Some(rgba(0x04313cff).into()),
71 editor_line_number: Some(rgba(0xfdf6e359).into()),
72 editor_active_line_number: Some(rgba(0xfdf6e3ff).into()),
73 editor_invisible: Some(rgba(0x6d8288ff).into()),
74 editor_wrap_guide: Some(rgba(0xfdf6e30d).into()),
75 editor_active_wrap_guide: Some(rgba(0xfdf6e31a).into()),
76 editor_document_highlight_read_background: Some(rgba(0x288bd11a).into()),
77 editor_document_highlight_write_background: Some(rgba(0x6d828866).into()),
78 terminal_background: Some(rgba(0x002b36ff).into()),
79 terminal_ansi_bright_black: Some(rgba(0x5c7279ff).into()),
80 terminal_ansi_bright_red: Some(rgba(0x7d181cff).into()),
81 terminal_ansi_bright_green: Some(rgba(0x434a11ff).into()),
82 terminal_ansi_bright_yellow: Some(rgba(0x5d4310ff).into()),
83 terminal_ansi_bright_blue: Some(rgba(0x214465ff).into()),
84 terminal_ansi_bright_magenta: Some(rgba(0x6f1f40ff).into()),
85 terminal_ansi_bright_cyan: Some(rgba(0x204e4aff).into()),
86 terminal_ansi_bright_white: Some(rgba(0xfdf6e3ff).into()),
87 terminal_ansi_black: Some(rgba(0x002b36ff).into()),
88 terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
89 terminal_ansi_green: Some(rgba(0x859904ff).into()),
90 terminal_ansi_yellow: Some(rgba(0xb58903ff).into()),
91 terminal_ansi_blue: Some(rgba(0x288bd1ff).into()),
92 terminal_ansi_magenta: Some(rgba(0xd33782ff).into()),
93 terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
94 terminal_ansi_white: Some(rgba(0xfdf6e3ff).into()),
95 link_text_hover: Some(rgba(0x288bd1ff).into()),
96 ..Default::default()
97 },
98 status: StatusColorsRefinement {
99 conflict: Some(rgba(0xb58903ff).into()),
100 conflict_background: Some(rgba(0x2f1e0cff).into()),
101 conflict_border: Some(rgba(0x473110ff).into()),
102 created: Some(rgba(0x859904ff).into()),
103 created_background: Some(rgba(0x1f210cff).into()),
104 created_border: Some(rgba(0x323610ff).into()),
105 deleted: Some(rgba(0xdc3330ff).into()),
106 deleted_background: Some(rgba(0x4a090fff).into()),
107 deleted_border: Some(rgba(0x641116ff).into()),
108 error: Some(rgba(0xdc3330ff).into()),
109 error_background: Some(rgba(0x4a090fff).into()),
110 error_border: Some(rgba(0x641116ff).into()),
111 hidden: Some(rgba(0x6f8389ff).into()),
112 hidden_background: Some(rgba(0x083743ff).into()),
113 hidden_border: Some(rgba(0x19424dff).into()),
114 hint: Some(rgba(0x4f8297ff).into()),
115 hint_background: Some(rgba(0x141f2cff).into()),
116 hint_border: Some(rgba(0x1c3249ff).into()),
117 ignored: Some(rgba(0x93a1a1ff).into()),
118 ignored_background: Some(rgba(0x083743ff).into()),
119 ignored_border: Some(rgba(0x2b4f58ff).into()),
120 info: Some(rgba(0x288bd1ff).into()),
121 info_background: Some(rgba(0x141f2cff).into()),
122 info_border: Some(rgba(0x1c3249ff).into()),
123 modified: Some(rgba(0xb58903ff).into()),
124 modified_background: Some(rgba(0x2f1e0cff).into()),
125 modified_border: Some(rgba(0x473110ff).into()),
126 predictive: Some(rgba(0x40728bff).into()),
127 predictive_background: Some(rgba(0x1f210cff).into()),
128 predictive_border: Some(rgba(0x323610ff).into()),
129 renamed: Some(rgba(0x288bd1ff).into()),
130 renamed_background: Some(rgba(0x141f2cff).into()),
131 renamed_border: Some(rgba(0x1c3249ff).into()),
132 success: Some(rgba(0x859904ff).into()),
133 success_background: Some(rgba(0x1f210cff).into()),
134 success_border: Some(rgba(0x323610ff).into()),
135 unreachable: Some(rgba(0x93a1a1ff).into()),
136 unreachable_background: Some(rgba(0x083743ff).into()),
137 unreachable_border: Some(rgba(0x2b4f58ff).into()),
138 warning: Some(rgba(0xb58903ff).into()),
139 warning_background: Some(rgba(0x2f1e0cff).into()),
140 warning_border: Some(rgba(0x473110ff).into()),
141 ..Default::default()
142 },
143 player: Some(PlayerColors(vec![
144 PlayerColor {
145 cursor: rgba(0x288bd1ff).into(),
146 background: rgba(0x288bd1ff).into(),
147 selection: rgba(0x288bd13d).into(),
148 },
149 PlayerColor {
150 cursor: rgba(0xd33782ff).into(),
151 background: rgba(0xd33782ff).into(),
152 selection: rgba(0xd337823d).into(),
153 },
154 PlayerColor {
155 cursor: rgba(0xcb4b17ff).into(),
156 background: rgba(0xcb4b17ff).into(),
157 selection: rgba(0xcb4b173d).into(),
158 },
159 PlayerColor {
160 cursor: rgba(0x6c71c4ff).into(),
161 background: rgba(0x6c71c4ff).into(),
162 selection: rgba(0x6c71c43d).into(),
163 },
164 PlayerColor {
165 cursor: rgba(0x2ca198ff).into(),
166 background: rgba(0x2ca198ff).into(),
167 selection: rgba(0x2ca1983d).into(),
168 },
169 PlayerColor {
170 cursor: rgba(0xdc3330ff).into(),
171 background: rgba(0xdc3330ff).into(),
172 selection: rgba(0xdc33303d).into(),
173 },
174 PlayerColor {
175 cursor: rgba(0xb58903ff).into(),
176 background: rgba(0xb58903ff).into(),
177 selection: rgba(0xb589033d).into(),
178 },
179 PlayerColor {
180 cursor: rgba(0x859904ff).into(),
181 background: rgba(0x859904ff).into(),
182 selection: rgba(0x8599043d).into(),
183 },
184 ])),
185 syntax: Some(UserSyntaxTheme {
186 highlights: vec![
187 (
188 "attribute".into(),
189 UserHighlightStyle {
190 color: Some(rgba(0x288bd1ff).into()),
191 ..Default::default()
192 },
193 ),
194 (
195 "boolean".into(),
196 UserHighlightStyle {
197 color: Some(rgba(0x859904ff).into()),
198 ..Default::default()
199 },
200 ),
201 (
202 "comment".into(),
203 UserHighlightStyle {
204 color: Some(rgba(0x99a5a4ff).into()),
205 ..Default::default()
206 },
207 ),
208 (
209 "comment.doc".into(),
210 UserHighlightStyle {
211 color: Some(rgba(0x99a5a4ff).into()),
212 ..Default::default()
213 },
214 ),
215 (
216 "constant".into(),
217 UserHighlightStyle {
218 color: Some(rgba(0x859904ff).into()),
219 ..Default::default()
220 },
221 ),
222 (
223 "constructor".into(),
224 UserHighlightStyle {
225 color: Some(rgba(0x288bd1ff).into()),
226 ..Default::default()
227 },
228 ),
229 (
230 "embedded".into(),
231 UserHighlightStyle {
232 color: Some(rgba(0xfdf6e3ff).into()),
233 ..Default::default()
234 },
235 ),
236 (
237 "emphasis".into(),
238 UserHighlightStyle {
239 color: Some(rgba(0x288bd1ff).into()),
240 ..Default::default()
241 },
242 ),
243 (
244 "emphasis.strong".into(),
245 UserHighlightStyle {
246 color: Some(rgba(0x288bd1ff).into()),
247 font_weight: Some(UserFontWeight(700.0)),
248 ..Default::default()
249 },
250 ),
251 (
252 "enum".into(),
253 UserHighlightStyle {
254 color: Some(rgba(0xcb4b17ff).into()),
255 ..Default::default()
256 },
257 ),
258 (
259 "function".into(),
260 UserHighlightStyle {
261 color: Some(rgba(0xb58903ff).into()),
262 ..Default::default()
263 },
264 ),
265 (
266 "hint".into(),
267 UserHighlightStyle {
268 color: Some(rgba(0x4f8297ff).into()),
269 font_weight: Some(UserFontWeight(700.0)),
270 ..Default::default()
271 },
272 ),
273 (
274 "keyword".into(),
275 UserHighlightStyle {
276 color: Some(rgba(0x288bd1ff).into()),
277 ..Default::default()
278 },
279 ),
280 (
281 "label".into(),
282 UserHighlightStyle {
283 color: Some(rgba(0x288bd1ff).into()),
284 ..Default::default()
285 },
286 ),
287 (
288 "link_text".into(),
289 UserHighlightStyle {
290 color: Some(rgba(0xcb4b17ff).into()),
291 font_style: Some(UserFontStyle::Italic),
292 ..Default::default()
293 },
294 ),
295 (
296 "link_uri".into(),
297 UserHighlightStyle {
298 color: Some(rgba(0x859904ff).into()),
299 ..Default::default()
300 },
301 ),
302 (
303 "number".into(),
304 UserHighlightStyle {
305 color: Some(rgba(0x859904ff).into()),
306 ..Default::default()
307 },
308 ),
309 (
310 "operator".into(),
311 UserHighlightStyle {
312 color: Some(rgba(0xcb4b17ff).into()),
313 ..Default::default()
314 },
315 ),
316 (
317 "predictive".into(),
318 UserHighlightStyle {
319 color: Some(rgba(0x40728bff).into()),
320 font_style: Some(UserFontStyle::Italic),
321 ..Default::default()
322 },
323 ),
324 (
325 "preproc".into(),
326 UserHighlightStyle {
327 color: Some(rgba(0xfdf6e3ff).into()),
328 ..Default::default()
329 },
330 ),
331 (
332 "primary".into(),
333 UserHighlightStyle {
334 color: Some(rgba(0xfdf6e3ff).into()),
335 ..Default::default()
336 },
337 ),
338 (
339 "property".into(),
340 UserHighlightStyle {
341 color: Some(rgba(0x288bd1ff).into()),
342 ..Default::default()
343 },
344 ),
345 (
346 "punctuation".into(),
347 UserHighlightStyle {
348 color: Some(rgba(0xefe9d6ff).into()),
349 ..Default::default()
350 },
351 ),
352 (
353 "punctuation.bracket".into(),
354 UserHighlightStyle {
355 color: Some(rgba(0xefe9d6ff).into()),
356 ..Default::default()
357 },
358 ),
359 (
360 "punctuation.delimiter".into(),
361 UserHighlightStyle {
362 color: Some(rgba(0xefe9d6ff).into()),
363 ..Default::default()
364 },
365 ),
366 (
367 "punctuation.list_marker".into(),
368 UserHighlightStyle {
369 color: Some(rgba(0xefe9d6ff).into()),
370 ..Default::default()
371 },
372 ),
373 (
374 "punctuation.special".into(),
375 UserHighlightStyle {
376 color: Some(rgba(0xefe9d6ff).into()),
377 ..Default::default()
378 },
379 ),
380 (
381 "string".into(),
382 UserHighlightStyle {
383 color: Some(rgba(0xcb4b17ff).into()),
384 ..Default::default()
385 },
386 ),
387 (
388 "string.escape".into(),
389 UserHighlightStyle {
390 color: Some(rgba(0x99a5a4ff).into()),
391 ..Default::default()
392 },
393 ),
394 (
395 "string.regex".into(),
396 UserHighlightStyle {
397 color: Some(rgba(0xcb4b17ff).into()),
398 ..Default::default()
399 },
400 ),
401 (
402 "string.special".into(),
403 UserHighlightStyle {
404 color: Some(rgba(0xcb4b17ff).into()),
405 ..Default::default()
406 },
407 ),
408 (
409 "string.special.symbol".into(),
410 UserHighlightStyle {
411 color: Some(rgba(0xcb4b17ff).into()),
412 ..Default::default()
413 },
414 ),
415 (
416 "tag".into(),
417 UserHighlightStyle {
418 color: Some(rgba(0x288bd1ff).into()),
419 ..Default::default()
420 },
421 ),
422 (
423 "text.literal".into(),
424 UserHighlightStyle {
425 color: Some(rgba(0xcb4b17ff).into()),
426 ..Default::default()
427 },
428 ),
429 (
430 "title".into(),
431 UserHighlightStyle {
432 color: Some(rgba(0xfdf6e3ff).into()),
433 font_weight: Some(UserFontWeight(700.0)),
434 ..Default::default()
435 },
436 ),
437 (
438 "type".into(),
439 UserHighlightStyle {
440 color: Some(rgba(0x2ca198ff).into()),
441 ..Default::default()
442 },
443 ),
444 (
445 "variable".into(),
446 UserHighlightStyle {
447 color: Some(rgba(0xfdf6e3ff).into()),
448 ..Default::default()
449 },
450 ),
451 (
452 "variant".into(),
453 UserHighlightStyle {
454 color: Some(rgba(0x288bd1ff).into()),
455 ..Default::default()
456 },
457 ),
458 ],
459 }),
460 },
461 },
462 UserTheme {
463 name: "Solarized Light".into(),
464 appearance: Appearance::Light,
465 styles: UserThemeStylesRefinement {
466 colors: ThemeColorsRefinement {
467 border: Some(rgba(0x9faaa8ff).into()),
468 border_variant: Some(rgba(0xdcdacbff).into()),
469 border_focused: Some(rgba(0xbfd3efff).into()),
470 border_selected: Some(rgba(0xbfd3efff).into()),
471 border_transparent: Some(rgba(0x00000000).into()),
472 border_disabled: Some(rgba(0xb7bdb6ff).into()),
473 elevated_surface_background: Some(rgba(0xf3eddaff).into()),
474 surface_background: Some(rgba(0xf3eddaff).into()),
475 background: Some(rgba(0xcfd0c4ff).into()),
476 panel_background: Some(rgba(0xf3eddaff).into()),
477 element_background: Some(rgba(0xf3eddaff).into()),
478 element_hover: Some(rgba(0xdcdacbff).into()),
479 element_active: Some(rgba(0xa2aca9ff).into()),
480 element_selected: Some(rgba(0xa2aca9ff).into()),
481 element_disabled: Some(rgba(0xf3eddaff).into()),
482 drop_target_background: Some(rgba(0x34555e80).into()),
483 ghost_element_background: Some(rgba(0x00000000).into()),
484 ghost_element_hover: Some(rgba(0xdcdacbff).into()),
485 ghost_element_active: Some(rgba(0xa2aca9ff).into()),
486 ghost_element_selected: Some(rgba(0xa2aca9ff).into()),
487 ghost_element_disabled: Some(rgba(0xf3eddaff).into()),
488 text: Some(rgba(0x002b36ff).into()),
489 text_muted: Some(rgba(0x34555eff).into()),
490 text_placeholder: Some(rgba(0x6a7f86ff).into()),
491 text_disabled: Some(rgba(0x6a7f86ff).into()),
492 text_accent: Some(rgba(0x298bd1ff).into()),
493 icon: Some(rgba(0x002b36ff).into()),
494 icon_muted: Some(rgba(0x34555eff).into()),
495 icon_disabled: Some(rgba(0x6a7f86ff).into()),
496 icon_placeholder: Some(rgba(0x34555eff).into()),
497 icon_accent: Some(rgba(0x298bd1ff).into()),
498 status_bar_background: Some(rgba(0xcfd0c4ff).into()),
499 title_bar_background: Some(rgba(0xcfd0c4ff).into()),
500 toolbar_background: Some(rgba(0xfdf6e3ff).into()),
501 tab_bar_background: Some(rgba(0xf3eddaff).into()),
502 tab_inactive_background: Some(rgba(0xf3eddaff).into()),
503 tab_active_background: Some(rgba(0xfdf6e3ff).into()),
504 scrollbar_thumb_background: Some(rgba(0x002b364c).into()),
505 scrollbar_thumb_hover_background: Some(rgba(0xdcdacbff).into()),
506 scrollbar_thumb_border: Some(rgba(0xdcdacbff).into()),
507 scrollbar_track_background: Some(rgba(0x00000000).into()),
508 scrollbar_track_border: Some(rgba(0xf5eedbff).into()),
509 editor_foreground: Some(rgba(0x002b36ff).into()),
510 editor_background: Some(rgba(0xfdf6e3ff).into()),
511 editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
512 editor_subheader_background: Some(rgba(0xf3eddaff).into()),
513 editor_active_line_background: Some(rgba(0xf3eddabf).into()),
514 editor_highlighted_line_background: Some(rgba(0xf3eddaff).into()),
515 editor_line_number: Some(rgba(0x002b3659).into()),
516 editor_active_line_number: Some(rgba(0x002b36ff).into()),
517 editor_invisible: Some(rgba(0x6d8288ff).into()),
518 editor_wrap_guide: Some(rgba(0x002b360d).into()),
519 editor_active_wrap_guide: Some(rgba(0x002b361a).into()),
520 editor_document_highlight_read_background: Some(rgba(0x298bd11a).into()),
521 editor_document_highlight_write_background: Some(rgba(0x6d828866).into()),
522 terminal_background: Some(rgba(0xfdf6e3ff).into()),
523 terminal_ansi_bright_black: Some(rgba(0x7b8e91ff).into()),
524 terminal_ansi_bright_red: Some(rgba(0xfaa091ff).into()),
525 terminal_ansi_bright_green: Some(rgba(0xc6cb8bff).into()),
526 terminal_ansi_bright_yellow: Some(rgba(0xe1c28aff).into()),
527 terminal_ansi_bright_blue: Some(rgba(0xa5c3e9ff).into()),
528 terminal_ansi_bright_magenta: Some(rgba(0xf0a2bfff).into()),
529 terminal_ansi_bright_cyan: Some(rgba(0x9fd0cbff).into()),
530 terminal_ansi_bright_white: Some(rgba(0x002b36ff).into()),
531 terminal_ansi_black: Some(rgba(0xfdf6e3ff).into()),
532 terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
533 terminal_ansi_green: Some(rgba(0x859904ff).into()),
534 terminal_ansi_yellow: Some(rgba(0xb58904ff).into()),
535 terminal_ansi_blue: Some(rgba(0x298bd1ff).into()),
536 terminal_ansi_magenta: Some(rgba(0xd33882ff).into()),
537 terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
538 terminal_ansi_white: Some(rgba(0x002b36ff).into()),
539 link_text_hover: Some(rgba(0x298bd1ff).into()),
540 ..Default::default()
541 },
542 status: StatusColorsRefinement {
543 conflict: Some(rgba(0xb58904ff).into()),
544 conflict_background: Some(rgba(0xf5e6d0ff).into()),
545 conflict_border: Some(rgba(0xebd3aaff).into()),
546 created: Some(rgba(0x859904ff).into()),
547 created_background: Some(rgba(0xe9ead0ff).into()),
548 created_border: Some(rgba(0xd6d9abff).into()),
549 deleted: Some(rgba(0xdc3330ff).into()),
550 deleted_background: Some(rgba(0xffd9d2ff).into()),
551 deleted_border: Some(rgba(0xffbbafff).into()),
552 error: Some(rgba(0xdc3330ff).into()),
553 error_background: Some(rgba(0xffd9d2ff).into()),
554 error_border: Some(rgba(0xffbbafff).into()),
555 hidden: Some(rgba(0x6a7f86ff).into()),
556 hidden_background: Some(rgba(0xcfd0c4ff).into()),
557 hidden_border: Some(rgba(0xb7bdb6ff).into()),
558 hint: Some(rgba(0x5889a3ff).into()),
559 hint_background: Some(rgba(0xdbe6f6ff).into()),
560 hint_border: Some(rgba(0xbfd3efff).into()),
561 ignored: Some(rgba(0x34555eff).into()),
562 ignored_background: Some(rgba(0xcfd0c4ff).into()),
563 ignored_border: Some(rgba(0x9faaa8ff).into()),
564 info: Some(rgba(0x298bd1ff).into()),
565 info_background: Some(rgba(0xdbe6f6ff).into()),
566 info_border: Some(rgba(0xbfd3efff).into()),
567 modified: Some(rgba(0xb58904ff).into()),
568 modified_background: Some(rgba(0xf5e6d0ff).into()),
569 modified_border: Some(rgba(0xebd3aaff).into()),
570 predictive: Some(rgba(0x679aafff).into()),
571 predictive_background: Some(rgba(0xe9ead0ff).into()),
572 predictive_border: Some(rgba(0xd6d9abff).into()),
573 renamed: Some(rgba(0x298bd1ff).into()),
574 renamed_background: Some(rgba(0xdbe6f6ff).into()),
575 renamed_border: Some(rgba(0xbfd3efff).into()),
576 success: Some(rgba(0x859904ff).into()),
577 success_background: Some(rgba(0xe9ead0ff).into()),
578 success_border: Some(rgba(0xd6d9abff).into()),
579 unreachable: Some(rgba(0x34555eff).into()),
580 unreachable_background: Some(rgba(0xcfd0c4ff).into()),
581 unreachable_border: Some(rgba(0x9faaa8ff).into()),
582 warning: Some(rgba(0xb58904ff).into()),
583 warning_background: Some(rgba(0xf5e6d0ff).into()),
584 warning_border: Some(rgba(0xebd3aaff).into()),
585 ..Default::default()
586 },
587 player: Some(PlayerColors(vec![
588 PlayerColor {
589 cursor: rgba(0x298bd1ff).into(),
590 background: rgba(0x298bd1ff).into(),
591 selection: rgba(0x298bd13d).into(),
592 },
593 PlayerColor {
594 cursor: rgba(0xd33882ff).into(),
595 background: rgba(0xd33882ff).into(),
596 selection: rgba(0xd338823d).into(),
597 },
598 PlayerColor {
599 cursor: rgba(0xcb4c18ff).into(),
600 background: rgba(0xcb4c18ff).into(),
601 selection: rgba(0xcb4c183d).into(),
602 },
603 PlayerColor {
604 cursor: rgba(0x6d71c4ff).into(),
605 background: rgba(0x6d71c4ff).into(),
606 selection: rgba(0x6d71c43d).into(),
607 },
608 PlayerColor {
609 cursor: rgba(0x2ca198ff).into(),
610 background: rgba(0x2ca198ff).into(),
611 selection: rgba(0x2ca1983d).into(),
612 },
613 PlayerColor {
614 cursor: rgba(0xdc3330ff).into(),
615 background: rgba(0xdc3330ff).into(),
616 selection: rgba(0xdc33303d).into(),
617 },
618 PlayerColor {
619 cursor: rgba(0xb58904ff).into(),
620 background: rgba(0xb58904ff).into(),
621 selection: rgba(0xb589043d).into(),
622 },
623 PlayerColor {
624 cursor: rgba(0x859904ff).into(),
625 background: rgba(0x859904ff).into(),
626 selection: rgba(0x8599043d).into(),
627 },
628 ])),
629 syntax: Some(UserSyntaxTheme {
630 highlights: vec![
631 (
632 "attribute".into(),
633 UserHighlightStyle {
634 color: Some(rgba(0x298bd1ff).into()),
635 ..Default::default()
636 },
637 ),
638 (
639 "boolean".into(),
640 UserHighlightStyle {
641 color: Some(rgba(0x859904ff).into()),
642 ..Default::default()
643 },
644 ),
645 (
646 "comment".into(),
647 UserHighlightStyle {
648 color: Some(rgba(0x30525bff).into()),
649 ..Default::default()
650 },
651 ),
652 (
653 "comment.doc".into(),
654 UserHighlightStyle {
655 color: Some(rgba(0x30525bff).into()),
656 ..Default::default()
657 },
658 ),
659 (
660 "constant".into(),
661 UserHighlightStyle {
662 color: Some(rgba(0x859904ff).into()),
663 ..Default::default()
664 },
665 ),
666 (
667 "constructor".into(),
668 UserHighlightStyle {
669 color: Some(rgba(0x298bd1ff).into()),
670 ..Default::default()
671 },
672 ),
673 (
674 "embedded".into(),
675 UserHighlightStyle {
676 color: Some(rgba(0x002b36ff).into()),
677 ..Default::default()
678 },
679 ),
680 (
681 "emphasis".into(),
682 UserHighlightStyle {
683 color: Some(rgba(0x298bd1ff).into()),
684 ..Default::default()
685 },
686 ),
687 (
688 "emphasis.strong".into(),
689 UserHighlightStyle {
690 color: Some(rgba(0x298bd1ff).into()),
691 font_weight: Some(UserFontWeight(700.0)),
692 ..Default::default()
693 },
694 ),
695 (
696 "enum".into(),
697 UserHighlightStyle {
698 color: Some(rgba(0xcb4c18ff).into()),
699 ..Default::default()
700 },
701 ),
702 (
703 "function".into(),
704 UserHighlightStyle {
705 color: Some(rgba(0xb58904ff).into()),
706 ..Default::default()
707 },
708 ),
709 (
710 "hint".into(),
711 UserHighlightStyle {
712 color: Some(rgba(0x5889a3ff).into()),
713 font_weight: Some(UserFontWeight(700.0)),
714 ..Default::default()
715 },
716 ),
717 (
718 "keyword".into(),
719 UserHighlightStyle {
720 color: Some(rgba(0x298bd1ff).into()),
721 ..Default::default()
722 },
723 ),
724 (
725 "label".into(),
726 UserHighlightStyle {
727 color: Some(rgba(0x298bd1ff).into()),
728 ..Default::default()
729 },
730 ),
731 (
732 "link_text".into(),
733 UserHighlightStyle {
734 color: Some(rgba(0xcb4c18ff).into()),
735 font_style: Some(UserFontStyle::Italic),
736 ..Default::default()
737 },
738 ),
739 (
740 "link_uri".into(),
741 UserHighlightStyle {
742 color: Some(rgba(0x859904ff).into()),
743 ..Default::default()
744 },
745 ),
746 (
747 "number".into(),
748 UserHighlightStyle {
749 color: Some(rgba(0x859904ff).into()),
750 ..Default::default()
751 },
752 ),
753 (
754 "operator".into(),
755 UserHighlightStyle {
756 color: Some(rgba(0xcb4c18ff).into()),
757 ..Default::default()
758 },
759 ),
760 (
761 "predictive".into(),
762 UserHighlightStyle {
763 color: Some(rgba(0x679aafff).into()),
764 font_style: Some(UserFontStyle::Italic),
765 ..Default::default()
766 },
767 ),
768 (
769 "preproc".into(),
770 UserHighlightStyle {
771 color: Some(rgba(0x002b36ff).into()),
772 ..Default::default()
773 },
774 ),
775 (
776 "primary".into(),
777 UserHighlightStyle {
778 color: Some(rgba(0x002b36ff).into()),
779 ..Default::default()
780 },
781 ),
782 (
783 "property".into(),
784 UserHighlightStyle {
785 color: Some(rgba(0x298bd1ff).into()),
786 ..Default::default()
787 },
788 ),
789 (
790 "punctuation".into(),
791 UserHighlightStyle {
792 color: Some(rgba(0x05333eff).into()),
793 ..Default::default()
794 },
795 ),
796 (
797 "punctuation.bracket".into(),
798 UserHighlightStyle {
799 color: Some(rgba(0x05333eff).into()),
800 ..Default::default()
801 },
802 ),
803 (
804 "punctuation.delimiter".into(),
805 UserHighlightStyle {
806 color: Some(rgba(0x05333eff).into()),
807 ..Default::default()
808 },
809 ),
810 (
811 "punctuation.list_marker".into(),
812 UserHighlightStyle {
813 color: Some(rgba(0x05333eff).into()),
814 ..Default::default()
815 },
816 ),
817 (
818 "punctuation.special".into(),
819 UserHighlightStyle {
820 color: Some(rgba(0x05333eff).into()),
821 ..Default::default()
822 },
823 ),
824 (
825 "string".into(),
826 UserHighlightStyle {
827 color: Some(rgba(0xcb4c18ff).into()),
828 ..Default::default()
829 },
830 ),
831 (
832 "string.escape".into(),
833 UserHighlightStyle {
834 color: Some(rgba(0x30525bff).into()),
835 ..Default::default()
836 },
837 ),
838 (
839 "string.regex".into(),
840 UserHighlightStyle {
841 color: Some(rgba(0xcb4c18ff).into()),
842 ..Default::default()
843 },
844 ),
845 (
846 "string.special".into(),
847 UserHighlightStyle {
848 color: Some(rgba(0xcb4c18ff).into()),
849 ..Default::default()
850 },
851 ),
852 (
853 "string.special.symbol".into(),
854 UserHighlightStyle {
855 color: Some(rgba(0xcb4c18ff).into()),
856 ..Default::default()
857 },
858 ),
859 (
860 "tag".into(),
861 UserHighlightStyle {
862 color: Some(rgba(0x298bd1ff).into()),
863 ..Default::default()
864 },
865 ),
866 (
867 "text.literal".into(),
868 UserHighlightStyle {
869 color: Some(rgba(0xcb4c18ff).into()),
870 ..Default::default()
871 },
872 ),
873 (
874 "title".into(),
875 UserHighlightStyle {
876 color: Some(rgba(0x002b36ff).into()),
877 font_weight: Some(UserFontWeight(700.0)),
878 ..Default::default()
879 },
880 ),
881 (
882 "type".into(),
883 UserHighlightStyle {
884 color: Some(rgba(0x2ca198ff).into()),
885 ..Default::default()
886 },
887 ),
888 (
889 "variable".into(),
890 UserHighlightStyle {
891 color: Some(rgba(0x002b36ff).into()),
892 ..Default::default()
893 },
894 ),
895 (
896 "variant".into(),
897 UserHighlightStyle {
898 color: Some(rgba(0x298bd1ff).into()),
899 ..Default::default()
900 },
901 ),
902 ],
903 }),
904 },
905 },
906 ],
907 }
908}