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