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