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