ayu.rs

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