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