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