one.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 one() -> UserThemeFamily {
 14    UserThemeFamily {
 15        name: "One".into(),
 16        author: "Zed Industries".into(),
 17        themes: vec![
 18            UserTheme {
 19                name: "One Dark".into(),
 20                appearance: Appearance::Dark,
 21                styles: UserThemeStylesRefinement {
 22                    colors: ThemeColorsRefinement {
 23                        border: Some(rgba(0x464b57ff).into()),
 24                        border_variant: Some(rgba(0x363c46ff).into()),
 25                        border_focused: Some(rgba(0x293c5bff).into()),
 26                        border_selected: Some(rgba(0x293c5bff).into()),
 27                        border_transparent: Some(rgba(0x00000000).into()),
 28                        border_disabled: Some(rgba(0x414754ff).into()),
 29                        elevated_surface_background: Some(rgba(0x2f343eff).into()),
 30                        surface_background: Some(rgba(0x2f343eff).into()),
 31                        background: Some(rgba(0x3b414dff).into()),
 32                        panel_background: Some(rgba(0x2f343eff).into()),
 33                        element_background: Some(rgba(0x2f343eff).into()),
 34                        element_hover: Some(rgba(0x363c46ff).into()),
 35                        element_active: Some(rgba(0x454a56ff).into()),
 36                        element_selected: Some(rgba(0x454a56ff).into()),
 37                        element_disabled: Some(rgba(0x2f343eff).into()),
 38                        drop_target_background: Some(rgba(0x83899480).into()),
 39                        ghost_element_background: Some(rgba(0x00000000).into()),
 40                        ghost_element_hover: Some(rgba(0x363c46ff).into()),
 41                        ghost_element_active: Some(rgba(0x454a56ff).into()),
 42                        ghost_element_selected: Some(rgba(0x454a56ff).into()),
 43                        ghost_element_disabled: Some(rgba(0x2f343eff).into()),
 44                        text: Some(rgba(0xc8ccd4ff).into()),
 45                        text_muted: Some(rgba(0x838994ff).into()),
 46                        text_placeholder: Some(rgba(0x555a63ff).into()),
 47                        text_disabled: Some(rgba(0x555a63ff).into()),
 48                        text_accent: Some(rgba(0x74ade8ff).into()),
 49                        icon: Some(rgba(0xc8ccd4ff).into()),
 50                        icon_muted: Some(rgba(0x838994ff).into()),
 51                        icon_disabled: Some(rgba(0x555a63ff).into()),
 52                        icon_placeholder: Some(rgba(0x838994ff).into()),
 53                        icon_accent: Some(rgba(0x74ade8ff).into()),
 54                        status_bar_background: Some(rgba(0x3b414dff).into()),
 55                        title_bar_background: Some(rgba(0x3b414dff).into()),
 56                        toolbar_background: Some(rgba(0x282c34ff).into()),
 57                        tab_bar_background: Some(rgba(0x2f343eff).into()),
 58                        tab_inactive_background: Some(rgba(0x2f343eff).into()),
 59                        tab_active_background: Some(rgba(0x282c34ff).into()),
 60                        scrollbar_thumb_background: Some(rgba(0xc8ccd44c).into()),
 61                        scrollbar_thumb_hover_background: Some(rgba(0x363c46ff).into()),
 62                        scrollbar_thumb_border: Some(rgba(0x363c46ff).into()),
 63                        scrollbar_track_background: Some(rgba(0x00000000).into()),
 64                        scrollbar_track_border: Some(rgba(0x2e333cff).into()),
 65                        editor_foreground: Some(rgba(0xacb2beff).into()),
 66                        editor_background: Some(rgba(0x282c34ff).into()),
 67                        editor_gutter_background: Some(rgba(0x282c34ff).into()),
 68                        editor_subheader_background: Some(rgba(0x2f343eff).into()),
 69                        editor_active_line_background: Some(rgba(0x2f343ebf).into()),
 70                        editor_highlighted_line_background: Some(rgba(0x2f343eff).into()),
 71                        editor_line_number: Some(rgba(0xc8ccd459).into()),
 72                        editor_active_line_number: Some(rgba(0xc8ccd4ff).into()),
 73                        editor_invisible: Some(rgba(0x555a63ff).into()),
 74                        editor_wrap_guide: Some(rgba(0xc8ccd40d).into()),
 75                        editor_active_wrap_guide: Some(rgba(0xc8ccd41a).into()),
 76                        editor_document_highlight_read_background: Some(rgba(0x74ade81a).into()),
 77                        editor_document_highlight_write_background: Some(rgba(0x555a6366).into()),
 78                        terminal_background: Some(rgba(0x282c34ff).into()),
 79                        terminal_ansi_bright_black: Some(rgba(0x525661ff).into()),
 80                        terminal_ansi_bright_red: Some(rgba(0x673a3cff).into()),
 81                        terminal_ansi_bright_green: Some(rgba(0x4d6140ff).into()),
 82                        terminal_ansi_bright_yellow: Some(rgba(0x786441ff).into()),
 83                        terminal_ansi_bright_blue: Some(rgba(0x385378ff).into()),
 84                        terminal_ansi_bright_magenta: Some(rgba(0x5e2b26ff).into()),
 85                        terminal_ansi_bright_cyan: Some(rgba(0x3a565bff).into()),
 86                        terminal_ansi_bright_white: Some(rgba(0xc8ccd4ff).into()),
 87                        terminal_ansi_black: Some(rgba(0x282c34ff).into()),
 88                        terminal_ansi_red: Some(rgba(0xd07277ff).into()),
 89                        terminal_ansi_green: Some(rgba(0xa1c181ff).into()),
 90                        terminal_ansi_yellow: Some(rgba(0xdec184ff).into()),
 91                        terminal_ansi_blue: Some(rgba(0x74ade8ff).into()),
 92                        terminal_ansi_magenta: Some(rgba(0xbe5046ff).into()),
 93                        terminal_ansi_cyan: Some(rgba(0x6fb4c0ff).into()),
 94                        terminal_ansi_white: Some(rgba(0xc8ccd4ff).into()),
 95                        link_text_hover: Some(rgba(0x74ade8ff).into()),
 96                        ..Default::default()
 97                    },
 98                    status: StatusColorsRefinement {
 99                        conflict: Some(rgba(0xdec184ff).into()),
100                        conflict_background: Some(rgba(0x41331dff).into()),
101                        conflict_border: Some(rgba(0x5d4c2fff).into()),
102                        created: Some(rgba(0xa1c181ff).into()),
103                        created_background: Some(rgba(0x222e1dff).into()),
104                        created_border: Some(rgba(0x38482fff).into()),
105                        deleted: Some(rgba(0xd07277ff).into()),
106                        deleted_background: Some(rgba(0x301b1cff).into()),
107                        deleted_border: Some(rgba(0x4c2b2cff).into()),
108                        error: Some(rgba(0xd07277ff).into()),
109                        error_background: Some(rgba(0x301b1cff).into()),
110                        error_border: Some(rgba(0x4c2b2cff).into()),
111                        hidden: Some(rgba(0x555a63ff).into()),
112                        hidden_background: Some(rgba(0x3b414dff).into()),
113                        hidden_border: Some(rgba(0x414754ff).into()),
114                        hint: Some(rgba(0x5b708aff).into()),
115                        hint_background: Some(rgba(0x18243dff).into()),
116                        hint_border: Some(rgba(0x293c5bff).into()),
117                        ignored: Some(rgba(0x838994ff).into()),
118                        ignored_background: Some(rgba(0x3b414dff).into()),
119                        ignored_border: Some(rgba(0x464b57ff).into()),
120                        info: Some(rgba(0x74ade8ff).into()),
121                        info_background: Some(rgba(0x18243dff).into()),
122                        info_border: Some(rgba(0x293c5bff).into()),
123                        modified: Some(rgba(0xdec184ff).into()),
124                        modified_background: Some(rgba(0x41331dff).into()),
125                        modified_border: Some(rgba(0x5d4c2fff).into()),
126                        predictive: Some(rgba(0x5b6b88ff).into()),
127                        predictive_background: Some(rgba(0x222e1dff).into()),
128                        predictive_border: Some(rgba(0x38482fff).into()),
129                        renamed: Some(rgba(0x74ade8ff).into()),
130                        renamed_background: Some(rgba(0x18243dff).into()),
131                        renamed_border: Some(rgba(0x293c5bff).into()),
132                        success: Some(rgba(0xa1c181ff).into()),
133                        success_background: Some(rgba(0x222e1dff).into()),
134                        success_border: Some(rgba(0x38482fff).into()),
135                        unreachable: Some(rgba(0x838994ff).into()),
136                        unreachable_background: Some(rgba(0x3b414dff).into()),
137                        unreachable_border: Some(rgba(0x464b57ff).into()),
138                        warning: Some(rgba(0xdec184ff).into()),
139                        warning_background: Some(rgba(0x41331dff).into()),
140                        warning_border: Some(rgba(0x5d4c2fff).into()),
141                        ..Default::default()
142                    },
143                    player: Some(PlayerColors(vec![
144                        PlayerColor {
145                            cursor: rgba(0x74ade8ff).into(),
146                            background: rgba(0x74ade8ff).into(),
147                            selection: rgba(0x74ade83d).into(),
148                        },
149                        PlayerColor {
150                            cursor: rgba(0xbe5046ff).into(),
151                            background: rgba(0xbe5046ff).into(),
152                            selection: rgba(0xbe50463d).into(),
153                        },
154                        PlayerColor {
155                            cursor: rgba(0xc0966bff).into(),
156                            background: rgba(0xc0966bff).into(),
157                            selection: rgba(0xc0966b3d).into(),
158                        },
159                        PlayerColor {
160                            cursor: rgba(0xb478cfff).into(),
161                            background: rgba(0xb478cfff).into(),
162                            selection: rgba(0xb478cf3d).into(),
163                        },
164                        PlayerColor {
165                            cursor: rgba(0x6fb4c0ff).into(),
166                            background: rgba(0x6fb4c0ff).into(),
167                            selection: rgba(0x6fb4c03d).into(),
168                        },
169                        PlayerColor {
170                            cursor: rgba(0xd07277ff).into(),
171                            background: rgba(0xd07277ff).into(),
172                            selection: rgba(0xd072773d).into(),
173                        },
174                        PlayerColor {
175                            cursor: rgba(0xdec184ff).into(),
176                            background: rgba(0xdec184ff).into(),
177                            selection: rgba(0xdec1843d).into(),
178                        },
179                        PlayerColor {
180                            cursor: rgba(0xa1c181ff).into(),
181                            background: rgba(0xa1c181ff).into(),
182                            selection: rgba(0xa1c1813d).into(),
183                        },
184                    ])),
185                    syntax: Some(UserSyntaxTheme {
186                        highlights: vec![
187                            (
188                                "attribute".into(),
189                                UserHighlightStyle {
190                                    color: Some(rgba(0x74ade8ff).into()),
191                                    ..Default::default()
192                                },
193                            ),
194                            (
195                                "boolean".into(),
196                                UserHighlightStyle {
197                                    color: Some(rgba(0xc0966bff).into()),
198                                    ..Default::default()
199                                },
200                            ),
201                            (
202                                "comment".into(),
203                                UserHighlightStyle {
204                                    color: Some(rgba(0x5d636fff).into()),
205                                    ..Default::default()
206                                },
207                            ),
208                            (
209                                "comment.doc".into(),
210                                UserHighlightStyle {
211                                    color: Some(rgba(0x878e98ff).into()),
212                                    ..Default::default()
213                                },
214                            ),
215                            (
216                                "constant".into(),
217                                UserHighlightStyle {
218                                    color: Some(rgba(0xdfc184ff).into()),
219                                    ..Default::default()
220                                },
221                            ),
222                            (
223                                "constructor".into(),
224                                UserHighlightStyle {
225                                    color: Some(rgba(0x74ade9ff).into()),
226                                    ..Default::default()
227                                },
228                            ),
229                            (
230                                "embedded".into(),
231                                UserHighlightStyle {
232                                    color: Some(rgba(0xc8ccd4ff).into()),
233                                    ..Default::default()
234                                },
235                            ),
236                            (
237                                "emphasis".into(),
238                                UserHighlightStyle {
239                                    color: Some(rgba(0x74ade8ff).into()),
240                                    ..Default::default()
241                                },
242                            ),
243                            (
244                                "emphasis.strong".into(),
245                                UserHighlightStyle {
246                                    color: Some(rgba(0xc0966bff).into()),
247                                    font_weight: Some(UserFontWeight(700.0)),
248                                    ..Default::default()
249                                },
250                            ),
251                            (
252                                "enum".into(),
253                                UserHighlightStyle {
254                                    color: Some(rgba(0xd07277ff).into()),
255                                    ..Default::default()
256                                },
257                            ),
258                            (
259                                "function".into(),
260                                UserHighlightStyle {
261                                    color: Some(rgba(0x74ade9ff).into()),
262                                    ..Default::default()
263                                },
264                            ),
265                            (
266                                "hint".into(),
267                                UserHighlightStyle {
268                                    color: Some(rgba(0x5b708aff).into()),
269                                    font_weight: Some(UserFontWeight(700.0)),
270                                    ..Default::default()
271                                },
272                            ),
273                            (
274                                "keyword".into(),
275                                UserHighlightStyle {
276                                    color: Some(rgba(0xb478cfff).into()),
277                                    ..Default::default()
278                                },
279                            ),
280                            (
281                                "label".into(),
282                                UserHighlightStyle {
283                                    color: Some(rgba(0x74ade8ff).into()),
284                                    ..Default::default()
285                                },
286                            ),
287                            (
288                                "link_text".into(),
289                                UserHighlightStyle {
290                                    color: Some(rgba(0x74ade9ff).into()),
291                                    font_style: Some(UserFontStyle::Normal),
292                                    ..Default::default()
293                                },
294                            ),
295                            (
296                                "link_uri".into(),
297                                UserHighlightStyle {
298                                    color: Some(rgba(0x6fb4c0ff).into()),
299                                    ..Default::default()
300                                },
301                            ),
302                            (
303                                "number".into(),
304                                UserHighlightStyle {
305                                    color: Some(rgba(0xc0966bff).into()),
306                                    ..Default::default()
307                                },
308                            ),
309                            (
310                                "operator".into(),
311                                UserHighlightStyle {
312                                    color: Some(rgba(0x6fb4c0ff).into()),
313                                    ..Default::default()
314                                },
315                            ),
316                            (
317                                "predictive".into(),
318                                UserHighlightStyle {
319                                    color: Some(rgba(0x5b6b88ff).into()),
320                                    font_style: Some(UserFontStyle::Italic),
321                                    ..Default::default()
322                                },
323                            ),
324                            (
325                                "preproc".into(),
326                                UserHighlightStyle {
327                                    color: Some(rgba(0xc8ccd4ff).into()),
328                                    ..Default::default()
329                                },
330                            ),
331                            (
332                                "primary".into(),
333                                UserHighlightStyle {
334                                    color: Some(rgba(0xacb2beff).into()),
335                                    ..Default::default()
336                                },
337                            ),
338                            (
339                                "property".into(),
340                                UserHighlightStyle {
341                                    color: Some(rgba(0xd07277ff).into()),
342                                    ..Default::default()
343                                },
344                            ),
345                            (
346                                "punctuation".into(),
347                                UserHighlightStyle {
348                                    color: Some(rgba(0xacb2beff).into()),
349                                    ..Default::default()
350                                },
351                            ),
352                            (
353                                "punctuation.bracket".into(),
354                                UserHighlightStyle {
355                                    color: Some(rgba(0xb2b9c6ff).into()),
356                                    ..Default::default()
357                                },
358                            ),
359                            (
360                                "punctuation.delimiter".into(),
361                                UserHighlightStyle {
362                                    color: Some(rgba(0xb2b9c6ff).into()),
363                                    ..Default::default()
364                                },
365                            ),
366                            (
367                                "punctuation.list_marker".into(),
368                                UserHighlightStyle {
369                                    color: Some(rgba(0xd07277ff).into()),
370                                    ..Default::default()
371                                },
372                            ),
373                            (
374                                "punctuation.special".into(),
375                                UserHighlightStyle {
376                                    color: Some(rgba(0xb1574bff).into()),
377                                    ..Default::default()
378                                },
379                            ),
380                            (
381                                "string".into(),
382                                UserHighlightStyle {
383                                    color: Some(rgba(0xa1c181ff).into()),
384                                    ..Default::default()
385                                },
386                            ),
387                            (
388                                "string.escape".into(),
389                                UserHighlightStyle {
390                                    color: Some(rgba(0x878e98ff).into()),
391                                    ..Default::default()
392                                },
393                            ),
394                            (
395                                "string.regex".into(),
396                                UserHighlightStyle {
397                                    color: Some(rgba(0xc0966bff).into()),
398                                    ..Default::default()
399                                },
400                            ),
401                            (
402                                "string.special".into(),
403                                UserHighlightStyle {
404                                    color: Some(rgba(0xc0966bff).into()),
405                                    ..Default::default()
406                                },
407                            ),
408                            (
409                                "string.special.symbol".into(),
410                                UserHighlightStyle {
411                                    color: Some(rgba(0xc0966bff).into()),
412                                    ..Default::default()
413                                },
414                            ),
415                            (
416                                "tag".into(),
417                                UserHighlightStyle {
418                                    color: Some(rgba(0x74ade8ff).into()),
419                                    ..Default::default()
420                                },
421                            ),
422                            (
423                                "text.literal".into(),
424                                UserHighlightStyle {
425                                    color: Some(rgba(0xa1c181ff).into()),
426                                    ..Default::default()
427                                },
428                            ),
429                            (
430                                "title".into(),
431                                UserHighlightStyle {
432                                    color: Some(rgba(0xd07277ff).into()),
433                                    font_weight: Some(UserFontWeight(400.0)),
434                                    ..Default::default()
435                                },
436                            ),
437                            (
438                                "type".into(),
439                                UserHighlightStyle {
440                                    color: Some(rgba(0x6fb4c0ff).into()),
441                                    ..Default::default()
442                                },
443                            ),
444                            (
445                                "variable".into(),
446                                UserHighlightStyle {
447                                    color: Some(rgba(0xc8ccd4ff).into()),
448                                    ..Default::default()
449                                },
450                            ),
451                            (
452                                "variable.special".into(),
453                                UserHighlightStyle {
454                                    color: Some(rgba(0xc0966bff).into()),
455                                    ..Default::default()
456                                },
457                            ),
458                            (
459                                "variant".into(),
460                                UserHighlightStyle {
461                                    color: Some(rgba(0x74ade9ff).into()),
462                                    ..Default::default()
463                                },
464                            ),
465                        ],
466                    }),
467                },
468            },
469            UserTheme {
470                name: "One Light".into(),
471                appearance: Appearance::Light,
472                styles: UserThemeStylesRefinement {
473                    colors: ThemeColorsRefinement {
474                        border: Some(rgba(0xc9c9caff).into()),
475                        border_variant: Some(rgba(0xdfdfe0ff).into()),
476                        border_focused: Some(rgba(0xcbcdf6ff).into()),
477                        border_selected: Some(rgba(0xcbcdf6ff).into()),
478                        border_transparent: Some(rgba(0x00000000).into()),
479                        border_disabled: Some(rgba(0xd3d3d4ff).into()),
480                        elevated_surface_background: Some(rgba(0xebebecff).into()),
481                        surface_background: Some(rgba(0xebebecff).into()),
482                        background: Some(rgba(0xdcdcddff).into()),
483                        panel_background: Some(rgba(0xebebecff).into()),
484                        element_background: Some(rgba(0xebebecff).into()),
485                        element_hover: Some(rgba(0xdfdfe0ff).into()),
486                        element_active: Some(rgba(0xcacacaff).into()),
487                        element_selected: Some(rgba(0xcacacaff).into()),
488                        element_disabled: Some(rgba(0xebebecff).into()),
489                        drop_target_background: Some(rgba(0x7f818880).into()),
490                        ghost_element_background: Some(rgba(0x00000000).into()),
491                        ghost_element_hover: Some(rgba(0xdfdfe0ff).into()),
492                        ghost_element_active: Some(rgba(0xcacacaff).into()),
493                        ghost_element_selected: Some(rgba(0xcacacaff).into()),
494                        ghost_element_disabled: Some(rgba(0xebebecff).into()),
495                        text: Some(rgba(0x383a41ff).into()),
496                        text_muted: Some(rgba(0x7f8188ff).into()),
497                        text_placeholder: Some(rgba(0xa1a1a3ff).into()),
498                        text_disabled: Some(rgba(0xa1a1a3ff).into()),
499                        text_accent: Some(rgba(0x5c79e2ff).into()),
500                        icon: Some(rgba(0x383a41ff).into()),
501                        icon_muted: Some(rgba(0x7f8188ff).into()),
502                        icon_disabled: Some(rgba(0xa1a1a3ff).into()),
503                        icon_placeholder: Some(rgba(0x7f8188ff).into()),
504                        icon_accent: Some(rgba(0x5c79e2ff).into()),
505                        status_bar_background: Some(rgba(0xdcdcddff).into()),
506                        title_bar_background: Some(rgba(0xdcdcddff).into()),
507                        toolbar_background: Some(rgba(0xfafafaff).into()),
508                        tab_bar_background: Some(rgba(0xebebecff).into()),
509                        tab_inactive_background: Some(rgba(0xebebecff).into()),
510                        tab_active_background: Some(rgba(0xfafafaff).into()),
511                        scrollbar_thumb_background: Some(rgba(0x383a414c).into()),
512                        scrollbar_thumb_hover_background: Some(rgba(0xdfdfe0ff).into()),
513                        scrollbar_thumb_border: Some(rgba(0xdfdfe0ff).into()),
514                        scrollbar_track_background: Some(rgba(0x00000000).into()),
515                        scrollbar_track_border: Some(rgba(0xeeeeeeff).into()),
516                        editor_foreground: Some(rgba(0x383a41ff).into()),
517                        editor_background: Some(rgba(0xfafafaff).into()),
518                        editor_gutter_background: Some(rgba(0xfafafaff).into()),
519                        editor_subheader_background: Some(rgba(0xebebecff).into()),
520                        editor_active_line_background: Some(rgba(0xebebecbf).into()),
521                        editor_highlighted_line_background: Some(rgba(0xebebecff).into()),
522                        editor_line_number: Some(rgba(0x383a4159).into()),
523                        editor_active_line_number: Some(rgba(0x383a41ff).into()),
524                        editor_invisible: Some(rgba(0xa3a3a4ff).into()),
525                        editor_wrap_guide: Some(rgba(0x383a410d).into()),
526                        editor_active_wrap_guide: Some(rgba(0x383a411a).into()),
527                        editor_document_highlight_read_background: Some(rgba(0x5c79e21a).into()),
528                        editor_document_highlight_write_background: Some(rgba(0xa3a3a466).into()),
529                        terminal_background: Some(rgba(0xfafafaff).into()),
530                        terminal_ansi_bright_black: Some(rgba(0xaaaaaaff).into()),
531                        terminal_ansi_bright_red: Some(rgba(0xf0b0a4ff).into()),
532                        terminal_ansi_bright_green: Some(rgba(0xb2cfa9ff).into()),
533                        terminal_ansi_bright_yellow: Some(rgba(0xf1dfc1ff).into()),
534                        terminal_ansi_bright_blue: Some(rgba(0xb5baf2ff).into()),
535                        terminal_ansi_bright_magenta: Some(rgba(0xcea6d3ff).into()),
536                        terminal_ansi_bright_cyan: Some(rgba(0xa4bfdbff).into()),
537                        terminal_ansi_bright_white: Some(rgba(0x383a41ff).into()),
538                        terminal_ansi_black: Some(rgba(0xfafafaff).into()),
539                        terminal_ansi_red: Some(rgba(0xd36151ff).into()),
540                        terminal_ansi_green: Some(rgba(0x669f59ff).into()),
541                        terminal_ansi_yellow: Some(rgba(0xdec184ff).into()),
542                        terminal_ansi_blue: Some(rgba(0x5c79e2ff).into()),
543                        terminal_ansi_magenta: Some(rgba(0x994fa6ff).into()),
544                        terminal_ansi_cyan: Some(rgba(0x3b82b7ff).into()),
545                        terminal_ansi_white: Some(rgba(0x383a41ff).into()),
546                        link_text_hover: Some(rgba(0x5c79e2ff).into()),
547                        ..Default::default()
548                    },
549                    status: StatusColorsRefinement {
550                        conflict: Some(rgba(0xdec184ff).into()),
551                        conflict_background: Some(rgba(0xfaf2e6ff).into()),
552                        conflict_border: Some(rgba(0xf5e8d2ff).into()),
553                        created: Some(rgba(0x669f59ff).into()),
554                        created_background: Some(rgba(0xe0ebdcff).into()),
555                        created_border: Some(rgba(0xc8dcc1ff).into()),
556                        deleted: Some(rgba(0xd36151ff).into()),
557                        deleted_background: Some(rgba(0xfbdfd9ff).into()),
558                        deleted_border: Some(rgba(0xf6c6bdff).into()),
559                        error: Some(rgba(0xd36151ff).into()),
560                        error_background: Some(rgba(0xfbdfd9ff).into()),
561                        error_border: Some(rgba(0xf6c6bdff).into()),
562                        hidden: Some(rgba(0xa1a1a3ff).into()),
563                        hidden_background: Some(rgba(0xdcdcddff).into()),
564                        hidden_border: Some(rgba(0xd3d3d4ff).into()),
565                        hint: Some(rgba(0x9295beff).into()),
566                        hint_background: Some(rgba(0xe2e2faff).into()),
567                        hint_border: Some(rgba(0xcbcdf6ff).into()),
568                        ignored: Some(rgba(0x7f8188ff).into()),
569                        ignored_background: Some(rgba(0xdcdcddff).into()),
570                        ignored_border: Some(rgba(0xc9c9caff).into()),
571                        info: Some(rgba(0x5c79e2ff).into()),
572                        info_background: Some(rgba(0xe2e2faff).into()),
573                        info_border: Some(rgba(0xcbcdf6ff).into()),
574                        modified: Some(rgba(0xdec184ff).into()),
575                        modified_background: Some(rgba(0xfaf2e6ff).into()),
576                        modified_border: Some(rgba(0xf5e8d2ff).into()),
577                        predictive: Some(rgba(0x9c9fc7ff).into()),
578                        predictive_background: Some(rgba(0xe0ebdcff).into()),
579                        predictive_border: Some(rgba(0xc8dcc1ff).into()),
580                        renamed: Some(rgba(0x5c79e2ff).into()),
581                        renamed_background: Some(rgba(0xe2e2faff).into()),
582                        renamed_border: Some(rgba(0xcbcdf6ff).into()),
583                        success: Some(rgba(0x669f59ff).into()),
584                        success_background: Some(rgba(0xe0ebdcff).into()),
585                        success_border: Some(rgba(0xc8dcc1ff).into()),
586                        unreachable: Some(rgba(0x7f8188ff).into()),
587                        unreachable_background: Some(rgba(0xdcdcddff).into()),
588                        unreachable_border: Some(rgba(0xc9c9caff).into()),
589                        warning: Some(rgba(0xdec184ff).into()),
590                        warning_background: Some(rgba(0xfaf2e6ff).into()),
591                        warning_border: Some(rgba(0xf5e8d2ff).into()),
592                        ..Default::default()
593                    },
594                    player: Some(PlayerColors(vec![
595                        PlayerColor {
596                            cursor: rgba(0x5c79e2ff).into(),
597                            background: rgba(0x5c79e2ff).into(),
598                            selection: rgba(0x5c79e23d).into(),
599                        },
600                        PlayerColor {
601                            cursor: rgba(0x994fa6ff).into(),
602                            background: rgba(0x994fa6ff).into(),
603                            selection: rgba(0x994fa63d).into(),
604                        },
605                        PlayerColor {
606                            cursor: rgba(0xad6f27ff).into(),
607                            background: rgba(0xad6f27ff).into(),
608                            selection: rgba(0xad6f273d).into(),
609                        },
610                        PlayerColor {
611                            cursor: rgba(0xa44aabff).into(),
612                            background: rgba(0xa44aabff).into(),
613                            selection: rgba(0xa44aab3d).into(),
614                        },
615                        PlayerColor {
616                            cursor: rgba(0x3b82b7ff).into(),
617                            background: rgba(0x3b82b7ff).into(),
618                            selection: rgba(0x3b82b73d).into(),
619                        },
620                        PlayerColor {
621                            cursor: rgba(0xd36151ff).into(),
622                            background: rgba(0xd36151ff).into(),
623                            selection: rgba(0xd361513d).into(),
624                        },
625                        PlayerColor {
626                            cursor: rgba(0xdec184ff).into(),
627                            background: rgba(0xdec184ff).into(),
628                            selection: rgba(0xdec1843d).into(),
629                        },
630                        PlayerColor {
631                            cursor: rgba(0x669f59ff).into(),
632                            background: rgba(0x669f59ff).into(),
633                            selection: rgba(0x669f593d).into(),
634                        },
635                    ])),
636                    syntax: Some(UserSyntaxTheme {
637                        highlights: vec![
638                            (
639                                "attribute".into(),
640                                UserHighlightStyle {
641                                    color: Some(rgba(0x5c79e2ff).into()),
642                                    ..Default::default()
643                                },
644                            ),
645                            (
646                                "boolean".into(),
647                                UserHighlightStyle {
648                                    color: Some(rgba(0xad6f26ff).into()),
649                                    ..Default::default()
650                                },
651                            ),
652                            (
653                                "comment".into(),
654                                UserHighlightStyle {
655                                    color: Some(rgba(0xa2a3a7ff).into()),
656                                    ..Default::default()
657                                },
658                            ),
659                            (
660                                "comment.doc".into(),
661                                UserHighlightStyle {
662                                    color: Some(rgba(0x7c7e86ff).into()),
663                                    ..Default::default()
664                                },
665                            ),
666                            (
667                                "constant".into(),
668                                UserHighlightStyle {
669                                    color: Some(rgba(0x669f59ff).into()),
670                                    ..Default::default()
671                                },
672                            ),
673                            (
674                                "constructor".into(),
675                                UserHighlightStyle {
676                                    color: Some(rgba(0x5c79e2ff).into()),
677                                    ..Default::default()
678                                },
679                            ),
680                            (
681                                "embedded".into(),
682                                UserHighlightStyle {
683                                    color: Some(rgba(0x383a41ff).into()),
684                                    ..Default::default()
685                                },
686                            ),
687                            (
688                                "emphasis".into(),
689                                UserHighlightStyle {
690                                    color: Some(rgba(0x5c79e2ff).into()),
691                                    ..Default::default()
692                                },
693                            ),
694                            (
695                                "emphasis.strong".into(),
696                                UserHighlightStyle {
697                                    color: Some(rgba(0xad6f26ff).into()),
698                                    font_weight: Some(UserFontWeight(700.0)),
699                                    ..Default::default()
700                                },
701                            ),
702                            (
703                                "enum".into(),
704                                UserHighlightStyle {
705                                    color: Some(rgba(0xd36050ff).into()),
706                                    ..Default::default()
707                                },
708                            ),
709                            (
710                                "function".into(),
711                                UserHighlightStyle {
712                                    color: Some(rgba(0x5b79e3ff).into()),
713                                    ..Default::default()
714                                },
715                            ),
716                            (
717                                "hint".into(),
718                                UserHighlightStyle {
719                                    color: Some(rgba(0x9295beff).into()),
720                                    font_weight: Some(UserFontWeight(700.0)),
721                                    ..Default::default()
722                                },
723                            ),
724                            (
725                                "keyword".into(),
726                                UserHighlightStyle {
727                                    color: Some(rgba(0xa449abff).into()),
728                                    ..Default::default()
729                                },
730                            ),
731                            (
732                                "label".into(),
733                                UserHighlightStyle {
734                                    color: Some(rgba(0x5c79e2ff).into()),
735                                    ..Default::default()
736                                },
737                            ),
738                            (
739                                "link_text".into(),
740                                UserHighlightStyle {
741                                    color: Some(rgba(0x5b79e3ff).into()),
742                                    font_style: Some(UserFontStyle::Italic),
743                                    ..Default::default()
744                                },
745                            ),
746                            (
747                                "link_uri".into(),
748                                UserHighlightStyle {
749                                    color: Some(rgba(0x3982b7ff).into()),
750                                    ..Default::default()
751                                },
752                            ),
753                            (
754                                "number".into(),
755                                UserHighlightStyle {
756                                    color: Some(rgba(0xad6f26ff).into()),
757                                    ..Default::default()
758                                },
759                            ),
760                            (
761                                "operator".into(),
762                                UserHighlightStyle {
763                                    color: Some(rgba(0x3982b7ff).into()),
764                                    ..Default::default()
765                                },
766                            ),
767                            (
768                                "predictive".into(),
769                                UserHighlightStyle {
770                                    color: Some(rgba(0x9c9fc7ff).into()),
771                                    font_style: Some(UserFontStyle::Italic),
772                                    ..Default::default()
773                                },
774                            ),
775                            (
776                                "preproc".into(),
777                                UserHighlightStyle {
778                                    color: Some(rgba(0x383a41ff).into()),
779                                    ..Default::default()
780                                },
781                            ),
782                            (
783                                "primary".into(),
784                                UserHighlightStyle {
785                                    color: Some(rgba(0x383a41ff).into()),
786                                    ..Default::default()
787                                },
788                            ),
789                            (
790                                "property".into(),
791                                UserHighlightStyle {
792                                    color: Some(rgba(0xd36050ff).into()),
793                                    ..Default::default()
794                                },
795                            ),
796                            (
797                                "punctuation".into(),
798                                UserHighlightStyle {
799                                    color: Some(rgba(0x383a41ff).into()),
800                                    ..Default::default()
801                                },
802                            ),
803                            (
804                                "punctuation.bracket".into(),
805                                UserHighlightStyle {
806                                    color: Some(rgba(0x4d4f52ff).into()),
807                                    ..Default::default()
808                                },
809                            ),
810                            (
811                                "punctuation.delimiter".into(),
812                                UserHighlightStyle {
813                                    color: Some(rgba(0x4d4f52ff).into()),
814                                    ..Default::default()
815                                },
816                            ),
817                            (
818                                "punctuation.list_marker".into(),
819                                UserHighlightStyle {
820                                    color: Some(rgba(0xd36050ff).into()),
821                                    ..Default::default()
822                                },
823                            ),
824                            (
825                                "punctuation.special".into(),
826                                UserHighlightStyle {
827                                    color: Some(rgba(0xb92c46ff).into()),
828                                    ..Default::default()
829                                },
830                            ),
831                            (
832                                "string".into(),
833                                UserHighlightStyle {
834                                    color: Some(rgba(0x659f58ff).into()),
835                                    ..Default::default()
836                                },
837                            ),
838                            (
839                                "string.escape".into(),
840                                UserHighlightStyle {
841                                    color: Some(rgba(0x7c7e86ff).into()),
842                                    ..Default::default()
843                                },
844                            ),
845                            (
846                                "string.regex".into(),
847                                UserHighlightStyle {
848                                    color: Some(rgba(0xad6f27ff).into()),
849                                    ..Default::default()
850                                },
851                            ),
852                            (
853                                "string.special".into(),
854                                UserHighlightStyle {
855                                    color: Some(rgba(0xad6f27ff).into()),
856                                    ..Default::default()
857                                },
858                            ),
859                            (
860                                "string.special.symbol".into(),
861                                UserHighlightStyle {
862                                    color: Some(rgba(0xad6f27ff).into()),
863                                    ..Default::default()
864                                },
865                            ),
866                            (
867                                "tag".into(),
868                                UserHighlightStyle {
869                                    color: Some(rgba(0x5c79e2ff).into()),
870                                    ..Default::default()
871                                },
872                            ),
873                            (
874                                "text.literal".into(),
875                                UserHighlightStyle {
876                                    color: Some(rgba(0x659f58ff).into()),
877                                    ..Default::default()
878                                },
879                            ),
880                            (
881                                "title".into(),
882                                UserHighlightStyle {
883                                    color: Some(rgba(0xd36050ff).into()),
884                                    font_weight: Some(UserFontWeight(400.0)),
885                                    ..Default::default()
886                                },
887                            ),
888                            (
889                                "type".into(),
890                                UserHighlightStyle {
891                                    color: Some(rgba(0x3982b7ff).into()),
892                                    ..Default::default()
893                                },
894                            ),
895                            (
896                                "variable".into(),
897                                UserHighlightStyle {
898                                    color: Some(rgba(0x383a41ff).into()),
899                                    ..Default::default()
900                                },
901                            ),
902                            (
903                                "variable.special".into(),
904                                UserHighlightStyle {
905                                    color: Some(rgba(0xad6f26ff).into()),
906                                    ..Default::default()
907                                },
908                            ),
909                            (
910                                "variant".into(),
911                                UserHighlightStyle {
912                                    color: Some(rgba(0x5b79e3ff).into()),
913                                    ..Default::default()
914                                },
915                            ),
916                        ],
917                    }),
918                },
919            },
920        ],
921    }
922}