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