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