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