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