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