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