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