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(0x44858780).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 tab_inactive_background: Some(rgba(0x1d2021ff).into()),
36 tab_active_background: Some(rgba(0x32302fff).into()),
37 editor_background: Some(rgba(0x1d2021ff).into()),
38 editor_gutter_background: Some(rgba(0x1d2021ff).into()),
39 editor_line_number: Some(rgba(0x665c54ff).into()),
40 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
41 terminal_background: Some(rgba(0x1d2021ff).into()),
42 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
43 terminal_ansi_bright_red: Some(rgba(0xfb4833ff).into()),
44 terminal_ansi_bright_green: Some(rgba(0xb8bb25ff).into()),
45 terminal_ansi_bright_yellow: Some(rgba(0xfabd2eff).into()),
46 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
47 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
48 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
49 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
50 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
51 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
52 terminal_ansi_green: Some(rgba(0x989719ff).into()),
53 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
54 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
55 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
56 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
57 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
58 ..Default::default()
59 },
60 status: StatusColorsRefinement {
61 deleted: Some(rgba(0xfb4833ff).into()),
62 error: Some(rgba(0xfb4833ff).into()),
63 hidden: Some(rgba(0xa89984ff).into()),
64 ..Default::default()
65 },
66 syntax: Some(UserSyntaxTheme {
67 highlights: vec![
68 (
69 "attribute".into(),
70 UserHighlightStyle {
71 color: Some(rgba(0xfabd2eff).into()),
72 ..Default::default()
73 },
74 ),
75 (
76 "comment".into(),
77 UserHighlightStyle {
78 color: Some(rgba(0x928374ff).into()),
79 font_style: Some(UserFontStyle::Italic),
80 ..Default::default()
81 },
82 ),
83 (
84 "emphasis".into(),
85 UserHighlightStyle {
86 font_style: Some(UserFontStyle::Italic),
87 ..Default::default()
88 },
89 ),
90 (
91 "emphasis.strong".into(),
92 UserHighlightStyle {
93 color: Some(rgba(0xfe7f18ff).into()),
94 font_weight: Some(UserFontWeight(700.0)),
95 ..Default::default()
96 },
97 ),
98 (
99 "function".into(),
100 UserHighlightStyle {
101 color: Some(rgba(0xfabd2eff).into()),
102 ..Default::default()
103 },
104 ),
105 (
106 "keyword".into(),
107 UserHighlightStyle {
108 color: Some(rgba(0xfb4833ff).into()),
109 ..Default::default()
110 },
111 ),
112 (
113 "label".into(),
114 UserHighlightStyle {
115 color: Some(rgba(0xfabd2eff).into()),
116 ..Default::default()
117 },
118 ),
119 (
120 "link_text".into(),
121 UserHighlightStyle {
122 color: Some(rgba(0xd3869bff).into()),
123 ..Default::default()
124 },
125 ),
126 (
127 "link_uri".into(),
128 UserHighlightStyle {
129 color: Some(rgba(0xd3869bff).into()),
130 ..Default::default()
131 },
132 ),
133 (
134 "operator".into(),
135 UserHighlightStyle {
136 color: Some(rgba(0x8ec07cff).into()),
137 ..Default::default()
138 },
139 ),
140 (
141 "property".into(),
142 UserHighlightStyle {
143 color: Some(rgba(0x679d6aff).into()),
144 ..Default::default()
145 },
146 ),
147 (
148 "punctuation".into(),
149 UserHighlightStyle {
150 color: Some(rgba(0xa89984ff).into()),
151 ..Default::default()
152 },
153 ),
154 (
155 "string".into(),
156 UserHighlightStyle {
157 color: Some(rgba(0xb8bb25ff).into()),
158 ..Default::default()
159 },
160 ),
161 (
162 "string.escape".into(),
163 UserHighlightStyle {
164 color: Some(rgba(0xfb4833ff).into()),
165 ..Default::default()
166 },
167 ),
168 (
169 "tag".into(),
170 UserHighlightStyle {
171 color: Some(rgba(0x8ec07cff).into()),
172 ..Default::default()
173 },
174 ),
175 (
176 "text.literal".into(),
177 UserHighlightStyle {
178 color: Some(rgba(0xb8bb25ff).into()),
179 ..Default::default()
180 },
181 ),
182 (
183 "title".into(),
184 UserHighlightStyle {
185 color: Some(rgba(0xfabd2eff).into()),
186 ..Default::default()
187 },
188 ),
189 (
190 "type".into(),
191 UserHighlightStyle {
192 color: Some(rgba(0xfabd2eff).into()),
193 ..Default::default()
194 },
195 ),
196 (
197 "variable".into(),
198 UserHighlightStyle {
199 color: Some(rgba(0x83a598ff).into()),
200 ..Default::default()
201 },
202 ),
203 ],
204 }),
205 },
206 },
207 UserTheme {
208 name: "Gruvbox Dark Medium".into(),
209 appearance: Appearance::Dark,
210 styles: UserThemeStylesRefinement {
211 colors: ThemeColorsRefinement {
212 border: Some(rgba(0x3c3836ff).into()),
213 border_variant: Some(rgba(0x3c3836ff).into()),
214 border_focused: Some(rgba(0x3c3836ff).into()),
215 border_selected: Some(rgba(0x3c3836ff).into()),
216 border_transparent: Some(rgba(0x3c3836ff).into()),
217 border_disabled: Some(rgba(0x3c3836ff).into()),
218 background: Some(rgba(0x282828ff).into()),
219 element_background: Some(rgba(0x44858780).into()),
220 element_hover: Some(rgba(0x3c383680).into()),
221 element_selected: Some(rgba(0x3c383680).into()),
222 drop_target_background: Some(rgba(0x3c3836ff).into()),
223 ghost_element_hover: Some(rgba(0x3c383680).into()),
224 text: Some(rgba(0xebdbb2ff).into()),
225 tab_inactive_background: Some(rgba(0x282828ff).into()),
226 tab_active_background: Some(rgba(0x3c3836ff).into()),
227 editor_background: Some(rgba(0x282828ff).into()),
228 editor_gutter_background: Some(rgba(0x282828ff).into()),
229 editor_line_number: Some(rgba(0x665c54ff).into()),
230 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
231 terminal_background: Some(rgba(0x282828ff).into()),
232 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
233 terminal_ansi_bright_red: Some(rgba(0xfb4833ff).into()),
234 terminal_ansi_bright_green: Some(rgba(0xb8bb25ff).into()),
235 terminal_ansi_bright_yellow: Some(rgba(0xfabd2eff).into()),
236 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
237 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
238 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
239 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
240 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
241 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
242 terminal_ansi_green: Some(rgba(0x989719ff).into()),
243 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
244 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
245 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
246 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
247 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
248 ..Default::default()
249 },
250 status: StatusColorsRefinement {
251 deleted: Some(rgba(0xfb4833ff).into()),
252 error: Some(rgba(0xfb4833ff).into()),
253 hidden: Some(rgba(0xa89984ff).into()),
254 ..Default::default()
255 },
256 syntax: Some(UserSyntaxTheme {
257 highlights: vec![
258 (
259 "attribute".into(),
260 UserHighlightStyle {
261 color: Some(rgba(0xfabd2eff).into()),
262 ..Default::default()
263 },
264 ),
265 (
266 "comment".into(),
267 UserHighlightStyle {
268 color: Some(rgba(0x928374ff).into()),
269 font_style: Some(UserFontStyle::Italic),
270 ..Default::default()
271 },
272 ),
273 (
274 "emphasis".into(),
275 UserHighlightStyle {
276 font_style: Some(UserFontStyle::Italic),
277 ..Default::default()
278 },
279 ),
280 (
281 "emphasis.strong".into(),
282 UserHighlightStyle {
283 color: Some(rgba(0xfe7f18ff).into()),
284 font_weight: Some(UserFontWeight(700.0)),
285 ..Default::default()
286 },
287 ),
288 (
289 "function".into(),
290 UserHighlightStyle {
291 color: Some(rgba(0xfabd2eff).into()),
292 ..Default::default()
293 },
294 ),
295 (
296 "keyword".into(),
297 UserHighlightStyle {
298 color: Some(rgba(0xfb4833ff).into()),
299 ..Default::default()
300 },
301 ),
302 (
303 "label".into(),
304 UserHighlightStyle {
305 color: Some(rgba(0xfabd2eff).into()),
306 ..Default::default()
307 },
308 ),
309 (
310 "link_text".into(),
311 UserHighlightStyle {
312 color: Some(rgba(0xd3869bff).into()),
313 ..Default::default()
314 },
315 ),
316 (
317 "link_uri".into(),
318 UserHighlightStyle {
319 color: Some(rgba(0xd3869bff).into()),
320 ..Default::default()
321 },
322 ),
323 (
324 "operator".into(),
325 UserHighlightStyle {
326 color: Some(rgba(0x8ec07cff).into()),
327 ..Default::default()
328 },
329 ),
330 (
331 "property".into(),
332 UserHighlightStyle {
333 color: Some(rgba(0x679d6aff).into()),
334 ..Default::default()
335 },
336 ),
337 (
338 "punctuation".into(),
339 UserHighlightStyle {
340 color: Some(rgba(0xa89984ff).into()),
341 ..Default::default()
342 },
343 ),
344 (
345 "string".into(),
346 UserHighlightStyle {
347 color: Some(rgba(0xb8bb25ff).into()),
348 ..Default::default()
349 },
350 ),
351 (
352 "string.escape".into(),
353 UserHighlightStyle {
354 color: Some(rgba(0xfb4833ff).into()),
355 ..Default::default()
356 },
357 ),
358 (
359 "tag".into(),
360 UserHighlightStyle {
361 color: Some(rgba(0x8ec07cff).into()),
362 ..Default::default()
363 },
364 ),
365 (
366 "text.literal".into(),
367 UserHighlightStyle {
368 color: Some(rgba(0xb8bb25ff).into()),
369 ..Default::default()
370 },
371 ),
372 (
373 "title".into(),
374 UserHighlightStyle {
375 color: Some(rgba(0xfabd2eff).into()),
376 ..Default::default()
377 },
378 ),
379 (
380 "type".into(),
381 UserHighlightStyle {
382 color: Some(rgba(0xfabd2eff).into()),
383 ..Default::default()
384 },
385 ),
386 (
387 "variable".into(),
388 UserHighlightStyle {
389 color: Some(rgba(0x83a598ff).into()),
390 ..Default::default()
391 },
392 ),
393 ],
394 }),
395 },
396 },
397 UserTheme {
398 name: "Gruvbox Dark Soft".into(),
399 appearance: Appearance::Dark,
400 styles: UserThemeStylesRefinement {
401 colors: ThemeColorsRefinement {
402 border: Some(rgba(0x3c3836ff).into()),
403 border_variant: Some(rgba(0x3c3836ff).into()),
404 border_focused: Some(rgba(0x3c3836ff).into()),
405 border_selected: Some(rgba(0x3c3836ff).into()),
406 border_transparent: Some(rgba(0x3c3836ff).into()),
407 border_disabled: Some(rgba(0x3c3836ff).into()),
408 background: Some(rgba(0x32302fff).into()),
409 element_background: Some(rgba(0x44858780).into()),
410 element_hover: Some(rgba(0x3c383680).into()),
411 element_selected: Some(rgba(0x3c383680).into()),
412 drop_target_background: Some(rgba(0x3c3836ff).into()),
413 ghost_element_hover: Some(rgba(0x3c383680).into()),
414 text: Some(rgba(0xebdbb2ff).into()),
415 tab_inactive_background: Some(rgba(0x32302fff).into()),
416 tab_active_background: Some(rgba(0x504945ff).into()),
417 editor_background: Some(rgba(0x32302fff).into()),
418 editor_gutter_background: Some(rgba(0x32302fff).into()),
419 editor_line_number: Some(rgba(0x665c54ff).into()),
420 editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
421 terminal_background: Some(rgba(0x32302fff).into()),
422 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
423 terminal_ansi_bright_red: Some(rgba(0xfb4833ff).into()),
424 terminal_ansi_bright_green: Some(rgba(0xb8bb25ff).into()),
425 terminal_ansi_bright_yellow: Some(rgba(0xfabd2eff).into()),
426 terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
427 terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
428 terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
429 terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
430 terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
431 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
432 terminal_ansi_green: Some(rgba(0x989719ff).into()),
433 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
434 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
435 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
436 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
437 terminal_ansi_white: Some(rgba(0xa89984ff).into()),
438 ..Default::default()
439 },
440 status: StatusColorsRefinement {
441 deleted: Some(rgba(0xfb4833ff).into()),
442 error: Some(rgba(0xfb4833ff).into()),
443 hidden: Some(rgba(0xa89984ff).into()),
444 ..Default::default()
445 },
446 syntax: Some(UserSyntaxTheme {
447 highlights: vec![
448 (
449 "attribute".into(),
450 UserHighlightStyle {
451 color: Some(rgba(0xfabd2eff).into()),
452 ..Default::default()
453 },
454 ),
455 (
456 "comment".into(),
457 UserHighlightStyle {
458 color: Some(rgba(0x928374ff).into()),
459 font_style: Some(UserFontStyle::Italic),
460 ..Default::default()
461 },
462 ),
463 (
464 "emphasis".into(),
465 UserHighlightStyle {
466 font_style: Some(UserFontStyle::Italic),
467 ..Default::default()
468 },
469 ),
470 (
471 "emphasis.strong".into(),
472 UserHighlightStyle {
473 color: Some(rgba(0xfe7f18ff).into()),
474 font_weight: Some(UserFontWeight(700.0)),
475 ..Default::default()
476 },
477 ),
478 (
479 "function".into(),
480 UserHighlightStyle {
481 color: Some(rgba(0xfabd2eff).into()),
482 ..Default::default()
483 },
484 ),
485 (
486 "keyword".into(),
487 UserHighlightStyle {
488 color: Some(rgba(0xfb4833ff).into()),
489 ..Default::default()
490 },
491 ),
492 (
493 "label".into(),
494 UserHighlightStyle {
495 color: Some(rgba(0xfabd2eff).into()),
496 ..Default::default()
497 },
498 ),
499 (
500 "link_text".into(),
501 UserHighlightStyle {
502 color: Some(rgba(0xd3869bff).into()),
503 ..Default::default()
504 },
505 ),
506 (
507 "link_uri".into(),
508 UserHighlightStyle {
509 color: Some(rgba(0xd3869bff).into()),
510 ..Default::default()
511 },
512 ),
513 (
514 "operator".into(),
515 UserHighlightStyle {
516 color: Some(rgba(0x8ec07cff).into()),
517 ..Default::default()
518 },
519 ),
520 (
521 "property".into(),
522 UserHighlightStyle {
523 color: Some(rgba(0x679d6aff).into()),
524 ..Default::default()
525 },
526 ),
527 (
528 "punctuation".into(),
529 UserHighlightStyle {
530 color: Some(rgba(0xa89984ff).into()),
531 ..Default::default()
532 },
533 ),
534 (
535 "string".into(),
536 UserHighlightStyle {
537 color: Some(rgba(0xb8bb25ff).into()),
538 ..Default::default()
539 },
540 ),
541 (
542 "string.escape".into(),
543 UserHighlightStyle {
544 color: Some(rgba(0xfb4833ff).into()),
545 ..Default::default()
546 },
547 ),
548 (
549 "tag".into(),
550 UserHighlightStyle {
551 color: Some(rgba(0x8ec07cff).into()),
552 ..Default::default()
553 },
554 ),
555 (
556 "text.literal".into(),
557 UserHighlightStyle {
558 color: Some(rgba(0xb8bb25ff).into()),
559 ..Default::default()
560 },
561 ),
562 (
563 "title".into(),
564 UserHighlightStyle {
565 color: Some(rgba(0xfabd2eff).into()),
566 ..Default::default()
567 },
568 ),
569 (
570 "type".into(),
571 UserHighlightStyle {
572 color: Some(rgba(0xfabd2eff).into()),
573 ..Default::default()
574 },
575 ),
576 (
577 "variable".into(),
578 UserHighlightStyle {
579 color: Some(rgba(0x83a598ff).into()),
580 ..Default::default()
581 },
582 ),
583 ],
584 }),
585 },
586 },
587 UserTheme {
588 name: "Gruvbox Light Hard".into(),
589 appearance: Appearance::Light,
590 styles: UserThemeStylesRefinement {
591 colors: ThemeColorsRefinement {
592 border: Some(rgba(0xebdbb2ff).into()),
593 border_variant: Some(rgba(0xebdbb2ff).into()),
594 border_focused: Some(rgba(0xebdbb2ff).into()),
595 border_selected: Some(rgba(0xebdbb2ff).into()),
596 border_transparent: Some(rgba(0xebdbb2ff).into()),
597 border_disabled: Some(rgba(0xebdbb2ff).into()),
598 background: Some(rgba(0xf9f5d7ff).into()),
599 element_background: Some(rgba(0x44858780).into()),
600 element_hover: Some(rgba(0xebdbb280).into()),
601 element_selected: Some(rgba(0xebdbb280).into()),
602 drop_target_background: Some(rgba(0xebdbb2ff).into()),
603 ghost_element_hover: Some(rgba(0xebdbb280).into()),
604 text: Some(rgba(0x3c3836ff).into()),
605 tab_inactive_background: Some(rgba(0xf9f5d7ff).into()),
606 tab_active_background: Some(rgba(0xf2e5bcff).into()),
607 editor_background: Some(rgba(0xf9f5d7ff).into()),
608 editor_gutter_background: Some(rgba(0xf9f5d7ff).into()),
609 editor_line_number: Some(rgba(0xbdae93ff).into()),
610 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
611 terminal_background: Some(rgba(0xf9f5d7ff).into()),
612 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
613 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
614 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
615 terminal_ansi_bright_yellow: Some(rgba(0xb57613ff).into()),
616 terminal_ansi_bright_blue: Some(rgba(0x066578ff).into()),
617 terminal_ansi_bright_magenta: Some(rgba(0x8f3e71ff).into()),
618 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
619 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
620 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
621 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
622 terminal_ansi_green: Some(rgba(0x989719ff).into()),
623 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
624 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
625 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
626 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
627 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
628 ..Default::default()
629 },
630 status: StatusColorsRefinement {
631 deleted: Some(rgba(0x9d0006ff).into()),
632 error: Some(rgba(0x9d0006ff).into()),
633 hidden: Some(rgba(0x7c6f64ff).into()),
634 ..Default::default()
635 },
636 syntax: Some(UserSyntaxTheme {
637 highlights: vec![
638 (
639 "attribute".into(),
640 UserHighlightStyle {
641 color: Some(rgba(0xb57613ff).into()),
642 ..Default::default()
643 },
644 ),
645 (
646 "comment".into(),
647 UserHighlightStyle {
648 color: Some(rgba(0x928374ff).into()),
649 font_style: Some(UserFontStyle::Italic),
650 ..Default::default()
651 },
652 ),
653 (
654 "emphasis".into(),
655 UserHighlightStyle {
656 font_style: Some(UserFontStyle::Italic),
657 ..Default::default()
658 },
659 ),
660 (
661 "emphasis.strong".into(),
662 UserHighlightStyle {
663 color: Some(rgba(0xaf3a02ff).into()),
664 font_weight: Some(UserFontWeight(700.0)),
665 ..Default::default()
666 },
667 ),
668 (
669 "function".into(),
670 UserHighlightStyle {
671 color: Some(rgba(0xb57613ff).into()),
672 ..Default::default()
673 },
674 ),
675 (
676 "keyword".into(),
677 UserHighlightStyle {
678 color: Some(rgba(0x9d0006ff).into()),
679 ..Default::default()
680 },
681 ),
682 (
683 "label".into(),
684 UserHighlightStyle {
685 color: Some(rgba(0xb57613ff).into()),
686 ..Default::default()
687 },
688 ),
689 (
690 "link_text".into(),
691 UserHighlightStyle {
692 color: Some(rgba(0x8f3e71ff).into()),
693 ..Default::default()
694 },
695 ),
696 (
697 "link_uri".into(),
698 UserHighlightStyle {
699 color: Some(rgba(0x8f3e71ff).into()),
700 ..Default::default()
701 },
702 ),
703 (
704 "operator".into(),
705 UserHighlightStyle {
706 color: Some(rgba(0x427b58ff).into()),
707 ..Default::default()
708 },
709 ),
710 (
711 "property".into(),
712 UserHighlightStyle {
713 color: Some(rgba(0x679d6aff).into()),
714 ..Default::default()
715 },
716 ),
717 (
718 "punctuation".into(),
719 UserHighlightStyle {
720 color: Some(rgba(0x7c6f64ff).into()),
721 ..Default::default()
722 },
723 ),
724 (
725 "string".into(),
726 UserHighlightStyle {
727 color: Some(rgba(0x79740eff).into()),
728 ..Default::default()
729 },
730 ),
731 (
732 "string.escape".into(),
733 UserHighlightStyle {
734 color: Some(rgba(0x9d0006ff).into()),
735 ..Default::default()
736 },
737 ),
738 (
739 "tag".into(),
740 UserHighlightStyle {
741 color: Some(rgba(0x427b58ff).into()),
742 ..Default::default()
743 },
744 ),
745 (
746 "text.literal".into(),
747 UserHighlightStyle {
748 color: Some(rgba(0x79740eff).into()),
749 ..Default::default()
750 },
751 ),
752 (
753 "title".into(),
754 UserHighlightStyle {
755 color: Some(rgba(0xb57613ff).into()),
756 ..Default::default()
757 },
758 ),
759 (
760 "type".into(),
761 UserHighlightStyle {
762 color: Some(rgba(0xb57613ff).into()),
763 ..Default::default()
764 },
765 ),
766 (
767 "variable".into(),
768 UserHighlightStyle {
769 color: Some(rgba(0x066578ff).into()),
770 ..Default::default()
771 },
772 ),
773 ],
774 }),
775 },
776 },
777 UserTheme {
778 name: "Gruvbox Light Medium".into(),
779 appearance: Appearance::Light,
780 styles: UserThemeStylesRefinement {
781 colors: ThemeColorsRefinement {
782 border: Some(rgba(0xebdbb2ff).into()),
783 border_variant: Some(rgba(0xebdbb2ff).into()),
784 border_focused: Some(rgba(0xebdbb2ff).into()),
785 border_selected: Some(rgba(0xebdbb2ff).into()),
786 border_transparent: Some(rgba(0xebdbb2ff).into()),
787 border_disabled: Some(rgba(0xebdbb2ff).into()),
788 background: Some(rgba(0xfbf1c7ff).into()),
789 element_background: Some(rgba(0x44858780).into()),
790 element_hover: Some(rgba(0xebdbb280).into()),
791 element_selected: Some(rgba(0xebdbb280).into()),
792 drop_target_background: Some(rgba(0xebdbb2ff).into()),
793 ghost_element_hover: Some(rgba(0xebdbb280).into()),
794 text: Some(rgba(0x3c3836ff).into()),
795 tab_inactive_background: Some(rgba(0xfbf1c7ff).into()),
796 tab_active_background: Some(rgba(0xebdbb2ff).into()),
797 editor_background: Some(rgba(0xfbf1c7ff).into()),
798 editor_gutter_background: Some(rgba(0xfbf1c7ff).into()),
799 editor_line_number: Some(rgba(0xbdae93ff).into()),
800 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
801 terminal_background: Some(rgba(0xfbf1c7ff).into()),
802 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
803 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
804 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
805 terminal_ansi_bright_yellow: Some(rgba(0xb57613ff).into()),
806 terminal_ansi_bright_blue: Some(rgba(0x066578ff).into()),
807 terminal_ansi_bright_magenta: Some(rgba(0x8f3e71ff).into()),
808 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
809 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
810 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
811 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
812 terminal_ansi_green: Some(rgba(0x989719ff).into()),
813 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
814 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
815 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
816 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
817 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
818 ..Default::default()
819 },
820 status: StatusColorsRefinement {
821 deleted: Some(rgba(0x9d0006ff).into()),
822 error: Some(rgba(0x9d0006ff).into()),
823 hidden: Some(rgba(0x7c6f64ff).into()),
824 ..Default::default()
825 },
826 syntax: Some(UserSyntaxTheme {
827 highlights: vec![
828 (
829 "attribute".into(),
830 UserHighlightStyle {
831 color: Some(rgba(0xb57613ff).into()),
832 ..Default::default()
833 },
834 ),
835 (
836 "comment".into(),
837 UserHighlightStyle {
838 color: Some(rgba(0x928374ff).into()),
839 font_style: Some(UserFontStyle::Italic),
840 ..Default::default()
841 },
842 ),
843 (
844 "emphasis".into(),
845 UserHighlightStyle {
846 font_style: Some(UserFontStyle::Italic),
847 ..Default::default()
848 },
849 ),
850 (
851 "emphasis.strong".into(),
852 UserHighlightStyle {
853 color: Some(rgba(0xaf3a02ff).into()),
854 font_weight: Some(UserFontWeight(700.0)),
855 ..Default::default()
856 },
857 ),
858 (
859 "function".into(),
860 UserHighlightStyle {
861 color: Some(rgba(0xb57613ff).into()),
862 ..Default::default()
863 },
864 ),
865 (
866 "keyword".into(),
867 UserHighlightStyle {
868 color: Some(rgba(0x9d0006ff).into()),
869 ..Default::default()
870 },
871 ),
872 (
873 "label".into(),
874 UserHighlightStyle {
875 color: Some(rgba(0xb57613ff).into()),
876 ..Default::default()
877 },
878 ),
879 (
880 "link_text".into(),
881 UserHighlightStyle {
882 color: Some(rgba(0x8f3e71ff).into()),
883 ..Default::default()
884 },
885 ),
886 (
887 "link_uri".into(),
888 UserHighlightStyle {
889 color: Some(rgba(0x8f3e71ff).into()),
890 ..Default::default()
891 },
892 ),
893 (
894 "operator".into(),
895 UserHighlightStyle {
896 color: Some(rgba(0x427b58ff).into()),
897 ..Default::default()
898 },
899 ),
900 (
901 "property".into(),
902 UserHighlightStyle {
903 color: Some(rgba(0x679d6aff).into()),
904 ..Default::default()
905 },
906 ),
907 (
908 "punctuation".into(),
909 UserHighlightStyle {
910 color: Some(rgba(0x7c6f64ff).into()),
911 ..Default::default()
912 },
913 ),
914 (
915 "string".into(),
916 UserHighlightStyle {
917 color: Some(rgba(0x79740eff).into()),
918 ..Default::default()
919 },
920 ),
921 (
922 "string.escape".into(),
923 UserHighlightStyle {
924 color: Some(rgba(0x9d0006ff).into()),
925 ..Default::default()
926 },
927 ),
928 (
929 "tag".into(),
930 UserHighlightStyle {
931 color: Some(rgba(0x427b58ff).into()),
932 ..Default::default()
933 },
934 ),
935 (
936 "text.literal".into(),
937 UserHighlightStyle {
938 color: Some(rgba(0x79740eff).into()),
939 ..Default::default()
940 },
941 ),
942 (
943 "title".into(),
944 UserHighlightStyle {
945 color: Some(rgba(0xb57613ff).into()),
946 ..Default::default()
947 },
948 ),
949 (
950 "type".into(),
951 UserHighlightStyle {
952 color: Some(rgba(0xb57613ff).into()),
953 ..Default::default()
954 },
955 ),
956 (
957 "variable".into(),
958 UserHighlightStyle {
959 color: Some(rgba(0x066578ff).into()),
960 ..Default::default()
961 },
962 ),
963 ],
964 }),
965 },
966 },
967 UserTheme {
968 name: "Gruvbox Light Soft".into(),
969 appearance: Appearance::Light,
970 styles: UserThemeStylesRefinement {
971 colors: ThemeColorsRefinement {
972 border: Some(rgba(0xebdbb2ff).into()),
973 border_variant: Some(rgba(0xebdbb2ff).into()),
974 border_focused: Some(rgba(0xebdbb2ff).into()),
975 border_selected: Some(rgba(0xebdbb2ff).into()),
976 border_transparent: Some(rgba(0xebdbb2ff).into()),
977 border_disabled: Some(rgba(0xebdbb2ff).into()),
978 background: Some(rgba(0xf2e5bcff).into()),
979 element_background: Some(rgba(0x44858780).into()),
980 element_hover: Some(rgba(0xebdbb280).into()),
981 element_selected: Some(rgba(0xebdbb280).into()),
982 drop_target_background: Some(rgba(0xebdbb2ff).into()),
983 ghost_element_hover: Some(rgba(0xebdbb280).into()),
984 text: Some(rgba(0x3c3836ff).into()),
985 tab_inactive_background: Some(rgba(0xf2e5bcff).into()),
986 tab_active_background: Some(rgba(0xd5c4a1ff).into()),
987 editor_background: Some(rgba(0xf2e5bcff).into()),
988 editor_gutter_background: Some(rgba(0xf2e5bcff).into()),
989 editor_line_number: Some(rgba(0xbdae93ff).into()),
990 editor_active_line_number: Some(rgba(0x3c3836ff).into()),
991 terminal_background: Some(rgba(0xf2e5bcff).into()),
992 terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
993 terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
994 terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
995 terminal_ansi_bright_yellow: Some(rgba(0xb57613ff).into()),
996 terminal_ansi_bright_blue: Some(rgba(0x066578ff).into()),
997 terminal_ansi_bright_magenta: Some(rgba(0x8f3e71ff).into()),
998 terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
999 terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
1000 terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
1001 terminal_ansi_red: Some(rgba(0xcc241cff).into()),
1002 terminal_ansi_green: Some(rgba(0x989719ff).into()),
1003 terminal_ansi_yellow: Some(rgba(0xd79920ff).into()),
1004 terminal_ansi_blue: Some(rgba(0x448587ff).into()),
1005 terminal_ansi_magenta: Some(rgba(0xb16185ff).into()),
1006 terminal_ansi_cyan: Some(rgba(0x679d6aff).into()),
1007 terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
1008 ..Default::default()
1009 },
1010 status: StatusColorsRefinement {
1011 deleted: Some(rgba(0x9d0006ff).into()),
1012 error: Some(rgba(0x9d0006ff).into()),
1013 hidden: Some(rgba(0x7c6f64ff).into()),
1014 ..Default::default()
1015 },
1016 syntax: Some(UserSyntaxTheme {
1017 highlights: vec![
1018 (
1019 "attribute".into(),
1020 UserHighlightStyle {
1021 color: Some(rgba(0xb57613ff).into()),
1022 ..Default::default()
1023 },
1024 ),
1025 (
1026 "comment".into(),
1027 UserHighlightStyle {
1028 color: Some(rgba(0x928374ff).into()),
1029 font_style: Some(UserFontStyle::Italic),
1030 ..Default::default()
1031 },
1032 ),
1033 (
1034 "emphasis".into(),
1035 UserHighlightStyle {
1036 font_style: Some(UserFontStyle::Italic),
1037 ..Default::default()
1038 },
1039 ),
1040 (
1041 "emphasis.strong".into(),
1042 UserHighlightStyle {
1043 color: Some(rgba(0xaf3a02ff).into()),
1044 font_weight: Some(UserFontWeight(700.0)),
1045 ..Default::default()
1046 },
1047 ),
1048 (
1049 "function".into(),
1050 UserHighlightStyle {
1051 color: Some(rgba(0xb57613ff).into()),
1052 ..Default::default()
1053 },
1054 ),
1055 (
1056 "keyword".into(),
1057 UserHighlightStyle {
1058 color: Some(rgba(0x9d0006ff).into()),
1059 ..Default::default()
1060 },
1061 ),
1062 (
1063 "label".into(),
1064 UserHighlightStyle {
1065 color: Some(rgba(0xb57613ff).into()),
1066 ..Default::default()
1067 },
1068 ),
1069 (
1070 "link_text".into(),
1071 UserHighlightStyle {
1072 color: Some(rgba(0x8f3e71ff).into()),
1073 ..Default::default()
1074 },
1075 ),
1076 (
1077 "link_uri".into(),
1078 UserHighlightStyle {
1079 color: Some(rgba(0x8f3e71ff).into()),
1080 ..Default::default()
1081 },
1082 ),
1083 (
1084 "operator".into(),
1085 UserHighlightStyle {
1086 color: Some(rgba(0x427b58ff).into()),
1087 ..Default::default()
1088 },
1089 ),
1090 (
1091 "property".into(),
1092 UserHighlightStyle {
1093 color: Some(rgba(0x679d6aff).into()),
1094 ..Default::default()
1095 },
1096 ),
1097 (
1098 "punctuation".into(),
1099 UserHighlightStyle {
1100 color: Some(rgba(0x7c6f64ff).into()),
1101 ..Default::default()
1102 },
1103 ),
1104 (
1105 "string".into(),
1106 UserHighlightStyle {
1107 color: Some(rgba(0x79740eff).into()),
1108 ..Default::default()
1109 },
1110 ),
1111 (
1112 "string.escape".into(),
1113 UserHighlightStyle {
1114 color: Some(rgba(0x9d0006ff).into()),
1115 ..Default::default()
1116 },
1117 ),
1118 (
1119 "tag".into(),
1120 UserHighlightStyle {
1121 color: Some(rgba(0x427b58ff).into()),
1122 ..Default::default()
1123 },
1124 ),
1125 (
1126 "text.literal".into(),
1127 UserHighlightStyle {
1128 color: Some(rgba(0x79740eff).into()),
1129 ..Default::default()
1130 },
1131 ),
1132 (
1133 "title".into(),
1134 UserHighlightStyle {
1135 color: Some(rgba(0xb57613ff).into()),
1136 ..Default::default()
1137 },
1138 ),
1139 (
1140 "type".into(),
1141 UserHighlightStyle {
1142 color: Some(rgba(0xb57613ff).into()),
1143 ..Default::default()
1144 },
1145 ),
1146 (
1147 "variable".into(),
1148 UserHighlightStyle {
1149 color: Some(rgba(0x066578ff).into()),
1150 ..Default::default()
1151 },
1152 ),
1153 ],
1154 }),
1155 },
1156 },
1157 ],
1158 }
1159}