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