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