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