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