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