gruvbox.rs
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, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
9 UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
10};
11
12pub fn gruvbox() -> UserThemeFamily {
13 UserThemeFamily {
14 name: "Gruvbox".into(),
15 author: "morhetz".into(),
16 themes: vec![
17 UserTheme {
18 name: "Gruvbox Dark Hard".into(),
19 appearance: Appearance::Dark,
20 styles: UserThemeStylesRefinement {
21 colors: ThemeColorsRefinement {
22 border: Some(rgba(0x3c3836ff).into()),
23 border_variant: Some(rgba(0x3c3836ff).into()),
24 border_focused: Some(rgba(0x3c3836ff).into()),
25 border_selected: Some(rgba(0x3c3836ff).into()),
26 border_transparent: Some(rgba(0x3c3836ff).into()),
27 border_disabled: Some(rgba(0x3c3836ff).into()),
28 elevated_surface_background: Some(rgba(0x1d2021ff).into()),
29 background: Some(rgba(0x1d2021ff).into()),
30 element_background: Some(rgba(0x45858880).into()),
31 element_hover: Some(rgba(0x3c383680).into()),
32 element_selected: Some(rgba(0x3c383680).into()),
33 drop_target_background: Some(rgba(0x3c3836ff).into()),
34 ghost_element_hover: Some(rgba(0x3c383680).into()),
35 ghost_element_selected: Some(rgba(0x3c383680).into()),
36 text: Some(rgba(0xebdbb2ff).into()),
37 status_bar_background: Some(rgba(0x1d2021ff).into()),
38 title_bar_background: Some(rgba(0x1d2021ff).into()),
39 toolbar_background: Some(rgba(0x1d2021ff).into()),
40 tab_bar_background: Some(rgba(0x1d2021ff).into()),
41 tab_inactive_background: Some(rgba(0x1d2021ff).into()),
42 tab_active_background: Some(rgba(0x32302fff).into()),
43 editor_background: Some(rgba(0x1d2021ff).into()),
44 editor_gutter_background: Some(rgba(0x1d2021ff).into()),
45 editor_line_number: Some(rgba(0x665c54ff).into()),
46 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
47 terminal_background: Some(rgba(0x1d2021ff).into()),
48 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
49 terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
50 terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
51 terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
52 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
53 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
54 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
55 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
56 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
57 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
58 terminal_ansi_green: Some(rgba(0x98971aff).into()),
59 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
60 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
61 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
62 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
63 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
64 ..Default::default()
65 },
66 status: StatusColorsRefinement {
67 conflict: Some(rgba(0xb16286ff).into()),
68 created: Some(rgba(0x98971aff).into()),
69 deleted: Some(rgba(0xfb4934ff).into()),
70 error: Some(rgba(0xfb4934ff).into()),
71 hidden: Some(rgba(0xa89984ff).into()),
72 hint: Some(rgba(0x969696ff).into()),
73 ignored: Some(rgba(0x7c6f64ff).into()),
74 modified: Some(rgba(0xd79921ff).into()),
75 ..Default::default()
76 },
77 syntax: Some(UserSyntaxTheme {
78 highlights: vec![
79 (
80 "attribute".into(),
81 UserHighlightStyle {
82 color: Some(rgba(0xfabd2fff).into()),
83 ..Default::default()
84 },
85 ),
86 (
87 "comment".into(),
88 UserHighlightStyle {
89 color: Some(rgba(0x928374ff).into()),
90 font_style: Some(UserFontStyle::Italic),
91 ..Default::default()
92 },
93 ),
94 (
95 "comment.doc".into(),
96 UserHighlightStyle {
97 color: Some(rgba(0x928374ff).into()),
98 font_style: Some(UserFontStyle::Italic),
99 ..Default::default()
100 },
101 ),
102 (
103 "constant".into(),
104 UserHighlightStyle {
105 color: Some(rgba(0xd3869bff).into()),
106 ..Default::default()
107 },
108 ),
109 (
110 "constructor".into(),
111 UserHighlightStyle {
112 color: Some(rgba(0x8ec07cff).into()),
113 ..Default::default()
114 },
115 ),
116 (
117 "emphasis.strong".into(),
118 UserHighlightStyle {
119 color: Some(rgba(0xfe8019ff).into()),
120 font_weight: Some(UserFontWeight(700.0)),
121 ..Default::default()
122 },
123 ),
124 (
125 "function".into(),
126 UserHighlightStyle {
127 color: Some(rgba(0xfabd2fff).into()),
128 ..Default::default()
129 },
130 ),
131 (
132 "keyword".into(),
133 UserHighlightStyle {
134 color: Some(rgba(0xfb4934ff).into()),
135 ..Default::default()
136 },
137 ),
138 (
139 "label".into(),
140 UserHighlightStyle {
141 color: Some(rgba(0xfabd2fff).into()),
142 ..Default::default()
143 },
144 ),
145 (
146 "link_text".into(),
147 UserHighlightStyle {
148 color: Some(rgba(0xd3869bff).into()),
149 ..Default::default()
150 },
151 ),
152 (
153 "link_uri".into(),
154 UserHighlightStyle {
155 color: Some(rgba(0xd3869bff).into()),
156 ..Default::default()
157 },
158 ),
159 (
160 "number".into(),
161 UserHighlightStyle {
162 color: Some(rgba(0xd3869bff).into()),
163 ..Default::default()
164 },
165 ),
166 (
167 "operator".into(),
168 UserHighlightStyle {
169 color: Some(rgba(0x8ec07cff).into()),
170 ..Default::default()
171 },
172 ),
173 (
174 "preproc".into(),
175 UserHighlightStyle {
176 color: Some(rgba(0xfe8019ff).into()),
177 ..Default::default()
178 },
179 ),
180 (
181 "property".into(),
182 UserHighlightStyle {
183 color: Some(rgba(0x689d6aff).into()),
184 ..Default::default()
185 },
186 ),
187 (
188 "punctuation".into(),
189 UserHighlightStyle {
190 color: Some(rgba(0x83a598ff).into()),
191 ..Default::default()
192 },
193 ),
194 (
195 "punctuation.bracket".into(),
196 UserHighlightStyle {
197 color: Some(rgba(0x83a598ff).into()),
198 ..Default::default()
199 },
200 ),
201 (
202 "punctuation.delimiter".into(),
203 UserHighlightStyle {
204 color: Some(rgba(0x83a598ff).into()),
205 ..Default::default()
206 },
207 ),
208 (
209 "punctuation.list_marker".into(),
210 UserHighlightStyle {
211 color: Some(rgba(0x83a598ff).into()),
212 ..Default::default()
213 },
214 ),
215 (
216 "punctuation.special".into(),
217 UserHighlightStyle {
218 color: Some(rgba(0x83a598ff).into()),
219 ..Default::default()
220 },
221 ),
222 (
223 "string".into(),
224 UserHighlightStyle {
225 color: Some(rgba(0xb8bb26ff).into()),
226 ..Default::default()
227 },
228 ),
229 (
230 "string.escape".into(),
231 UserHighlightStyle {
232 color: Some(rgba(0xfb4934ff).into()),
233 ..Default::default()
234 },
235 ),
236 (
237 "string.regex".into(),
238 UserHighlightStyle {
239 color: Some(rgba(0xb8bb26ff).into()),
240 ..Default::default()
241 },
242 ),
243 (
244 "string.special".into(),
245 UserHighlightStyle {
246 color: Some(rgba(0xb8bb26ff).into()),
247 ..Default::default()
248 },
249 ),
250 (
251 "string.special.symbol".into(),
252 UserHighlightStyle {
253 color: Some(rgba(0xb8bb26ff).into()),
254 ..Default::default()
255 },
256 ),
257 (
258 "tag".into(),
259 UserHighlightStyle {
260 color: Some(rgba(0x8ec07cff).into()),
261 ..Default::default()
262 },
263 ),
264 (
265 "text.literal".into(),
266 UserHighlightStyle {
267 color: Some(rgba(0xb8bb26ff).into()),
268 ..Default::default()
269 },
270 ),
271 (
272 "title".into(),
273 UserHighlightStyle {
274 color: Some(rgba(0xfabd2fff).into()),
275 ..Default::default()
276 },
277 ),
278 (
279 "type".into(),
280 UserHighlightStyle {
281 color: Some(rgba(0xfabd2fff).into()),
282 ..Default::default()
283 },
284 ),
285 (
286 "variable".into(),
287 UserHighlightStyle {
288 color: Some(rgba(0x83a598ff).into()),
289 ..Default::default()
290 },
291 ),
292 (
293 "variable.special".into(),
294 UserHighlightStyle {
295 color: Some(rgba(0x83a598ff).into()),
296 ..Default::default()
297 },
298 ),
299 ],
300 }),
301 },
302 },
303 UserTheme {
304 name: "Gruvbox Dark Medium".into(),
305 appearance: Appearance::Dark,
306 styles: UserThemeStylesRefinement {
307 colors: ThemeColorsRefinement {
308 border: Some(rgba(0x3c3836ff).into()),
309 border_variant: Some(rgba(0x3c3836ff).into()),
310 border_focused: Some(rgba(0x3c3836ff).into()),
311 border_selected: Some(rgba(0x3c3836ff).into()),
312 border_transparent: Some(rgba(0x3c3836ff).into()),
313 border_disabled: Some(rgba(0x3c3836ff).into()),
314 elevated_surface_background: Some(rgba(0x282828ff).into()),
315 background: Some(rgba(0x282828ff).into()),
316 element_background: Some(rgba(0x45858880).into()),
317 element_hover: Some(rgba(0x3c383680).into()),
318 element_selected: Some(rgba(0x3c383680).into()),
319 drop_target_background: Some(rgba(0x3c3836ff).into()),
320 ghost_element_hover: Some(rgba(0x3c383680).into()),
321 ghost_element_selected: Some(rgba(0x3c383680).into()),
322 text: Some(rgba(0xebdbb2ff).into()),
323 status_bar_background: Some(rgba(0x282828ff).into()),
324 title_bar_background: Some(rgba(0x282828ff).into()),
325 toolbar_background: Some(rgba(0x282828ff).into()),
326 tab_bar_background: Some(rgba(0x282828ff).into()),
327 tab_inactive_background: Some(rgba(0x282828ff).into()),
328 tab_active_background: Some(rgba(0x3c3836ff).into()),
329 editor_background: Some(rgba(0x282828ff).into()),
330 editor_gutter_background: Some(rgba(0x282828ff).into()),
331 editor_line_number: Some(rgba(0x665c54ff).into()),
332 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
333 terminal_background: Some(rgba(0x282828ff).into()),
334 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
335 terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
336 terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
337 terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
338 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
339 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
340 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
341 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
342 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
343 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
344 terminal_ansi_green: Some(rgba(0x98971aff).into()),
345 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
346 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
347 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
348 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
349 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
350 ..Default::default()
351 },
352 status: StatusColorsRefinement {
353 conflict: Some(rgba(0xb16286ff).into()),
354 created: Some(rgba(0x98971aff).into()),
355 deleted: Some(rgba(0xfb4934ff).into()),
356 error: Some(rgba(0xfb4934ff).into()),
357 hidden: Some(rgba(0xa89984ff).into()),
358 hint: Some(rgba(0x969696ff).into()),
359 ignored: Some(rgba(0x7c6f64ff).into()),
360 modified: Some(rgba(0xd79921ff).into()),
361 ..Default::default()
362 },
363 syntax: Some(UserSyntaxTheme {
364 highlights: vec![
365 (
366 "attribute".into(),
367 UserHighlightStyle {
368 color: Some(rgba(0xfabd2fff).into()),
369 ..Default::default()
370 },
371 ),
372 (
373 "comment".into(),
374 UserHighlightStyle {
375 color: Some(rgba(0x928374ff).into()),
376 font_style: Some(UserFontStyle::Italic),
377 ..Default::default()
378 },
379 ),
380 (
381 "comment.doc".into(),
382 UserHighlightStyle {
383 color: Some(rgba(0x928374ff).into()),
384 font_style: Some(UserFontStyle::Italic),
385 ..Default::default()
386 },
387 ),
388 (
389 "constant".into(),
390 UserHighlightStyle {
391 color: Some(rgba(0xd3869bff).into()),
392 ..Default::default()
393 },
394 ),
395 (
396 "constructor".into(),
397 UserHighlightStyle {
398 color: Some(rgba(0x8ec07cff).into()),
399 ..Default::default()
400 },
401 ),
402 (
403 "emphasis.strong".into(),
404 UserHighlightStyle {
405 color: Some(rgba(0xfe8019ff).into()),
406 font_weight: Some(UserFontWeight(700.0)),
407 ..Default::default()
408 },
409 ),
410 (
411 "function".into(),
412 UserHighlightStyle {
413 color: Some(rgba(0xfabd2fff).into()),
414 ..Default::default()
415 },
416 ),
417 (
418 "keyword".into(),
419 UserHighlightStyle {
420 color: Some(rgba(0xfb4934ff).into()),
421 ..Default::default()
422 },
423 ),
424 (
425 "label".into(),
426 UserHighlightStyle {
427 color: Some(rgba(0xfabd2fff).into()),
428 ..Default::default()
429 },
430 ),
431 (
432 "link_text".into(),
433 UserHighlightStyle {
434 color: Some(rgba(0xd3869bff).into()),
435 ..Default::default()
436 },
437 ),
438 (
439 "link_uri".into(),
440 UserHighlightStyle {
441 color: Some(rgba(0xd3869bff).into()),
442 ..Default::default()
443 },
444 ),
445 (
446 "number".into(),
447 UserHighlightStyle {
448 color: Some(rgba(0xd3869bff).into()),
449 ..Default::default()
450 },
451 ),
452 (
453 "operator".into(),
454 UserHighlightStyle {
455 color: Some(rgba(0x8ec07cff).into()),
456 ..Default::default()
457 },
458 ),
459 (
460 "preproc".into(),
461 UserHighlightStyle {
462 color: Some(rgba(0xfe8019ff).into()),
463 ..Default::default()
464 },
465 ),
466 (
467 "property".into(),
468 UserHighlightStyle {
469 color: Some(rgba(0x689d6aff).into()),
470 ..Default::default()
471 },
472 ),
473 (
474 "punctuation".into(),
475 UserHighlightStyle {
476 color: Some(rgba(0x83a598ff).into()),
477 ..Default::default()
478 },
479 ),
480 (
481 "punctuation.bracket".into(),
482 UserHighlightStyle {
483 color: Some(rgba(0x83a598ff).into()),
484 ..Default::default()
485 },
486 ),
487 (
488 "punctuation.delimiter".into(),
489 UserHighlightStyle {
490 color: Some(rgba(0x83a598ff).into()),
491 ..Default::default()
492 },
493 ),
494 (
495 "punctuation.list_marker".into(),
496 UserHighlightStyle {
497 color: Some(rgba(0x83a598ff).into()),
498 ..Default::default()
499 },
500 ),
501 (
502 "punctuation.special".into(),
503 UserHighlightStyle {
504 color: Some(rgba(0x83a598ff).into()),
505 ..Default::default()
506 },
507 ),
508 (
509 "string".into(),
510 UserHighlightStyle {
511 color: Some(rgba(0xb8bb26ff).into()),
512 ..Default::default()
513 },
514 ),
515 (
516 "string.escape".into(),
517 UserHighlightStyle {
518 color: Some(rgba(0xfb4934ff).into()),
519 ..Default::default()
520 },
521 ),
522 (
523 "string.regex".into(),
524 UserHighlightStyle {
525 color: Some(rgba(0xb8bb26ff).into()),
526 ..Default::default()
527 },
528 ),
529 (
530 "string.special".into(),
531 UserHighlightStyle {
532 color: Some(rgba(0xb8bb26ff).into()),
533 ..Default::default()
534 },
535 ),
536 (
537 "string.special.symbol".into(),
538 UserHighlightStyle {
539 color: Some(rgba(0xb8bb26ff).into()),
540 ..Default::default()
541 },
542 ),
543 (
544 "tag".into(),
545 UserHighlightStyle {
546 color: Some(rgba(0x8ec07cff).into()),
547 ..Default::default()
548 },
549 ),
550 (
551 "text.literal".into(),
552 UserHighlightStyle {
553 color: Some(rgba(0xb8bb26ff).into()),
554 ..Default::default()
555 },
556 ),
557 (
558 "title".into(),
559 UserHighlightStyle {
560 color: Some(rgba(0xfabd2fff).into()),
561 ..Default::default()
562 },
563 ),
564 (
565 "type".into(),
566 UserHighlightStyle {
567 color: Some(rgba(0xfabd2fff).into()),
568 ..Default::default()
569 },
570 ),
571 (
572 "variable".into(),
573 UserHighlightStyle {
574 color: Some(rgba(0x83a598ff).into()),
575 ..Default::default()
576 },
577 ),
578 (
579 "variable.special".into(),
580 UserHighlightStyle {
581 color: Some(rgba(0x83a598ff).into()),
582 ..Default::default()
583 },
584 ),
585 ],
586 }),
587 },
588 },
589 UserTheme {
590 name: "Gruvbox Dark Soft".into(),
591 appearance: Appearance::Dark,
592 styles: UserThemeStylesRefinement {
593 colors: ThemeColorsRefinement {
594 border: Some(rgba(0x3c3836ff).into()),
595 border_variant: Some(rgba(0x3c3836ff).into()),
596 border_focused: Some(rgba(0x3c3836ff).into()),
597 border_selected: Some(rgba(0x3c3836ff).into()),
598 border_transparent: Some(rgba(0x3c3836ff).into()),
599 border_disabled: Some(rgba(0x3c3836ff).into()),
600 elevated_surface_background: Some(rgba(0x32302fff).into()),
601 background: Some(rgba(0x32302fff).into()),
602 element_background: Some(rgba(0x45858880).into()),
603 element_hover: Some(rgba(0x3c383680).into()),
604 element_selected: Some(rgba(0x3c383680).into()),
605 drop_target_background: Some(rgba(0x3c3836ff).into()),
606 ghost_element_hover: Some(rgba(0x3c383680).into()),
607 ghost_element_selected: Some(rgba(0x3c383680).into()),
608 text: Some(rgba(0xebdbb2ff).into()),
609 status_bar_background: Some(rgba(0x32302fff).into()),
610 title_bar_background: Some(rgba(0x32302fff).into()),
611 toolbar_background: Some(rgba(0x32302fff).into()),
612 tab_bar_background: Some(rgba(0x32302fff).into()),
613 tab_inactive_background: Some(rgba(0x32302fff).into()),
614 tab_active_background: Some(rgba(0x504945ff).into()),
615 editor_background: Some(rgba(0x32302fff).into()),
616 editor_gutter_background: Some(rgba(0x32302fff).into()),
617 editor_line_number: Some(rgba(0x665c54ff).into()),
618 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
619 terminal_background: Some(rgba(0x32302fff).into()),
620 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
621 terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
622 terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
623 terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
624 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
625 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
626 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
627 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
628 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
629 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
630 terminal_ansi_green: Some(rgba(0x98971aff).into()),
631 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
632 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
633 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
634 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
635 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
636 ..Default::default()
637 },
638 status: StatusColorsRefinement {
639 conflict: Some(rgba(0xb16286ff).into()),
640 created: Some(rgba(0x98971aff).into()),
641 deleted: Some(rgba(0xfb4934ff).into()),
642 error: Some(rgba(0xfb4934ff).into()),
643 hidden: Some(rgba(0xa89984ff).into()),
644 hint: Some(rgba(0x969696ff).into()),
645 ignored: Some(rgba(0x7c6f64ff).into()),
646 modified: Some(rgba(0xd79921ff).into()),
647 ..Default::default()
648 },
649 syntax: Some(UserSyntaxTheme {
650 highlights: vec![
651 (
652 "attribute".into(),
653 UserHighlightStyle {
654 color: Some(rgba(0xfabd2fff).into()),
655 ..Default::default()
656 },
657 ),
658 (
659 "comment".into(),
660 UserHighlightStyle {
661 color: Some(rgba(0x928374ff).into()),
662 font_style: Some(UserFontStyle::Italic),
663 ..Default::default()
664 },
665 ),
666 (
667 "comment.doc".into(),
668 UserHighlightStyle {
669 color: Some(rgba(0x928374ff).into()),
670 font_style: Some(UserFontStyle::Italic),
671 ..Default::default()
672 },
673 ),
674 (
675 "constant".into(),
676 UserHighlightStyle {
677 color: Some(rgba(0xd3869bff).into()),
678 ..Default::default()
679 },
680 ),
681 (
682 "constructor".into(),
683 UserHighlightStyle {
684 color: Some(rgba(0x8ec07cff).into()),
685 ..Default::default()
686 },
687 ),
688 (
689 "emphasis.strong".into(),
690 UserHighlightStyle {
691 color: Some(rgba(0xfe8019ff).into()),
692 font_weight: Some(UserFontWeight(700.0)),
693 ..Default::default()
694 },
695 ),
696 (
697 "function".into(),
698 UserHighlightStyle {
699 color: Some(rgba(0xfabd2fff).into()),
700 ..Default::default()
701 },
702 ),
703 (
704 "keyword".into(),
705 UserHighlightStyle {
706 color: Some(rgba(0xfb4934ff).into()),
707 ..Default::default()
708 },
709 ),
710 (
711 "label".into(),
712 UserHighlightStyle {
713 color: Some(rgba(0xfabd2fff).into()),
714 ..Default::default()
715 },
716 ),
717 (
718 "link_text".into(),
719 UserHighlightStyle {
720 color: Some(rgba(0xd3869bff).into()),
721 ..Default::default()
722 },
723 ),
724 (
725 "link_uri".into(),
726 UserHighlightStyle {
727 color: Some(rgba(0xd3869bff).into()),
728 ..Default::default()
729 },
730 ),
731 (
732 "number".into(),
733 UserHighlightStyle {
734 color: Some(rgba(0xd3869bff).into()),
735 ..Default::default()
736 },
737 ),
738 (
739 "operator".into(),
740 UserHighlightStyle {
741 color: Some(rgba(0x8ec07cff).into()),
742 ..Default::default()
743 },
744 ),
745 (
746 "preproc".into(),
747 UserHighlightStyle {
748 color: Some(rgba(0xfe8019ff).into()),
749 ..Default::default()
750 },
751 ),
752 (
753 "property".into(),
754 UserHighlightStyle {
755 color: Some(rgba(0x689d6aff).into()),
756 ..Default::default()
757 },
758 ),
759 (
760 "punctuation".into(),
761 UserHighlightStyle {
762 color: Some(rgba(0x83a598ff).into()),
763 ..Default::default()
764 },
765 ),
766 (
767 "punctuation.bracket".into(),
768 UserHighlightStyle {
769 color: Some(rgba(0x83a598ff).into()),
770 ..Default::default()
771 },
772 ),
773 (
774 "punctuation.delimiter".into(),
775 UserHighlightStyle {
776 color: Some(rgba(0x83a598ff).into()),
777 ..Default::default()
778 },
779 ),
780 (
781 "punctuation.list_marker".into(),
782 UserHighlightStyle {
783 color: Some(rgba(0x83a598ff).into()),
784 ..Default::default()
785 },
786 ),
787 (
788 "punctuation.special".into(),
789 UserHighlightStyle {
790 color: Some(rgba(0x83a598ff).into()),
791 ..Default::default()
792 },
793 ),
794 (
795 "string".into(),
796 UserHighlightStyle {
797 color: Some(rgba(0xb8bb26ff).into()),
798 ..Default::default()
799 },
800 ),
801 (
802 "string.escape".into(),
803 UserHighlightStyle {
804 color: Some(rgba(0xfb4934ff).into()),
805 ..Default::default()
806 },
807 ),
808 (
809 "string.regex".into(),
810 UserHighlightStyle {
811 color: Some(rgba(0xb8bb26ff).into()),
812 ..Default::default()
813 },
814 ),
815 (
816 "string.special".into(),
817 UserHighlightStyle {
818 color: Some(rgba(0xb8bb26ff).into()),
819 ..Default::default()
820 },
821 ),
822 (
823 "string.special.symbol".into(),
824 UserHighlightStyle {
825 color: Some(rgba(0xb8bb26ff).into()),
826 ..Default::default()
827 },
828 ),
829 (
830 "tag".into(),
831 UserHighlightStyle {
832 color: Some(rgba(0x8ec07cff).into()),
833 ..Default::default()
834 },
835 ),
836 (
837 "text.literal".into(),
838 UserHighlightStyle {
839 color: Some(rgba(0xb8bb26ff).into()),
840 ..Default::default()
841 },
842 ),
843 (
844 "title".into(),
845 UserHighlightStyle {
846 color: Some(rgba(0xfabd2fff).into()),
847 ..Default::default()
848 },
849 ),
850 (
851 "type".into(),
852 UserHighlightStyle {
853 color: Some(rgba(0xfabd2fff).into()),
854 ..Default::default()
855 },
856 ),
857 (
858 "variable".into(),
859 UserHighlightStyle {
860 color: Some(rgba(0x83a598ff).into()),
861 ..Default::default()
862 },
863 ),
864 (
865 "variable.special".into(),
866 UserHighlightStyle {
867 color: Some(rgba(0x83a598ff).into()),
868 ..Default::default()
869 },
870 ),
871 ],
872 }),
873 },
874 },
875 UserTheme {
876 name: "Gruvbox Light Hard".into(),
877 appearance: Appearance::Light,
878 styles: UserThemeStylesRefinement {
879 colors: ThemeColorsRefinement {
880 border: Some(rgba(0xebdbb2ff).into()),
881 border_variant: Some(rgba(0xebdbb2ff).into()),
882 border_focused: Some(rgba(0xebdbb2ff).into()),
883 border_selected: Some(rgba(0xebdbb2ff).into()),
884 border_transparent: Some(rgba(0xebdbb2ff).into()),
885 border_disabled: Some(rgba(0xebdbb2ff).into()),
886 elevated_surface_background: Some(rgba(0xf9f5d7ff).into()),
887 background: Some(rgba(0xf9f5d7ff).into()),
888 element_background: Some(rgba(0x45858880).into()),
889 element_hover: Some(rgba(0xebdbb280).into()),
890 element_selected: Some(rgba(0xebdbb280).into()),
891 drop_target_background: Some(rgba(0xebdbb2ff).into()),
892 ghost_element_hover: Some(rgba(0xebdbb280).into()),
893 ghost_element_selected: Some(rgba(0xebdbb280).into()),
894 text: Some(rgba(0x3c3836ff).into()),
895 status_bar_background: Some(rgba(0xf9f5d7ff).into()),
896 title_bar_background: Some(rgba(0xf9f5d7ff).into()),
897 toolbar_background: Some(rgba(0xf9f5d7ff).into()),
898 tab_bar_background: Some(rgba(0xf9f5d7ff).into()),
899 tab_inactive_background: Some(rgba(0xf9f5d7ff).into()),
900 tab_active_background: Some(rgba(0xf2e5bcff).into()),
901 editor_background: Some(rgba(0xf9f5d7ff).into()),
902 editor_gutter_background: Some(rgba(0xf9f5d7ff).into()),
903 editor_line_number: Some(rgba(0xbdae93ff).into()),
904 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
905 terminal_background: Some(rgba(0xf9f5d7ff).into()),
906 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
907 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
908 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
909 terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
910 terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
911 terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
912 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
913 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
914 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
915 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
916 terminal_ansi_green: Some(rgba(0x98971aff).into()),
917 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
918 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
919 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
920 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
921 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
922 ..Default::default()
923 },
924 status: StatusColorsRefinement {
925 conflict: Some(rgba(0xb16286ff).into()),
926 created: Some(rgba(0x98971aff).into()),
927 deleted: Some(rgba(0x9d0006ff).into()),
928 error: Some(rgba(0x9d0006ff).into()),
929 hidden: Some(rgba(0x7c6f64ff).into()),
930 hint: Some(rgba(0x969696ff).into()),
931 ignored: Some(rgba(0xa89984ff).into()),
932 modified: Some(rgba(0xd79921ff).into()),
933 ..Default::default()
934 },
935 syntax: Some(UserSyntaxTheme {
936 highlights: vec![
937 (
938 "attribute".into(),
939 UserHighlightStyle {
940 color: Some(rgba(0xb57614ff).into()),
941 ..Default::default()
942 },
943 ),
944 (
945 "comment".into(),
946 UserHighlightStyle {
947 color: Some(rgba(0x928374ff).into()),
948 font_style: Some(UserFontStyle::Italic),
949 ..Default::default()
950 },
951 ),
952 (
953 "comment.doc".into(),
954 UserHighlightStyle {
955 color: Some(rgba(0x928374ff).into()),
956 font_style: Some(UserFontStyle::Italic),
957 ..Default::default()
958 },
959 ),
960 (
961 "constant".into(),
962 UserHighlightStyle {
963 color: Some(rgba(0x8f3f71ff).into()),
964 ..Default::default()
965 },
966 ),
967 (
968 "constructor".into(),
969 UserHighlightStyle {
970 color: Some(rgba(0x427b58ff).into()),
971 ..Default::default()
972 },
973 ),
974 (
975 "emphasis.strong".into(),
976 UserHighlightStyle {
977 color: Some(rgba(0xaf3a03ff).into()),
978 font_weight: Some(UserFontWeight(700.0)),
979 ..Default::default()
980 },
981 ),
982 (
983 "function".into(),
984 UserHighlightStyle {
985 color: Some(rgba(0xb57614ff).into()),
986 ..Default::default()
987 },
988 ),
989 (
990 "keyword".into(),
991 UserHighlightStyle {
992 color: Some(rgba(0x9d0006ff).into()),
993 ..Default::default()
994 },
995 ),
996 (
997 "label".into(),
998 UserHighlightStyle {
999 color: Some(rgba(0xb57614ff).into()),
1000 ..Default::default()
1001 },
1002 ),
1003 (
1004 "link_text".into(),
1005 UserHighlightStyle {
1006 color: Some(rgba(0x8f3f71ff).into()),
1007 ..Default::default()
1008 },
1009 ),
1010 (
1011 "link_uri".into(),
1012 UserHighlightStyle {
1013 color: Some(rgba(0x8f3f71ff).into()),
1014 ..Default::default()
1015 },
1016 ),
1017 (
1018 "number".into(),
1019 UserHighlightStyle {
1020 color: Some(rgba(0x8f3f71ff).into()),
1021 ..Default::default()
1022 },
1023 ),
1024 (
1025 "operator".into(),
1026 UserHighlightStyle {
1027 color: Some(rgba(0x427b58ff).into()),
1028 ..Default::default()
1029 },
1030 ),
1031 (
1032 "preproc".into(),
1033 UserHighlightStyle {
1034 color: Some(rgba(0xaf3a03ff).into()),
1035 ..Default::default()
1036 },
1037 ),
1038 (
1039 "property".into(),
1040 UserHighlightStyle {
1041 color: Some(rgba(0x689d6aff).into()),
1042 ..Default::default()
1043 },
1044 ),
1045 (
1046 "punctuation".into(),
1047 UserHighlightStyle {
1048 color: Some(rgba(0x076678ff).into()),
1049 ..Default::default()
1050 },
1051 ),
1052 (
1053 "punctuation.bracket".into(),
1054 UserHighlightStyle {
1055 color: Some(rgba(0x076678ff).into()),
1056 ..Default::default()
1057 },
1058 ),
1059 (
1060 "punctuation.delimiter".into(),
1061 UserHighlightStyle {
1062 color: Some(rgba(0x076678ff).into()),
1063 ..Default::default()
1064 },
1065 ),
1066 (
1067 "punctuation.list_marker".into(),
1068 UserHighlightStyle {
1069 color: Some(rgba(0x076678ff).into()),
1070 ..Default::default()
1071 },
1072 ),
1073 (
1074 "punctuation.special".into(),
1075 UserHighlightStyle {
1076 color: Some(rgba(0x076678ff).into()),
1077 ..Default::default()
1078 },
1079 ),
1080 (
1081 "string".into(),
1082 UserHighlightStyle {
1083 color: Some(rgba(0x79740eff).into()),
1084 ..Default::default()
1085 },
1086 ),
1087 (
1088 "string.escape".into(),
1089 UserHighlightStyle {
1090 color: Some(rgba(0x9d0006ff).into()),
1091 ..Default::default()
1092 },
1093 ),
1094 (
1095 "string.regex".into(),
1096 UserHighlightStyle {
1097 color: Some(rgba(0x79740eff).into()),
1098 ..Default::default()
1099 },
1100 ),
1101 (
1102 "string.special".into(),
1103 UserHighlightStyle {
1104 color: Some(rgba(0x79740eff).into()),
1105 ..Default::default()
1106 },
1107 ),
1108 (
1109 "string.special.symbol".into(),
1110 UserHighlightStyle {
1111 color: Some(rgba(0x79740eff).into()),
1112 ..Default::default()
1113 },
1114 ),
1115 (
1116 "tag".into(),
1117 UserHighlightStyle {
1118 color: Some(rgba(0x427b58ff).into()),
1119 ..Default::default()
1120 },
1121 ),
1122 (
1123 "text.literal".into(),
1124 UserHighlightStyle {
1125 color: Some(rgba(0x79740eff).into()),
1126 ..Default::default()
1127 },
1128 ),
1129 (
1130 "title".into(),
1131 UserHighlightStyle {
1132 color: Some(rgba(0xb57614ff).into()),
1133 ..Default::default()
1134 },
1135 ),
1136 (
1137 "type".into(),
1138 UserHighlightStyle {
1139 color: Some(rgba(0xb57614ff).into()),
1140 ..Default::default()
1141 },
1142 ),
1143 (
1144 "variable".into(),
1145 UserHighlightStyle {
1146 color: Some(rgba(0x076678ff).into()),
1147 ..Default::default()
1148 },
1149 ),
1150 (
1151 "variable.special".into(),
1152 UserHighlightStyle {
1153 color: Some(rgba(0x076678ff).into()),
1154 ..Default::default()
1155 },
1156 ),
1157 ],
1158 }),
1159 },
1160 },
1161 UserTheme {
1162 name: "Gruvbox Light Medium".into(),
1163 appearance: Appearance::Light,
1164 styles: UserThemeStylesRefinement {
1165 colors: ThemeColorsRefinement {
1166 border: Some(rgba(0xebdbb2ff).into()),
1167 border_variant: Some(rgba(0xebdbb2ff).into()),
1168 border_focused: Some(rgba(0xebdbb2ff).into()),
1169 border_selected: Some(rgba(0xebdbb2ff).into()),
1170 border_transparent: Some(rgba(0xebdbb2ff).into()),
1171 border_disabled: Some(rgba(0xebdbb2ff).into()),
1172 elevated_surface_background: Some(rgba(0xfbf1c7ff).into()),
1173 background: Some(rgba(0xfbf1c7ff).into()),
1174 element_background: Some(rgba(0x45858880).into()),
1175 element_hover: Some(rgba(0xebdbb280).into()),
1176 element_selected: Some(rgba(0xebdbb280).into()),
1177 drop_target_background: Some(rgba(0xebdbb2ff).into()),
1178 ghost_element_hover: Some(rgba(0xebdbb280).into()),
1179 ghost_element_selected: Some(rgba(0xebdbb280).into()),
1180 text: Some(rgba(0x3c3836ff).into()),
1181 status_bar_background: Some(rgba(0xfbf1c7ff).into()),
1182 title_bar_background: Some(rgba(0xfbf1c7ff).into()),
1183 toolbar_background: Some(rgba(0xfbf1c7ff).into()),
1184 tab_bar_background: Some(rgba(0xfbf1c7ff).into()),
1185 tab_inactive_background: Some(rgba(0xfbf1c7ff).into()),
1186 tab_active_background: Some(rgba(0xebdbb2ff).into()),
1187 editor_background: Some(rgba(0xfbf1c7ff).into()),
1188 editor_gutter_background: Some(rgba(0xfbf1c7ff).into()),
1189 editor_line_number: Some(rgba(0xbdae93ff).into()),
1190 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
1191 terminal_background: Some(rgba(0xfbf1c7ff).into()),
1192 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
1193 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
1194 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
1195 terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
1196 terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
1197 terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
1198 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
1199 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
1200 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
1201 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
1202 terminal_ansi_green: Some(rgba(0x98971aff).into()),
1203 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
1204 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
1205 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
1206 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
1207 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
1208 ..Default::default()
1209 },
1210 status: StatusColorsRefinement {
1211 conflict: Some(rgba(0xb16286ff).into()),
1212 created: Some(rgba(0x98971aff).into()),
1213 deleted: Some(rgba(0x9d0006ff).into()),
1214 error: Some(rgba(0x9d0006ff).into()),
1215 hidden: Some(rgba(0x7c6f64ff).into()),
1216 hint: Some(rgba(0x969696ff).into()),
1217 ignored: Some(rgba(0xa89984ff).into()),
1218 modified: Some(rgba(0xd79921ff).into()),
1219 ..Default::default()
1220 },
1221 syntax: Some(UserSyntaxTheme {
1222 highlights: vec![
1223 (
1224 "attribute".into(),
1225 UserHighlightStyle {
1226 color: Some(rgba(0xb57614ff).into()),
1227 ..Default::default()
1228 },
1229 ),
1230 (
1231 "comment".into(),
1232 UserHighlightStyle {
1233 color: Some(rgba(0x928374ff).into()),
1234 font_style: Some(UserFontStyle::Italic),
1235 ..Default::default()
1236 },
1237 ),
1238 (
1239 "comment.doc".into(),
1240 UserHighlightStyle {
1241 color: Some(rgba(0x928374ff).into()),
1242 font_style: Some(UserFontStyle::Italic),
1243 ..Default::default()
1244 },
1245 ),
1246 (
1247 "constant".into(),
1248 UserHighlightStyle {
1249 color: Some(rgba(0x8f3f71ff).into()),
1250 ..Default::default()
1251 },
1252 ),
1253 (
1254 "constructor".into(),
1255 UserHighlightStyle {
1256 color: Some(rgba(0x427b58ff).into()),
1257 ..Default::default()
1258 },
1259 ),
1260 (
1261 "emphasis.strong".into(),
1262 UserHighlightStyle {
1263 color: Some(rgba(0xaf3a03ff).into()),
1264 font_weight: Some(UserFontWeight(700.0)),
1265 ..Default::default()
1266 },
1267 ),
1268 (
1269 "function".into(),
1270 UserHighlightStyle {
1271 color: Some(rgba(0xb57614ff).into()),
1272 ..Default::default()
1273 },
1274 ),
1275 (
1276 "keyword".into(),
1277 UserHighlightStyle {
1278 color: Some(rgba(0x9d0006ff).into()),
1279 ..Default::default()
1280 },
1281 ),
1282 (
1283 "label".into(),
1284 UserHighlightStyle {
1285 color: Some(rgba(0xb57614ff).into()),
1286 ..Default::default()
1287 },
1288 ),
1289 (
1290 "link_text".into(),
1291 UserHighlightStyle {
1292 color: Some(rgba(0x8f3f71ff).into()),
1293 ..Default::default()
1294 },
1295 ),
1296 (
1297 "link_uri".into(),
1298 UserHighlightStyle {
1299 color: Some(rgba(0x8f3f71ff).into()),
1300 ..Default::default()
1301 },
1302 ),
1303 (
1304 "number".into(),
1305 UserHighlightStyle {
1306 color: Some(rgba(0x8f3f71ff).into()),
1307 ..Default::default()
1308 },
1309 ),
1310 (
1311 "operator".into(),
1312 UserHighlightStyle {
1313 color: Some(rgba(0x427b58ff).into()),
1314 ..Default::default()
1315 },
1316 ),
1317 (
1318 "preproc".into(),
1319 UserHighlightStyle {
1320 color: Some(rgba(0xaf3a03ff).into()),
1321 ..Default::default()
1322 },
1323 ),
1324 (
1325 "property".into(),
1326 UserHighlightStyle {
1327 color: Some(rgba(0x689d6aff).into()),
1328 ..Default::default()
1329 },
1330 ),
1331 (
1332 "punctuation".into(),
1333 UserHighlightStyle {
1334 color: Some(rgba(0x076678ff).into()),
1335 ..Default::default()
1336 },
1337 ),
1338 (
1339 "punctuation.bracket".into(),
1340 UserHighlightStyle {
1341 color: Some(rgba(0x076678ff).into()),
1342 ..Default::default()
1343 },
1344 ),
1345 (
1346 "punctuation.delimiter".into(),
1347 UserHighlightStyle {
1348 color: Some(rgba(0x076678ff).into()),
1349 ..Default::default()
1350 },
1351 ),
1352 (
1353 "punctuation.list_marker".into(),
1354 UserHighlightStyle {
1355 color: Some(rgba(0x076678ff).into()),
1356 ..Default::default()
1357 },
1358 ),
1359 (
1360 "punctuation.special".into(),
1361 UserHighlightStyle {
1362 color: Some(rgba(0x076678ff).into()),
1363 ..Default::default()
1364 },
1365 ),
1366 (
1367 "string".into(),
1368 UserHighlightStyle {
1369 color: Some(rgba(0x79740eff).into()),
1370 ..Default::default()
1371 },
1372 ),
1373 (
1374 "string.escape".into(),
1375 UserHighlightStyle {
1376 color: Some(rgba(0x9d0006ff).into()),
1377 ..Default::default()
1378 },
1379 ),
1380 (
1381 "string.regex".into(),
1382 UserHighlightStyle {
1383 color: Some(rgba(0x79740eff).into()),
1384 ..Default::default()
1385 },
1386 ),
1387 (
1388 "string.special".into(),
1389 UserHighlightStyle {
1390 color: Some(rgba(0x79740eff).into()),
1391 ..Default::default()
1392 },
1393 ),
1394 (
1395 "string.special.symbol".into(),
1396 UserHighlightStyle {
1397 color: Some(rgba(0x79740eff).into()),
1398 ..Default::default()
1399 },
1400 ),
1401 (
1402 "tag".into(),
1403 UserHighlightStyle {
1404 color: Some(rgba(0x427b58ff).into()),
1405 ..Default::default()
1406 },
1407 ),
1408 (
1409 "text.literal".into(),
1410 UserHighlightStyle {
1411 color: Some(rgba(0x79740eff).into()),
1412 ..Default::default()
1413 },
1414 ),
1415 (
1416 "title".into(),
1417 UserHighlightStyle {
1418 color: Some(rgba(0xb57614ff).into()),
1419 ..Default::default()
1420 },
1421 ),
1422 (
1423 "type".into(),
1424 UserHighlightStyle {
1425 color: Some(rgba(0xb57614ff).into()),
1426 ..Default::default()
1427 },
1428 ),
1429 (
1430 "variable".into(),
1431 UserHighlightStyle {
1432 color: Some(rgba(0x076678ff).into()),
1433 ..Default::default()
1434 },
1435 ),
1436 (
1437 "variable.special".into(),
1438 UserHighlightStyle {
1439 color: Some(rgba(0x076678ff).into()),
1440 ..Default::default()
1441 },
1442 ),
1443 ],
1444 }),
1445 },
1446 },
1447 UserTheme {
1448 name: "Gruvbox Light Soft".into(),
1449 appearance: Appearance::Light,
1450 styles: UserThemeStylesRefinement {
1451 colors: ThemeColorsRefinement {
1452 border: Some(rgba(0xebdbb2ff).into()),
1453 border_variant: Some(rgba(0xebdbb2ff).into()),
1454 border_focused: Some(rgba(0xebdbb2ff).into()),
1455 border_selected: Some(rgba(0xebdbb2ff).into()),
1456 border_transparent: Some(rgba(0xebdbb2ff).into()),
1457 border_disabled: Some(rgba(0xebdbb2ff).into()),
1458 elevated_surface_background: Some(rgba(0xf2e5bcff).into()),
1459 background: Some(rgba(0xf2e5bcff).into()),
1460 element_background: Some(rgba(0x45858880).into()),
1461 element_hover: Some(rgba(0xebdbb280).into()),
1462 element_selected: Some(rgba(0xebdbb280).into()),
1463 drop_target_background: Some(rgba(0xebdbb2ff).into()),
1464 ghost_element_hover: Some(rgba(0xebdbb280).into()),
1465 ghost_element_selected: Some(rgba(0xebdbb280).into()),
1466 text: Some(rgba(0x3c3836ff).into()),
1467 status_bar_background: Some(rgba(0xf2e5bcff).into()),
1468 title_bar_background: Some(rgba(0xf2e5bcff).into()),
1469 toolbar_background: Some(rgba(0xf2e5bcff).into()),
1470 tab_bar_background: Some(rgba(0xf2e5bcff).into()),
1471 tab_inactive_background: Some(rgba(0xf2e5bcff).into()),
1472 tab_active_background: Some(rgba(0xd5c4a1ff).into()),
1473 editor_background: Some(rgba(0xf2e5bcff).into()),
1474 editor_gutter_background: Some(rgba(0xf2e5bcff).into()),
1475 editor_line_number: Some(rgba(0xbdae93ff).into()),
1476 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
1477 terminal_background: Some(rgba(0xf2e5bcff).into()),
1478 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
1479 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
1480 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
1481 terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
1482 terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
1483 terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
1484 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
1485 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
1486 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
1487 terminal_ansi_red: Some(rgba(0xcc241dff).into()),
1488 terminal_ansi_green: Some(rgba(0x98971aff).into()),
1489 terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
1490 terminal_ansi_blue: Some(rgba(0x458588ff).into()),
1491 terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
1492 terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
1493 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
1494 ..Default::default()
1495 },
1496 status: StatusColorsRefinement {
1497 conflict: Some(rgba(0xb16286ff).into()),
1498 created: Some(rgba(0x98971aff).into()),
1499 deleted: Some(rgba(0x9d0006ff).into()),
1500 error: Some(rgba(0x9d0006ff).into()),
1501 hidden: Some(rgba(0x7c6f64ff).into()),
1502 hint: Some(rgba(0x969696ff).into()),
1503 ignored: Some(rgba(0xa89984ff).into()),
1504 modified: Some(rgba(0xd79921ff).into()),
1505 ..Default::default()
1506 },
1507 syntax: Some(UserSyntaxTheme {
1508 highlights: vec![
1509 (
1510 "attribute".into(),
1511 UserHighlightStyle {
1512 color: Some(rgba(0xb57614ff).into()),
1513 ..Default::default()
1514 },
1515 ),
1516 (
1517 "comment".into(),
1518 UserHighlightStyle {
1519 color: Some(rgba(0x928374ff).into()),
1520 font_style: Some(UserFontStyle::Italic),
1521 ..Default::default()
1522 },
1523 ),
1524 (
1525 "comment.doc".into(),
1526 UserHighlightStyle {
1527 color: Some(rgba(0x928374ff).into()),
1528 font_style: Some(UserFontStyle::Italic),
1529 ..Default::default()
1530 },
1531 ),
1532 (
1533 "constant".into(),
1534 UserHighlightStyle {
1535 color: Some(rgba(0x8f3f71ff).into()),
1536 ..Default::default()
1537 },
1538 ),
1539 (
1540 "constructor".into(),
1541 UserHighlightStyle {
1542 color: Some(rgba(0x427b58ff).into()),
1543 ..Default::default()
1544 },
1545 ),
1546 (
1547 "emphasis.strong".into(),
1548 UserHighlightStyle {
1549 color: Some(rgba(0xaf3a03ff).into()),
1550 font_weight: Some(UserFontWeight(700.0)),
1551 ..Default::default()
1552 },
1553 ),
1554 (
1555 "function".into(),
1556 UserHighlightStyle {
1557 color: Some(rgba(0xb57614ff).into()),
1558 ..Default::default()
1559 },
1560 ),
1561 (
1562 "keyword".into(),
1563 UserHighlightStyle {
1564 color: Some(rgba(0x9d0006ff).into()),
1565 ..Default::default()
1566 },
1567 ),
1568 (
1569 "label".into(),
1570 UserHighlightStyle {
1571 color: Some(rgba(0xb57614ff).into()),
1572 ..Default::default()
1573 },
1574 ),
1575 (
1576 "link_text".into(),
1577 UserHighlightStyle {
1578 color: Some(rgba(0x8f3f71ff).into()),
1579 ..Default::default()
1580 },
1581 ),
1582 (
1583 "link_uri".into(),
1584 UserHighlightStyle {
1585 color: Some(rgba(0x8f3f71ff).into()),
1586 ..Default::default()
1587 },
1588 ),
1589 (
1590 "number".into(),
1591 UserHighlightStyle {
1592 color: Some(rgba(0x8f3f71ff).into()),
1593 ..Default::default()
1594 },
1595 ),
1596 (
1597 "operator".into(),
1598 UserHighlightStyle {
1599 color: Some(rgba(0x427b58ff).into()),
1600 ..Default::default()
1601 },
1602 ),
1603 (
1604 "preproc".into(),
1605 UserHighlightStyle {
1606 color: Some(rgba(0xaf3a03ff).into()),
1607 ..Default::default()
1608 },
1609 ),
1610 (
1611 "property".into(),
1612 UserHighlightStyle {
1613 color: Some(rgba(0x689d6aff).into()),
1614 ..Default::default()
1615 },
1616 ),
1617 (
1618 "punctuation".into(),
1619 UserHighlightStyle {
1620 color: Some(rgba(0x076678ff).into()),
1621 ..Default::default()
1622 },
1623 ),
1624 (
1625 "punctuation.bracket".into(),
1626 UserHighlightStyle {
1627 color: Some(rgba(0x076678ff).into()),
1628 ..Default::default()
1629 },
1630 ),
1631 (
1632 "punctuation.delimiter".into(),
1633 UserHighlightStyle {
1634 color: Some(rgba(0x076678ff).into()),
1635 ..Default::default()
1636 },
1637 ),
1638 (
1639 "punctuation.list_marker".into(),
1640 UserHighlightStyle {
1641 color: Some(rgba(0x076678ff).into()),
1642 ..Default::default()
1643 },
1644 ),
1645 (
1646 "punctuation.special".into(),
1647 UserHighlightStyle {
1648 color: Some(rgba(0x076678ff).into()),
1649 ..Default::default()
1650 },
1651 ),
1652 (
1653 "string".into(),
1654 UserHighlightStyle {
1655 color: Some(rgba(0x79740eff).into()),
1656 ..Default::default()
1657 },
1658 ),
1659 (
1660 "string.escape".into(),
1661 UserHighlightStyle {
1662 color: Some(rgba(0x9d0006ff).into()),
1663 ..Default::default()
1664 },
1665 ),
1666 (
1667 "string.regex".into(),
1668 UserHighlightStyle {
1669 color: Some(rgba(0x79740eff).into()),
1670 ..Default::default()
1671 },
1672 ),
1673 (
1674 "string.special".into(),
1675 UserHighlightStyle {
1676 color: Some(rgba(0x79740eff).into()),
1677 ..Default::default()
1678 },
1679 ),
1680 (
1681 "string.special.symbol".into(),
1682 UserHighlightStyle {
1683 color: Some(rgba(0x79740eff).into()),
1684 ..Default::default()
1685 },
1686 ),
1687 (
1688 "tag".into(),
1689 UserHighlightStyle {
1690 color: Some(rgba(0x427b58ff).into()),
1691 ..Default::default()
1692 },
1693 ),
1694 (
1695 "text.literal".into(),
1696 UserHighlightStyle {
1697 color: Some(rgba(0x79740eff).into()),
1698 ..Default::default()
1699 },
1700 ),
1701 (
1702 "title".into(),
1703 UserHighlightStyle {
1704 color: Some(rgba(0xb57614ff).into()),
1705 ..Default::default()
1706 },
1707 ),
1708 (
1709 "type".into(),
1710 UserHighlightStyle {
1711 color: Some(rgba(0xb57614ff).into()),
1712 ..Default::default()
1713 },
1714 ),
1715 (
1716 "variable".into(),
1717 UserHighlightStyle {
1718 color: Some(rgba(0x076678ff).into()),
1719 ..Default::default()
1720 },
1721 ),
1722 (
1723 "variable.special".into(),
1724 UserHighlightStyle {
1725 color: Some(rgba(0x076678ff).into()),
1726 ..Default::default()
1727 },
1728 ),
1729 ],
1730 }),
1731 },
1732 },
1733 ],
1734 }
1735}