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