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