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