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