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