solarized.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, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
  9    UserFontStyle, UserFontWeight, UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily,
 10    UserThemeStylesRefinement,
 11};
 12
 13pub fn solarized() -> UserThemeFamily {
 14    UserThemeFamily {
 15        name: "Solarized".into(),
 16        author: "Zed Industries".into(),
 17        themes: vec![
 18            UserTheme {
 19                name: "Solarized Light".into(),
 20                appearance: Appearance::Light,
 21                styles: UserThemeStylesRefinement {
 22                    colors: ThemeColorsRefinement {
 23                        border: Some(rgba(0xdcdacbff).into()),
 24                        border_variant: Some(rgba(0xf5eedbff).into()),
 25                        elevated_surface_background: Some(rgba(0xcfd0c4ff).into()),
 26                        background: Some(rgba(0xcfd0c4ff).into()),
 27                        panel_background: Some(rgba(0xf3eddaff).into()),
 28                        element_hover: Some(rgba(0x9faaa880).into()),
 29                        element_selected: Some(rgba(0x7f919480).into()),
 30                        text: Some(rgba(0x002b36ff).into()),
 31                        text_muted: Some(rgba(0x34555eff).into()),
 32                        text_placeholder: Some(rgba(0x788b8fff).into()),
 33                        text_disabled: Some(rgba(0x002b36ff).into()),
 34                        text_accent: Some(rgba(0x298bd1ff).into()),
 35                        status_bar_background: Some(rgba(0xcfd0c4ff).into()),
 36                        title_bar_background: Some(rgba(0xcfd0c4ff).into()),
 37                        toolbar_background: Some(rgba(0xfdf6e3ff).into()),
 38                        tab_bar_background: Some(rgba(0xf3eddaff).into()),
 39                        tab_inactive_background: Some(rgba(0xf3eddaff).into()),
 40                        tab_active_background: Some(rgba(0xfdf6e3ff).into()),
 41                        scrollbar_thumb_background: Some(rgba(0x002b364d).into()),
 42                        scrollbar_thumb_hover_background: Some(rgba(0x002b364d).into()),
 43                        scrollbar_thumb_border: Some(rgba(0xf5eedbff).into()),
 44                        scrollbar_track_border: Some(rgba(0xf5eedbff).into()),
 45                        editor_foreground: Some(rgba(0x002b36ff).into()),
 46                        editor_background: Some(rgba(0xfdf6e3ff).into()),
 47                        editor_gutter_background: Some(rgba(0xfdf6e3ff).into()),
 48                        editor_line_number: Some(rgba(0x002b3659).into()),
 49                        editor_active_line_number: Some(rgba(0x002b36ff).into()),
 50                        editor_wrap_guide: Some(rgba(0x002b360d).into()),
 51                        editor_active_wrap_guide: Some(rgba(0x002b361a).into()),
 52                        terminal_background: Some(rgba(0xfdf6e3ff).into()),
 53                        terminal_ansi_bright_black: Some(rgba(0x7b8e91ff).into()),
 54                        terminal_ansi_bright_red: Some(rgba(0xfaa091ff).into()),
 55                        terminal_ansi_bright_green: Some(rgba(0xc6cb8bff).into()),
 56                        terminal_ansi_bright_yellow: Some(rgba(0xe1c28aff).into()),
 57                        terminal_ansi_bright_blue: Some(rgba(0xa5c3e9ff).into()),
 58                        terminal_ansi_bright_magenta: Some(rgba(0xf0a2bfff).into()),
 59                        terminal_ansi_bright_cyan: Some(rgba(0x9fd0cbff).into()),
 60                        terminal_ansi_bright_white: Some(rgba(0x002b36ff).into()),
 61                        terminal_ansi_black: Some(rgba(0xfdf6e3ff).into()),
 62                        terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
 63                        terminal_ansi_green: Some(rgba(0x859904ff).into()),
 64                        terminal_ansi_yellow: Some(rgba(0xb58904ff).into()),
 65                        terminal_ansi_blue: Some(rgba(0x298bd1ff).into()),
 66                        terminal_ansi_magenta: Some(rgba(0xd33882ff).into()),
 67                        terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
 68                        terminal_ansi_white: Some(rgba(0x002b36ff).into()),
 69                        ..Default::default()
 70                    },
 71                    status: StatusColorsRefinement {
 72                        created: Some(rgba(0xa0ad46ff).into()),
 73                        deleted: Some(rgba(0xdc3330ff).into()),
 74                        error: Some(rgba(0xdc3330ff).into()),
 75                        hint: Some(rgba(0x5889a3ff).into()),
 76                        modified: Some(rgba(0xb58904ff).into()),
 77                        success: Some(rgba(0x002b36ff).into()),
 78                        warning: Some(rgba(0xb58904ff).into()),
 79                        ..Default::default()
 80                    },
 81                    player: Some(PlayerColors(vec![
 82                        PlayerColor {
 83                            cursor: rgba(0x298bd1ff).into(),
 84                            background: rgba(0x298bd1ff).into(),
 85                            selection: rgba(0x298bd13d).into(),
 86                        },
 87                        PlayerColor {
 88                            cursor: rgba(0xd33882ff).into(),
 89                            background: rgba(0xd33882ff).into(),
 90                            selection: rgba(0xd338823d).into(),
 91                        },
 92                        PlayerColor {
 93                            cursor: rgba(0xcb4c18ff).into(),
 94                            background: rgba(0xcb4c18ff).into(),
 95                            selection: rgba(0xcb4c183d).into(),
 96                        },
 97                        PlayerColor {
 98                            cursor: rgba(0x6d71c4ff).into(),
 99                            background: rgba(0x6d71c4ff).into(),
100                            selection: rgba(0x6d71c43d).into(),
101                        },
102                        PlayerColor {
103                            cursor: rgba(0x2ca198ff).into(),
104                            background: rgba(0x2ca198ff).into(),
105                            selection: rgba(0x2ca1983d).into(),
106                        },
107                        PlayerColor {
108                            cursor: rgba(0xdc3330ff).into(),
109                            background: rgba(0xdc3330ff).into(),
110                            selection: rgba(0xdc33303d).into(),
111                        },
112                        PlayerColor {
113                            cursor: rgba(0xb58904ff).into(),
114                            background: rgba(0xb58904ff).into(),
115                            selection: rgba(0xb589043d).into(),
116                        },
117                        PlayerColor {
118                            cursor: rgba(0x859904ff).into(),
119                            background: rgba(0x859904ff).into(),
120                            selection: rgba(0x8599043d).into(),
121                        },
122                    ])),
123                    syntax: Some(UserSyntaxTheme {
124                        highlights: vec![
125                            (
126                                "attribute".into(),
127                                UserHighlightStyle {
128                                    color: Some(rgba(0x298bd1ff).into()),
129                                    ..Default::default()
130                                },
131                            ),
132                            (
133                                "boolean".into(),
134                                UserHighlightStyle {
135                                    color: Some(rgba(0x859904ff).into()),
136                                    ..Default::default()
137                                },
138                            ),
139                            (
140                                "comment".into(),
141                                UserHighlightStyle {
142                                    color: Some(rgba(0x30525bff).into()),
143                                    ..Default::default()
144                                },
145                            ),
146                            (
147                                "comment.doc".into(),
148                                UserHighlightStyle {
149                                    color: Some(rgba(0x30525bff).into()),
150                                    ..Default::default()
151                                },
152                            ),
153                            (
154                                "constant".into(),
155                                UserHighlightStyle {
156                                    color: Some(rgba(0x859904ff).into()),
157                                    ..Default::default()
158                                },
159                            ),
160                            (
161                                "constructor".into(),
162                                UserHighlightStyle {
163                                    color: Some(rgba(0x298bd1ff).into()),
164                                    ..Default::default()
165                                },
166                            ),
167                            (
168                                "embedded".into(),
169                                UserHighlightStyle {
170                                    color: Some(rgba(0x002b36ff).into()),
171                                    ..Default::default()
172                                },
173                            ),
174                            (
175                                "emphasis".into(),
176                                UserHighlightStyle {
177                                    color: Some(rgba(0x298bd1ff).into()),
178                                    ..Default::default()
179                                },
180                            ),
181                            (
182                                "emphasis.strong".into(),
183                                UserHighlightStyle {
184                                    color: Some(rgba(0x298bd1ff).into()),
185                                    font_weight: Some(UserFontWeight(700.0)),
186                                    ..Default::default()
187                                },
188                            ),
189                            (
190                                "enum".into(),
191                                UserHighlightStyle {
192                                    color: Some(rgba(0xcb4c18ff).into()),
193                                    ..Default::default()
194                                },
195                            ),
196                            (
197                                "function".into(),
198                                UserHighlightStyle {
199                                    color: Some(rgba(0xb58904ff).into()),
200                                    ..Default::default()
201                                },
202                            ),
203                            (
204                                "hint".into(),
205                                UserHighlightStyle {
206                                    color: Some(rgba(0x5889a3ff).into()),
207                                    font_weight: Some(UserFontWeight(700.0)),
208                                    ..Default::default()
209                                },
210                            ),
211                            (
212                                "keyword".into(),
213                                UserHighlightStyle {
214                                    color: Some(rgba(0x298bd1ff).into()),
215                                    ..Default::default()
216                                },
217                            ),
218                            (
219                                "label".into(),
220                                UserHighlightStyle {
221                                    color: Some(rgba(0x298bd1ff).into()),
222                                    ..Default::default()
223                                },
224                            ),
225                            (
226                                "link_text".into(),
227                                UserHighlightStyle {
228                                    color: Some(rgba(0xcb4c18ff).into()),
229                                    font_style: Some(UserFontStyle::Italic),
230                                    ..Default::default()
231                                },
232                            ),
233                            (
234                                "link_uri".into(),
235                                UserHighlightStyle {
236                                    color: Some(rgba(0x859904ff).into()),
237                                    ..Default::default()
238                                },
239                            ),
240                            (
241                                "number".into(),
242                                UserHighlightStyle {
243                                    color: Some(rgba(0x859904ff).into()),
244                                    ..Default::default()
245                                },
246                            ),
247                            (
248                                "operator".into(),
249                                UserHighlightStyle {
250                                    color: Some(rgba(0xcb4c18ff).into()),
251                                    ..Default::default()
252                                },
253                            ),
254                            (
255                                "predictive".into(),
256                                UserHighlightStyle {
257                                    color: Some(rgba(0x679aafff).into()),
258                                    font_style: Some(UserFontStyle::Italic),
259                                    ..Default::default()
260                                },
261                            ),
262                            (
263                                "preproc".into(),
264                                UserHighlightStyle {
265                                    color: Some(rgba(0x002b36ff).into()),
266                                    ..Default::default()
267                                },
268                            ),
269                            (
270                                "primary".into(),
271                                UserHighlightStyle {
272                                    color: Some(rgba(0x002b36ff).into()),
273                                    ..Default::default()
274                                },
275                            ),
276                            (
277                                "property".into(),
278                                UserHighlightStyle {
279                                    color: Some(rgba(0x298bd1ff).into()),
280                                    ..Default::default()
281                                },
282                            ),
283                            (
284                                "punctuation".into(),
285                                UserHighlightStyle {
286                                    color: Some(rgba(0x05333eff).into()),
287                                    ..Default::default()
288                                },
289                            ),
290                            (
291                                "punctuation.bracket".into(),
292                                UserHighlightStyle {
293                                    color: Some(rgba(0x05333eff).into()),
294                                    ..Default::default()
295                                },
296                            ),
297                            (
298                                "punctuation.delimiter".into(),
299                                UserHighlightStyle {
300                                    color: Some(rgba(0x05333eff).into()),
301                                    ..Default::default()
302                                },
303                            ),
304                            (
305                                "punctuation.list_marker".into(),
306                                UserHighlightStyle {
307                                    color: Some(rgba(0x05333eff).into()),
308                                    ..Default::default()
309                                },
310                            ),
311                            (
312                                "punctuation.special".into(),
313                                UserHighlightStyle {
314                                    color: Some(rgba(0x05333eff).into()),
315                                    ..Default::default()
316                                },
317                            ),
318                            (
319                                "string".into(),
320                                UserHighlightStyle {
321                                    color: Some(rgba(0xcb4c18ff).into()),
322                                    ..Default::default()
323                                },
324                            ),
325                            (
326                                "string.escape".into(),
327                                UserHighlightStyle {
328                                    color: Some(rgba(0x30525bff).into()),
329                                    ..Default::default()
330                                },
331                            ),
332                            (
333                                "string.regex".into(),
334                                UserHighlightStyle {
335                                    color: Some(rgba(0xcb4c18ff).into()),
336                                    ..Default::default()
337                                },
338                            ),
339                            (
340                                "string.special".into(),
341                                UserHighlightStyle {
342                                    color: Some(rgba(0xcb4c18ff).into()),
343                                    ..Default::default()
344                                },
345                            ),
346                            (
347                                "string.special.symbol".into(),
348                                UserHighlightStyle {
349                                    color: Some(rgba(0xcb4c18ff).into()),
350                                    ..Default::default()
351                                },
352                            ),
353                            (
354                                "tag".into(),
355                                UserHighlightStyle {
356                                    color: Some(rgba(0x298bd1ff).into()),
357                                    ..Default::default()
358                                },
359                            ),
360                            (
361                                "text.literal".into(),
362                                UserHighlightStyle {
363                                    color: Some(rgba(0xcb4c18ff).into()),
364                                    ..Default::default()
365                                },
366                            ),
367                            (
368                                "title".into(),
369                                UserHighlightStyle {
370                                    color: Some(rgba(0x002b36ff).into()),
371                                    font_weight: Some(UserFontWeight(700.0)),
372                                    ..Default::default()
373                                },
374                            ),
375                            (
376                                "type".into(),
377                                UserHighlightStyle {
378                                    color: Some(rgba(0x2ca198ff).into()),
379                                    ..Default::default()
380                                },
381                            ),
382                            (
383                                "variable".into(),
384                                UserHighlightStyle {
385                                    color: Some(rgba(0x002b36ff).into()),
386                                    ..Default::default()
387                                },
388                            ),
389                            (
390                                "variant".into(),
391                                UserHighlightStyle {
392                                    color: Some(rgba(0x298bd1ff).into()),
393                                    ..Default::default()
394                                },
395                            ),
396                        ],
397                    }),
398                },
399            },
400            UserTheme {
401                name: "Solarized Dark".into(),
402                appearance: Appearance::Dark,
403                styles: UserThemeStylesRefinement {
404                    colors: ThemeColorsRefinement {
405                        border: Some(rgba(0x063541ff).into()),
406                        border_variant: Some(rgba(0x032f3bff).into()),
407                        elevated_surface_background: Some(rgba(0x083743ff).into()),
408                        background: Some(rgba(0x083743ff).into()),
409                        panel_background: Some(rgba(0x04313cff).into()),
410                        element_hover: Some(rgba(0x2b4f5880).into()),
411                        element_selected: Some(rgba(0x566d7480).into()),
412                        text: Some(rgba(0xfdf6e3ff).into()),
413                        text_muted: Some(rgba(0x93a1a1ff).into()),
414                        text_placeholder: Some(rgba(0x5f757dff).into()),
415                        text_disabled: Some(rgba(0xfdf6e3ff).into()),
416                        text_accent: Some(rgba(0x288bd1ff).into()),
417                        status_bar_background: Some(rgba(0x083743ff).into()),
418                        title_bar_background: Some(rgba(0x083743ff).into()),
419                        toolbar_background: Some(rgba(0x002b36ff).into()),
420                        tab_bar_background: Some(rgba(0x04313cff).into()),
421                        tab_inactive_background: Some(rgba(0x04313cff).into()),
422                        tab_active_background: Some(rgba(0x002b36ff).into()),
423                        scrollbar_thumb_background: Some(rgba(0xfdf6e34d).into()),
424                        scrollbar_thumb_hover_background: Some(rgba(0xfdf6e34d).into()),
425                        scrollbar_thumb_border: Some(rgba(0x032f3bff).into()),
426                        scrollbar_track_border: Some(rgba(0x032f3bff).into()),
427                        editor_foreground: Some(rgba(0xfdf6e3ff).into()),
428                        editor_background: Some(rgba(0x002b36ff).into()),
429                        editor_gutter_background: Some(rgba(0x002b36ff).into()),
430                        editor_line_number: Some(rgba(0xfdf6e359).into()),
431                        editor_active_line_number: Some(rgba(0xfdf6e3ff).into()),
432                        editor_wrap_guide: Some(rgba(0xfdf6e30d).into()),
433                        editor_active_wrap_guide: Some(rgba(0xfdf6e31a).into()),
434                        terminal_background: Some(rgba(0x002b36ff).into()),
435                        terminal_ansi_bright_black: Some(rgba(0x5c7279ff).into()),
436                        terminal_ansi_bright_red: Some(rgba(0x7d181cff).into()),
437                        terminal_ansi_bright_green: Some(rgba(0x434a11ff).into()),
438                        terminal_ansi_bright_yellow: Some(rgba(0x5d4310ff).into()),
439                        terminal_ansi_bright_blue: Some(rgba(0x214465ff).into()),
440                        terminal_ansi_bright_magenta: Some(rgba(0x6f1f40ff).into()),
441                        terminal_ansi_bright_cyan: Some(rgba(0x204e4aff).into()),
442                        terminal_ansi_bright_white: Some(rgba(0xfdf6e3ff).into()),
443                        terminal_ansi_black: Some(rgba(0x002b36ff).into()),
444                        terminal_ansi_red: Some(rgba(0xdc3330ff).into()),
445                        terminal_ansi_green: Some(rgba(0x859904ff).into()),
446                        terminal_ansi_yellow: Some(rgba(0xb58903ff).into()),
447                        terminal_ansi_blue: Some(rgba(0x288bd1ff).into()),
448                        terminal_ansi_magenta: Some(rgba(0xd33782ff).into()),
449                        terminal_ansi_cyan: Some(rgba(0x2ca198ff).into()),
450                        terminal_ansi_white: Some(rgba(0xfdf6e3ff).into()),
451                        ..Default::default()
452                    },
453                    status: StatusColorsRefinement {
454                        created: Some(rgba(0x859904ff).into()),
455                        deleted: Some(rgba(0xb52727ff).into()),
456                        error: Some(rgba(0xdc3330ff).into()),
457                        hint: Some(rgba(0x4f8297ff).into()),
458                        modified: Some(rgba(0xb58903ff).into()),
459                        success: Some(rgba(0xfdf6e3ff).into()),
460                        warning: Some(rgba(0xb58903ff).into()),
461                        ..Default::default()
462                    },
463                    player: Some(PlayerColors(vec![
464                        PlayerColor {
465                            cursor: rgba(0x288bd1ff).into(),
466                            background: rgba(0x288bd1ff).into(),
467                            selection: rgba(0x288bd13d).into(),
468                        },
469                        PlayerColor {
470                            cursor: rgba(0xd33782ff).into(),
471                            background: rgba(0xd33782ff).into(),
472                            selection: rgba(0xd337823d).into(),
473                        },
474                        PlayerColor {
475                            cursor: rgba(0xcb4b17ff).into(),
476                            background: rgba(0xcb4b17ff).into(),
477                            selection: rgba(0xcb4b173d).into(),
478                        },
479                        PlayerColor {
480                            cursor: rgba(0x6c71c4ff).into(),
481                            background: rgba(0x6c71c4ff).into(),
482                            selection: rgba(0x6c71c43d).into(),
483                        },
484                        PlayerColor {
485                            cursor: rgba(0x2ca198ff).into(),
486                            background: rgba(0x2ca198ff).into(),
487                            selection: rgba(0x2ca1983d).into(),
488                        },
489                        PlayerColor {
490                            cursor: rgba(0xdc3330ff).into(),
491                            background: rgba(0xdc3330ff).into(),
492                            selection: rgba(0xdc33303d).into(),
493                        },
494                        PlayerColor {
495                            cursor: rgba(0xb58903ff).into(),
496                            background: rgba(0xb58903ff).into(),
497                            selection: rgba(0xb589033d).into(),
498                        },
499                        PlayerColor {
500                            cursor: rgba(0x859904ff).into(),
501                            background: rgba(0x859904ff).into(),
502                            selection: rgba(0x8599043d).into(),
503                        },
504                    ])),
505                    syntax: Some(UserSyntaxTheme {
506                        highlights: vec![
507                            (
508                                "attribute".into(),
509                                UserHighlightStyle {
510                                    color: Some(rgba(0x288bd1ff).into()),
511                                    ..Default::default()
512                                },
513                            ),
514                            (
515                                "boolean".into(),
516                                UserHighlightStyle {
517                                    color: Some(rgba(0x859904ff).into()),
518                                    ..Default::default()
519                                },
520                            ),
521                            (
522                                "comment".into(),
523                                UserHighlightStyle {
524                                    color: Some(rgba(0x99a5a4ff).into()),
525                                    ..Default::default()
526                                },
527                            ),
528                            (
529                                "comment.doc".into(),
530                                UserHighlightStyle {
531                                    color: Some(rgba(0x99a5a4ff).into()),
532                                    ..Default::default()
533                                },
534                            ),
535                            (
536                                "constant".into(),
537                                UserHighlightStyle {
538                                    color: Some(rgba(0x859904ff).into()),
539                                    ..Default::default()
540                                },
541                            ),
542                            (
543                                "constructor".into(),
544                                UserHighlightStyle {
545                                    color: Some(rgba(0x288bd1ff).into()),
546                                    ..Default::default()
547                                },
548                            ),
549                            (
550                                "embedded".into(),
551                                UserHighlightStyle {
552                                    color: Some(rgba(0xfdf6e3ff).into()),
553                                    ..Default::default()
554                                },
555                            ),
556                            (
557                                "emphasis".into(),
558                                UserHighlightStyle {
559                                    color: Some(rgba(0x288bd1ff).into()),
560                                    ..Default::default()
561                                },
562                            ),
563                            (
564                                "emphasis.strong".into(),
565                                UserHighlightStyle {
566                                    color: Some(rgba(0x288bd1ff).into()),
567                                    font_weight: Some(UserFontWeight(700.0)),
568                                    ..Default::default()
569                                },
570                            ),
571                            (
572                                "enum".into(),
573                                UserHighlightStyle {
574                                    color: Some(rgba(0xcb4b17ff).into()),
575                                    ..Default::default()
576                                },
577                            ),
578                            (
579                                "function".into(),
580                                UserHighlightStyle {
581                                    color: Some(rgba(0xb58903ff).into()),
582                                    ..Default::default()
583                                },
584                            ),
585                            (
586                                "hint".into(),
587                                UserHighlightStyle {
588                                    color: Some(rgba(0x4f8297ff).into()),
589                                    font_weight: Some(UserFontWeight(700.0)),
590                                    ..Default::default()
591                                },
592                            ),
593                            (
594                                "keyword".into(),
595                                UserHighlightStyle {
596                                    color: Some(rgba(0x288bd1ff).into()),
597                                    ..Default::default()
598                                },
599                            ),
600                            (
601                                "label".into(),
602                                UserHighlightStyle {
603                                    color: Some(rgba(0x288bd1ff).into()),
604                                    ..Default::default()
605                                },
606                            ),
607                            (
608                                "link_text".into(),
609                                UserHighlightStyle {
610                                    color: Some(rgba(0xcb4b17ff).into()),
611                                    font_style: Some(UserFontStyle::Italic),
612                                    ..Default::default()
613                                },
614                            ),
615                            (
616                                "link_uri".into(),
617                                UserHighlightStyle {
618                                    color: Some(rgba(0x859904ff).into()),
619                                    ..Default::default()
620                                },
621                            ),
622                            (
623                                "number".into(),
624                                UserHighlightStyle {
625                                    color: Some(rgba(0x859904ff).into()),
626                                    ..Default::default()
627                                },
628                            ),
629                            (
630                                "operator".into(),
631                                UserHighlightStyle {
632                                    color: Some(rgba(0xcb4b17ff).into()),
633                                    ..Default::default()
634                                },
635                            ),
636                            (
637                                "predictive".into(),
638                                UserHighlightStyle {
639                                    color: Some(rgba(0x40728bff).into()),
640                                    font_style: Some(UserFontStyle::Italic),
641                                    ..Default::default()
642                                },
643                            ),
644                            (
645                                "preproc".into(),
646                                UserHighlightStyle {
647                                    color: Some(rgba(0xfdf6e3ff).into()),
648                                    ..Default::default()
649                                },
650                            ),
651                            (
652                                "primary".into(),
653                                UserHighlightStyle {
654                                    color: Some(rgba(0xfdf6e3ff).into()),
655                                    ..Default::default()
656                                },
657                            ),
658                            (
659                                "property".into(),
660                                UserHighlightStyle {
661                                    color: Some(rgba(0x288bd1ff).into()),
662                                    ..Default::default()
663                                },
664                            ),
665                            (
666                                "punctuation".into(),
667                                UserHighlightStyle {
668                                    color: Some(rgba(0xefe9d6ff).into()),
669                                    ..Default::default()
670                                },
671                            ),
672                            (
673                                "punctuation.bracket".into(),
674                                UserHighlightStyle {
675                                    color: Some(rgba(0xefe9d6ff).into()),
676                                    ..Default::default()
677                                },
678                            ),
679                            (
680                                "punctuation.delimiter".into(),
681                                UserHighlightStyle {
682                                    color: Some(rgba(0xefe9d6ff).into()),
683                                    ..Default::default()
684                                },
685                            ),
686                            (
687                                "punctuation.list_marker".into(),
688                                UserHighlightStyle {
689                                    color: Some(rgba(0xefe9d6ff).into()),
690                                    ..Default::default()
691                                },
692                            ),
693                            (
694                                "punctuation.special".into(),
695                                UserHighlightStyle {
696                                    color: Some(rgba(0xefe9d6ff).into()),
697                                    ..Default::default()
698                                },
699                            ),
700                            (
701                                "string".into(),
702                                UserHighlightStyle {
703                                    color: Some(rgba(0xcb4b17ff).into()),
704                                    ..Default::default()
705                                },
706                            ),
707                            (
708                                "string.escape".into(),
709                                UserHighlightStyle {
710                                    color: Some(rgba(0x99a5a4ff).into()),
711                                    ..Default::default()
712                                },
713                            ),
714                            (
715                                "string.regex".into(),
716                                UserHighlightStyle {
717                                    color: Some(rgba(0xcb4b17ff).into()),
718                                    ..Default::default()
719                                },
720                            ),
721                            (
722                                "string.special".into(),
723                                UserHighlightStyle {
724                                    color: Some(rgba(0xcb4b17ff).into()),
725                                    ..Default::default()
726                                },
727                            ),
728                            (
729                                "string.special.symbol".into(),
730                                UserHighlightStyle {
731                                    color: Some(rgba(0xcb4b17ff).into()),
732                                    ..Default::default()
733                                },
734                            ),
735                            (
736                                "tag".into(),
737                                UserHighlightStyle {
738                                    color: Some(rgba(0x288bd1ff).into()),
739                                    ..Default::default()
740                                },
741                            ),
742                            (
743                                "text.literal".into(),
744                                UserHighlightStyle {
745                                    color: Some(rgba(0xcb4b17ff).into()),
746                                    ..Default::default()
747                                },
748                            ),
749                            (
750                                "title".into(),
751                                UserHighlightStyle {
752                                    color: Some(rgba(0xfdf6e3ff).into()),
753                                    font_weight: Some(UserFontWeight(700.0)),
754                                    ..Default::default()
755                                },
756                            ),
757                            (
758                                "type".into(),
759                                UserHighlightStyle {
760                                    color: Some(rgba(0x2ca198ff).into()),
761                                    ..Default::default()
762                                },
763                            ),
764                            (
765                                "variable".into(),
766                                UserHighlightStyle {
767                                    color: Some(rgba(0xfdf6e3ff).into()),
768                                    ..Default::default()
769                                },
770                            ),
771                            (
772                                "variant".into(),
773                                UserHighlightStyle {
774                                    color: Some(rgba(0x288bd1ff).into()),
775                                    ..Default::default()
776                                },
777                            ),
778                        ],
779                    }),
780                },
781            },
782        ],
783    }
784}