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