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