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