rose_pine.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 rose_pine() -> UserThemeFamily {
 13    UserThemeFamily {
 14        name: "Rose Pine".into(),
 15        author: "Rosé Pine".into(),
 16        themes: vec![
 17            UserTheme {
 18                name: "Rose Pine".into(),
 19                appearance: Appearance::Dark,
 20                styles: UserThemeStylesRefinement {
 21                    colors: ThemeColorsRefinement {
 22                        border: Some(rgba(0x00000000).into()),
 23                        border_variant: Some(rgba(0x00000000).into()),
 24                        border_focused: Some(rgba(0x6e6a8633).into()),
 25                        border_selected: Some(rgba(0x00000000).into()),
 26                        border_transparent: Some(rgba(0x00000000).into()),
 27                        border_disabled: Some(rgba(0x00000000).into()),
 28                        elevated_surface_background: Some(rgba(0x1f1d2eff).into()),
 29                        surface_background: Some(rgba(0x1f1d2eff).into()),
 30                        background: Some(rgba(0x191724ff).into()),
 31                        element_background: Some(rgba(0xebbcbaff).into()),
 32                        element_hover: Some(rgba(0x6e6a861a).into()),
 33                        element_selected: Some(rgba(0x6e6a8633).into()),
 34                        drop_target_background: Some(rgba(0x1f1d2eff).into()),
 35                        ghost_element_hover: Some(rgba(0x6e6a861a).into()),
 36                        ghost_element_selected: Some(rgba(0x6e6a8633).into()),
 37                        text: Some(rgba(0xe0def4ff).into()),
 38                        text_muted: Some(rgba(0x908caaff).into()),
 39                        status_bar_background: Some(rgba(0x191724ff).into()),
 40                        title_bar_background: Some(rgba(0x191724ff).into()),
 41                        toolbar_background: Some(rgba(0x191724ff).into()),
 42                        tab_bar_background: Some(rgba(0x00000000).into()),
 43                        tab_inactive_background: Some(rgba(0x00000000).into()),
 44                        tab_active_background: Some(rgba(0x6e6a861a).into()),
 45                        scrollbar_thumb_background: Some(rgba(0x6e6a8633).into()),
 46                        scrollbar_thumb_hover_background: Some(rgba(0x6e6a8666).into()),
 47                        scrollbar_thumb_border: Some(rgba(0x6e6a8633).into()),
 48                        scrollbar_track_background: Some(rgba(0x191724ff).into()),
 49                        scrollbar_track_border: Some(rgba(0x6e6a8666).into()),
 50                        editor_foreground: Some(rgba(0xe0def4ff).into()),
 51                        editor_background: Some(rgba(0x191724ff).into()),
 52                        editor_gutter_background: Some(rgba(0x191724ff).into()),
 53                        editor_line_number: Some(rgba(0x908caaff).into()),
 54                        editor_active_line_number: Some(rgba(0xe0def4ff).into()),
 55                        editor_wrap_guide: Some(rgba(0x00000000).into()),
 56                        editor_active_wrap_guide: Some(rgba(0x00000000).into()),
 57                        terminal_ansi_bright_black: Some(rgba(0x908caaff).into()),
 58                        terminal_ansi_bright_red: Some(rgba(0xeb6f92ff).into()),
 59                        terminal_ansi_bright_green: Some(rgba(0x31748fff).into()),
 60                        terminal_ansi_bright_yellow: Some(rgba(0xf6c177ff).into()),
 61                        terminal_ansi_bright_blue: Some(rgba(0x9ccfd8ff).into()),
 62                        terminal_ansi_bright_magenta: Some(rgba(0xc4a7e7ff).into()),
 63                        terminal_ansi_bright_cyan: Some(rgba(0xebbcbaff).into()),
 64                        terminal_ansi_bright_white: Some(rgba(0xe0def4ff).into()),
 65                        terminal_ansi_black: Some(rgba(0x26233aff).into()),
 66                        terminal_ansi_red: Some(rgba(0xeb6f92ff).into()),
 67                        terminal_ansi_green: Some(rgba(0x31748fff).into()),
 68                        terminal_ansi_yellow: Some(rgba(0xf6c177ff).into()),
 69                        terminal_ansi_blue: Some(rgba(0x9ccfd8ff).into()),
 70                        terminal_ansi_magenta: Some(rgba(0xc4a7e7ff).into()),
 71                        terminal_ansi_cyan: Some(rgba(0xebbcbaff).into()),
 72                        terminal_ansi_white: Some(rgba(0xe0def4ff).into()),
 73                        link_text_hover: Some(rgba(0xc4a7e7e6).into()),
 74                        ..Default::default()
 75                    },
 76                    status: StatusColorsRefinement {
 77                        conflict: Some(rgba(0xeb6f92ff).into()),
 78                        created: Some(rgba(0x9ccfd8ff).into()),
 79                        deleted: Some(rgba(0xeb6f92ff).into()),
 80                        error: Some(rgba(0xeb6f92ff).into()),
 81                        hidden: Some(rgba(0x908caaff).into()),
 82                        hint: Some(rgba(0x908caaff).into()),
 83                        ignored: Some(rgba(0x6e6a86ff).into()),
 84                        modified: Some(rgba(0xebbcbaff).into()),
 85                        warning: Some(rgba(0xf6c177ff).into()),
 86                        ..Default::default()
 87                    },
 88                    syntax: Some(UserSyntaxTheme {
 89                        highlights: vec![
 90                            (
 91                                "attribute".into(),
 92                                UserHighlightStyle {
 93                                    color: Some(rgba(0xc4a7e7ff).into()),
 94                                    font_style: Some(UserFontStyle::Italic),
 95                                    ..Default::default()
 96                                },
 97                            ),
 98                            (
 99                                "boolean".into(),
100                                UserHighlightStyle {
101                                    color: Some(rgba(0xebbcbaff).into()),
102                                    ..Default::default()
103                                },
104                            ),
105                            (
106                                "comment".into(),
107                                UserHighlightStyle {
108                                    color: Some(rgba(0x6e6a86ff).into()),
109                                    font_style: Some(UserFontStyle::Italic),
110                                    ..Default::default()
111                                },
112                            ),
113                            (
114                                "comment.doc".into(),
115                                UserHighlightStyle {
116                                    color: Some(rgba(0x6e6a86ff).into()),
117                                    font_style: Some(UserFontStyle::Italic),
118                                    ..Default::default()
119                                },
120                            ),
121                            (
122                                "constant".into(),
123                                UserHighlightStyle {
124                                    color: Some(rgba(0x31748fff).into()),
125                                    ..Default::default()
126                                },
127                            ),
128                            (
129                                "constructor".into(),
130                                UserHighlightStyle {
131                                    color: Some(rgba(0x9ccfd8ff).into()),
132                                    ..Default::default()
133                                },
134                            ),
135                            (
136                                "function".into(),
137                                UserHighlightStyle {
138                                    color: Some(rgba(0xebbcbaff).into()),
139                                    ..Default::default()
140                                },
141                            ),
142                            (
143                                "keyword".into(),
144                                UserHighlightStyle {
145                                    color: Some(rgba(0x31748fff).into()),
146                                    ..Default::default()
147                                },
148                            ),
149                            (
150                                "label".into(),
151                                UserHighlightStyle {
152                                    color: Some(rgba(0xebbcbaff).into()),
153                                    ..Default::default()
154                                },
155                            ),
156                            (
157                                "number".into(),
158                                UserHighlightStyle {
159                                    color: Some(rgba(0xebbcbaff).into()),
160                                    ..Default::default()
161                                },
162                            ),
163                            (
164                                "punctuation".into(),
165                                UserHighlightStyle {
166                                    color: Some(rgba(0x908caaff).into()),
167                                    ..Default::default()
168                                },
169                            ),
170                            (
171                                "punctuation.bracket".into(),
172                                UserHighlightStyle {
173                                    color: Some(rgba(0x908caaff).into()),
174                                    ..Default::default()
175                                },
176                            ),
177                            (
178                                "punctuation.delimiter".into(),
179                                UserHighlightStyle {
180                                    color: Some(rgba(0x908caaff).into()),
181                                    ..Default::default()
182                                },
183                            ),
184                            (
185                                "punctuation.list_marker".into(),
186                                UserHighlightStyle {
187                                    color: Some(rgba(0x908caaff).into()),
188                                    ..Default::default()
189                                },
190                            ),
191                            (
192                                "punctuation.special".into(),
193                                UserHighlightStyle {
194                                    color: Some(rgba(0x908caaff).into()),
195                                    ..Default::default()
196                                },
197                            ),
198                            (
199                                "string".into(),
200                                UserHighlightStyle {
201                                    color: Some(rgba(0xf6c177ff).into()),
202                                    ..Default::default()
203                                },
204                            ),
205                            (
206                                "string.escape".into(),
207                                UserHighlightStyle {
208                                    color: Some(rgba(0xf6c177ff).into()),
209                                    ..Default::default()
210                                },
211                            ),
212                            (
213                                "string.regex".into(),
214                                UserHighlightStyle {
215                                    color: Some(rgba(0xf6c177ff).into()),
216                                    ..Default::default()
217                                },
218                            ),
219                            (
220                                "string.special".into(),
221                                UserHighlightStyle {
222                                    color: Some(rgba(0xf6c177ff).into()),
223                                    ..Default::default()
224                                },
225                            ),
226                            (
227                                "string.special.symbol".into(),
228                                UserHighlightStyle {
229                                    color: Some(rgba(0xf6c177ff).into()),
230                                    ..Default::default()
231                                },
232                            ),
233                            (
234                                "tag".into(),
235                                UserHighlightStyle {
236                                    color: Some(rgba(0x9ccfd8ff).into()),
237                                    ..Default::default()
238                                },
239                            ),
240                            (
241                                "text.literal".into(),
242                                UserHighlightStyle {
243                                    color: Some(rgba(0xf6c177ff).into()),
244                                    ..Default::default()
245                                },
246                            ),
247                            (
248                                "title".into(),
249                                UserHighlightStyle {
250                                    color: Some(rgba(0xebbcbaff).into()),
251                                    ..Default::default()
252                                },
253                            ),
254                            (
255                                "type".into(),
256                                UserHighlightStyle {
257                                    color: Some(rgba(0x9ccfd8ff).into()),
258                                    ..Default::default()
259                                },
260                            ),
261                            (
262                                "variable".into(),
263                                UserHighlightStyle {
264                                    color: Some(rgba(0xebbcbaff).into()),
265                                    font_style: Some(UserFontStyle::Italic),
266                                    ..Default::default()
267                                },
268                            ),
269                            (
270                                "variable.special".into(),
271                                UserHighlightStyle {
272                                    color: Some(rgba(0xe0def4ff).into()),
273                                    ..Default::default()
274                                },
275                            ),
276                        ],
277                    }),
278                },
279            },
280            UserTheme {
281                name: "Rose Pine Moon".into(),
282                appearance: Appearance::Dark,
283                styles: UserThemeStylesRefinement {
284                    colors: ThemeColorsRefinement {
285                        border: Some(rgba(0x00000000).into()),
286                        border_variant: Some(rgba(0x00000000).into()),
287                        border_focused: Some(rgba(0x817c9c26).into()),
288                        border_selected: Some(rgba(0x00000000).into()),
289                        border_transparent: Some(rgba(0x00000000).into()),
290                        border_disabled: Some(rgba(0x00000000).into()),
291                        elevated_surface_background: Some(rgba(0x2a273fff).into()),
292                        surface_background: Some(rgba(0x2a273fff).into()),
293                        background: Some(rgba(0x232136ff).into()),
294                        element_background: Some(rgba(0xea9a97ff).into()),
295                        element_hover: Some(rgba(0x817c9c14).into()),
296                        element_selected: Some(rgba(0x817c9c26).into()),
297                        drop_target_background: Some(rgba(0x2a273fff).into()),
298                        ghost_element_hover: Some(rgba(0x817c9c14).into()),
299                        ghost_element_selected: Some(rgba(0x817c9c26).into()),
300                        text: Some(rgba(0xe0def4ff).into()),
301                        text_muted: Some(rgba(0x908caaff).into()),
302                        status_bar_background: Some(rgba(0x232136ff).into()),
303                        title_bar_background: Some(rgba(0x232136ff).into()),
304                        toolbar_background: Some(rgba(0x232136ff).into()),
305                        tab_bar_background: Some(rgba(0x00000000).into()),
306                        tab_inactive_background: Some(rgba(0x00000000).into()),
307                        tab_active_background: Some(rgba(0x817c9c14).into()),
308                        scrollbar_thumb_background: Some(rgba(0x817c9c26).into()),
309                        scrollbar_thumb_hover_background: Some(rgba(0x817c9c4d).into()),
310                        scrollbar_thumb_border: Some(rgba(0x817c9c26).into()),
311                        scrollbar_track_background: Some(rgba(0x232136ff).into()),
312                        scrollbar_track_border: Some(rgba(0x817c9c4d).into()),
313                        editor_foreground: Some(rgba(0xe0def4ff).into()),
314                        editor_background: Some(rgba(0x232136ff).into()),
315                        editor_gutter_background: Some(rgba(0x232136ff).into()),
316                        editor_line_number: Some(rgba(0x908caaff).into()),
317                        editor_active_line_number: Some(rgba(0xe0def4ff).into()),
318                        editor_wrap_guide: Some(rgba(0x00000000).into()),
319                        editor_active_wrap_guide: Some(rgba(0x00000000).into()),
320                        terminal_ansi_bright_black: Some(rgba(0x908caaff).into()),
321                        terminal_ansi_bright_red: Some(rgba(0xeb6f92ff).into()),
322                        terminal_ansi_bright_green: Some(rgba(0x3e8fb0ff).into()),
323                        terminal_ansi_bright_yellow: Some(rgba(0xf6c177ff).into()),
324                        terminal_ansi_bright_blue: Some(rgba(0x9ccfd8ff).into()),
325                        terminal_ansi_bright_magenta: Some(rgba(0xc4a7e7ff).into()),
326                        terminal_ansi_bright_cyan: Some(rgba(0xea9a97ff).into()),
327                        terminal_ansi_bright_white: Some(rgba(0xe0def4ff).into()),
328                        terminal_ansi_black: Some(rgba(0x393552ff).into()),
329                        terminal_ansi_red: Some(rgba(0xeb6f92ff).into()),
330                        terminal_ansi_green: Some(rgba(0x3e8fb0ff).into()),
331                        terminal_ansi_yellow: Some(rgba(0xf6c177ff).into()),
332                        terminal_ansi_blue: Some(rgba(0x9ccfd8ff).into()),
333                        terminal_ansi_magenta: Some(rgba(0xc4a7e7ff).into()),
334                        terminal_ansi_cyan: Some(rgba(0xea9a97ff).into()),
335                        terminal_ansi_white: Some(rgba(0xe0def4ff).into()),
336                        link_text_hover: Some(rgba(0xc4a7e7e6).into()),
337                        ..Default::default()
338                    },
339                    status: StatusColorsRefinement {
340                        conflict: Some(rgba(0xeb6f92ff).into()),
341                        created: Some(rgba(0x9ccfd8ff).into()),
342                        deleted: Some(rgba(0xeb6f92ff).into()),
343                        error: Some(rgba(0xeb6f92ff).into()),
344                        hidden: Some(rgba(0x908caaff).into()),
345                        hint: Some(rgba(0x908caaff).into()),
346                        ignored: Some(rgba(0x6e6a86ff).into()),
347                        modified: Some(rgba(0xea9a97ff).into()),
348                        warning: Some(rgba(0xf6c177ff).into()),
349                        ..Default::default()
350                    },
351                    syntax: Some(UserSyntaxTheme {
352                        highlights: vec![
353                            (
354                                "attribute".into(),
355                                UserHighlightStyle {
356                                    color: Some(rgba(0xc4a7e7ff).into()),
357                                    font_style: Some(UserFontStyle::Italic),
358                                    ..Default::default()
359                                },
360                            ),
361                            (
362                                "boolean".into(),
363                                UserHighlightStyle {
364                                    color: Some(rgba(0xea9a97ff).into()),
365                                    ..Default::default()
366                                },
367                            ),
368                            (
369                                "comment".into(),
370                                UserHighlightStyle {
371                                    color: Some(rgba(0x6e6a86ff).into()),
372                                    font_style: Some(UserFontStyle::Italic),
373                                    ..Default::default()
374                                },
375                            ),
376                            (
377                                "comment.doc".into(),
378                                UserHighlightStyle {
379                                    color: Some(rgba(0x6e6a86ff).into()),
380                                    font_style: Some(UserFontStyle::Italic),
381                                    ..Default::default()
382                                },
383                            ),
384                            (
385                                "constant".into(),
386                                UserHighlightStyle {
387                                    color: Some(rgba(0x3e8fb0ff).into()),
388                                    ..Default::default()
389                                },
390                            ),
391                            (
392                                "constructor".into(),
393                                UserHighlightStyle {
394                                    color: Some(rgba(0x9ccfd8ff).into()),
395                                    ..Default::default()
396                                },
397                            ),
398                            (
399                                "function".into(),
400                                UserHighlightStyle {
401                                    color: Some(rgba(0xea9a97ff).into()),
402                                    ..Default::default()
403                                },
404                            ),
405                            (
406                                "keyword".into(),
407                                UserHighlightStyle {
408                                    color: Some(rgba(0x3e8fb0ff).into()),
409                                    ..Default::default()
410                                },
411                            ),
412                            (
413                                "label".into(),
414                                UserHighlightStyle {
415                                    color: Some(rgba(0xea9a97ff).into()),
416                                    ..Default::default()
417                                },
418                            ),
419                            (
420                                "number".into(),
421                                UserHighlightStyle {
422                                    color: Some(rgba(0xea9a97ff).into()),
423                                    ..Default::default()
424                                },
425                            ),
426                            (
427                                "punctuation".into(),
428                                UserHighlightStyle {
429                                    color: Some(rgba(0x908caaff).into()),
430                                    ..Default::default()
431                                },
432                            ),
433                            (
434                                "punctuation.bracket".into(),
435                                UserHighlightStyle {
436                                    color: Some(rgba(0x908caaff).into()),
437                                    ..Default::default()
438                                },
439                            ),
440                            (
441                                "punctuation.delimiter".into(),
442                                UserHighlightStyle {
443                                    color: Some(rgba(0x908caaff).into()),
444                                    ..Default::default()
445                                },
446                            ),
447                            (
448                                "punctuation.list_marker".into(),
449                                UserHighlightStyle {
450                                    color: Some(rgba(0x908caaff).into()),
451                                    ..Default::default()
452                                },
453                            ),
454                            (
455                                "punctuation.special".into(),
456                                UserHighlightStyle {
457                                    color: Some(rgba(0x908caaff).into()),
458                                    ..Default::default()
459                                },
460                            ),
461                            (
462                                "string".into(),
463                                UserHighlightStyle {
464                                    color: Some(rgba(0xf6c177ff).into()),
465                                    ..Default::default()
466                                },
467                            ),
468                            (
469                                "string.escape".into(),
470                                UserHighlightStyle {
471                                    color: Some(rgba(0xf6c177ff).into()),
472                                    ..Default::default()
473                                },
474                            ),
475                            (
476                                "string.regex".into(),
477                                UserHighlightStyle {
478                                    color: Some(rgba(0xf6c177ff).into()),
479                                    ..Default::default()
480                                },
481                            ),
482                            (
483                                "string.special".into(),
484                                UserHighlightStyle {
485                                    color: Some(rgba(0xf6c177ff).into()),
486                                    ..Default::default()
487                                },
488                            ),
489                            (
490                                "string.special.symbol".into(),
491                                UserHighlightStyle {
492                                    color: Some(rgba(0xf6c177ff).into()),
493                                    ..Default::default()
494                                },
495                            ),
496                            (
497                                "tag".into(),
498                                UserHighlightStyle {
499                                    color: Some(rgba(0x9ccfd8ff).into()),
500                                    ..Default::default()
501                                },
502                            ),
503                            (
504                                "text.literal".into(),
505                                UserHighlightStyle {
506                                    color: Some(rgba(0xf6c177ff).into()),
507                                    ..Default::default()
508                                },
509                            ),
510                            (
511                                "title".into(),
512                                UserHighlightStyle {
513                                    color: Some(rgba(0xea9a97ff).into()),
514                                    ..Default::default()
515                                },
516                            ),
517                            (
518                                "type".into(),
519                                UserHighlightStyle {
520                                    color: Some(rgba(0x9ccfd8ff).into()),
521                                    ..Default::default()
522                                },
523                            ),
524                            (
525                                "variable".into(),
526                                UserHighlightStyle {
527                                    color: Some(rgba(0xea9a97ff).into()),
528                                    font_style: Some(UserFontStyle::Italic),
529                                    ..Default::default()
530                                },
531                            ),
532                            (
533                                "variable.special".into(),
534                                UserHighlightStyle {
535                                    color: Some(rgba(0xe0def4ff).into()),
536                                    ..Default::default()
537                                },
538                            ),
539                        ],
540                    }),
541                },
542            },
543            UserTheme {
544                name: "Rose Pine Dawn".into(),
545                appearance: Appearance::Light,
546                styles: UserThemeStylesRefinement {
547                    colors: ThemeColorsRefinement {
548                        border: Some(rgba(0x00000000).into()),
549                        border_variant: Some(rgba(0x00000000).into()),
550                        border_focused: Some(rgba(0x6e6a8614).into()),
551                        border_selected: Some(rgba(0x00000000).into()),
552                        border_transparent: Some(rgba(0x00000000).into()),
553                        border_disabled: Some(rgba(0x00000000).into()),
554                        elevated_surface_background: Some(rgba(0xfffaf3ff).into()),
555                        surface_background: Some(rgba(0xfffaf3ff).into()),
556                        background: Some(rgba(0xfaf4edff).into()),
557                        element_background: Some(rgba(0xd7827eff).into()),
558                        element_hover: Some(rgba(0x6e6a860d).into()),
559                        element_selected: Some(rgba(0x6e6a8614).into()),
560                        drop_target_background: Some(rgba(0xfffaf3ff).into()),
561                        ghost_element_hover: Some(rgba(0x6e6a860d).into()),
562                        ghost_element_selected: Some(rgba(0x6e6a8614).into()),
563                        text: Some(rgba(0x575279ff).into()),
564                        text_muted: Some(rgba(0x797593ff).into()),
565                        status_bar_background: Some(rgba(0xfaf4edff).into()),
566                        title_bar_background: Some(rgba(0xfaf4edff).into()),
567                        toolbar_background: Some(rgba(0xfaf4edff).into()),
568                        tab_bar_background: Some(rgba(0x00000000).into()),
569                        tab_inactive_background: Some(rgba(0x00000000).into()),
570                        tab_active_background: Some(rgba(0x6e6a860d).into()),
571                        scrollbar_thumb_background: Some(rgba(0x6e6a8614).into()),
572                        scrollbar_thumb_hover_background: Some(rgba(0x6e6a8626).into()),
573                        scrollbar_thumb_border: Some(rgba(0x6e6a8614).into()),
574                        scrollbar_track_background: Some(rgba(0xfaf4edff).into()),
575                        scrollbar_track_border: Some(rgba(0x6e6a8626).into()),
576                        editor_foreground: Some(rgba(0x575279ff).into()),
577                        editor_background: Some(rgba(0xfaf4edff).into()),
578                        editor_gutter_background: Some(rgba(0xfaf4edff).into()),
579                        editor_line_number: Some(rgba(0x797593ff).into()),
580                        editor_active_line_number: Some(rgba(0x575279ff).into()),
581                        editor_wrap_guide: Some(rgba(0x00000000).into()),
582                        editor_active_wrap_guide: Some(rgba(0x00000000).into()),
583                        terminal_ansi_bright_black: Some(rgba(0x797593ff).into()),
584                        terminal_ansi_bright_red: Some(rgba(0xb4637aff).into()),
585                        terminal_ansi_bright_green: Some(rgba(0x286983ff).into()),
586                        terminal_ansi_bright_yellow: Some(rgba(0xea9d34ff).into()),
587                        terminal_ansi_bright_blue: Some(rgba(0x56949fff).into()),
588                        terminal_ansi_bright_magenta: Some(rgba(0x907aa9ff).into()),
589                        terminal_ansi_bright_cyan: Some(rgba(0xd7827eff).into()),
590                        terminal_ansi_bright_white: Some(rgba(0x575279ff).into()),
591                        terminal_ansi_black: Some(rgba(0xf2e9e1ff).into()),
592                        terminal_ansi_red: Some(rgba(0xb4637aff).into()),
593                        terminal_ansi_green: Some(rgba(0x286983ff).into()),
594                        terminal_ansi_yellow: Some(rgba(0xea9d34ff).into()),
595                        terminal_ansi_blue: Some(rgba(0x56949fff).into()),
596                        terminal_ansi_magenta: Some(rgba(0x907aa9ff).into()),
597                        terminal_ansi_cyan: Some(rgba(0xd7827eff).into()),
598                        terminal_ansi_white: Some(rgba(0x575279ff).into()),
599                        link_text_hover: Some(rgba(0x907aa9e6).into()),
600                        ..Default::default()
601                    },
602                    status: StatusColorsRefinement {
603                        conflict: Some(rgba(0xb4637aff).into()),
604                        created: Some(rgba(0x56949fff).into()),
605                        deleted: Some(rgba(0xb4637aff).into()),
606                        error: Some(rgba(0xb4637aff).into()),
607                        hidden: Some(rgba(0x797593ff).into()),
608                        hint: Some(rgba(0x797593ff).into()),
609                        ignored: Some(rgba(0x9893a5ff).into()),
610                        modified: Some(rgba(0xd7827eff).into()),
611                        warning: Some(rgba(0xea9d34ff).into()),
612                        ..Default::default()
613                    },
614                    syntax: Some(UserSyntaxTheme {
615                        highlights: vec![
616                            (
617                                "attribute".into(),
618                                UserHighlightStyle {
619                                    color: Some(rgba(0x907aa9ff).into()),
620                                    font_style: Some(UserFontStyle::Italic),
621                                    ..Default::default()
622                                },
623                            ),
624                            (
625                                "boolean".into(),
626                                UserHighlightStyle {
627                                    color: Some(rgba(0xd7827eff).into()),
628                                    ..Default::default()
629                                },
630                            ),
631                            (
632                                "comment".into(),
633                                UserHighlightStyle {
634                                    color: Some(rgba(0x9893a5ff).into()),
635                                    font_style: Some(UserFontStyle::Italic),
636                                    ..Default::default()
637                                },
638                            ),
639                            (
640                                "comment.doc".into(),
641                                UserHighlightStyle {
642                                    color: Some(rgba(0x9893a5ff).into()),
643                                    font_style: Some(UserFontStyle::Italic),
644                                    ..Default::default()
645                                },
646                            ),
647                            (
648                                "constant".into(),
649                                UserHighlightStyle {
650                                    color: Some(rgba(0x286983ff).into()),
651                                    ..Default::default()
652                                },
653                            ),
654                            (
655                                "constructor".into(),
656                                UserHighlightStyle {
657                                    color: Some(rgba(0x56949fff).into()),
658                                    ..Default::default()
659                                },
660                            ),
661                            (
662                                "function".into(),
663                                UserHighlightStyle {
664                                    color: Some(rgba(0xd7827eff).into()),
665                                    ..Default::default()
666                                },
667                            ),
668                            (
669                                "keyword".into(),
670                                UserHighlightStyle {
671                                    color: Some(rgba(0x286983ff).into()),
672                                    ..Default::default()
673                                },
674                            ),
675                            (
676                                "label".into(),
677                                UserHighlightStyle {
678                                    color: Some(rgba(0xd7827eff).into()),
679                                    ..Default::default()
680                                },
681                            ),
682                            (
683                                "number".into(),
684                                UserHighlightStyle {
685                                    color: Some(rgba(0xd7827eff).into()),
686                                    ..Default::default()
687                                },
688                            ),
689                            (
690                                "punctuation".into(),
691                                UserHighlightStyle {
692                                    color: Some(rgba(0x797593ff).into()),
693                                    ..Default::default()
694                                },
695                            ),
696                            (
697                                "punctuation.bracket".into(),
698                                UserHighlightStyle {
699                                    color: Some(rgba(0x797593ff).into()),
700                                    ..Default::default()
701                                },
702                            ),
703                            (
704                                "punctuation.delimiter".into(),
705                                UserHighlightStyle {
706                                    color: Some(rgba(0x797593ff).into()),
707                                    ..Default::default()
708                                },
709                            ),
710                            (
711                                "punctuation.list_marker".into(),
712                                UserHighlightStyle {
713                                    color: Some(rgba(0x797593ff).into()),
714                                    ..Default::default()
715                                },
716                            ),
717                            (
718                                "punctuation.special".into(),
719                                UserHighlightStyle {
720                                    color: Some(rgba(0x797593ff).into()),
721                                    ..Default::default()
722                                },
723                            ),
724                            (
725                                "string".into(),
726                                UserHighlightStyle {
727                                    color: Some(rgba(0xea9d34ff).into()),
728                                    ..Default::default()
729                                },
730                            ),
731                            (
732                                "string.escape".into(),
733                                UserHighlightStyle {
734                                    color: Some(rgba(0xea9d34ff).into()),
735                                    ..Default::default()
736                                },
737                            ),
738                            (
739                                "string.regex".into(),
740                                UserHighlightStyle {
741                                    color: Some(rgba(0xea9d34ff).into()),
742                                    ..Default::default()
743                                },
744                            ),
745                            (
746                                "string.special".into(),
747                                UserHighlightStyle {
748                                    color: Some(rgba(0xea9d34ff).into()),
749                                    ..Default::default()
750                                },
751                            ),
752                            (
753                                "string.special.symbol".into(),
754                                UserHighlightStyle {
755                                    color: Some(rgba(0xea9d34ff).into()),
756                                    ..Default::default()
757                                },
758                            ),
759                            (
760                                "tag".into(),
761                                UserHighlightStyle {
762                                    color: Some(rgba(0x56949fff).into()),
763                                    ..Default::default()
764                                },
765                            ),
766                            (
767                                "text.literal".into(),
768                                UserHighlightStyle {
769                                    color: Some(rgba(0xea9d34ff).into()),
770                                    ..Default::default()
771                                },
772                            ),
773                            (
774                                "title".into(),
775                                UserHighlightStyle {
776                                    color: Some(rgba(0xd7827eff).into()),
777                                    ..Default::default()
778                                },
779                            ),
780                            (
781                                "type".into(),
782                                UserHighlightStyle {
783                                    color: Some(rgba(0x56949fff).into()),
784                                    ..Default::default()
785                                },
786                            ),
787                            (
788                                "variable".into(),
789                                UserHighlightStyle {
790                                    color: Some(rgba(0xd7827eff).into()),
791                                    font_style: Some(UserFontStyle::Italic),
792                                    ..Default::default()
793                                },
794                            ),
795                            (
796                                "variable.special".into(),
797                                UserHighlightStyle {
798                                    color: Some(rgba(0x575279ff).into()),
799                                    ..Default::default()
800                                },
801                            ),
802                        ],
803                    }),
804                },
805            },
806        ],
807    }
808}