// This file was generated by the `theme_importer`.
// Be careful when modifying it by hand.

use gpui::rgba;

#[allow(unused)]
use crate::{
    Appearance, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
    UserFontStyle, UserFontWeight, UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily,
    UserThemeStylesRefinement,
};

pub fn gruvbox() -> UserThemeFamily {
    UserThemeFamily {
        name: "Gruvbox".into(),
        author: "Zed Industries".into(),
        themes: vec![
            UserTheme {
                name: "Gruvbox Dark".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x5b534dff).into()),
                        border_variant: Some(rgba(0x494340ff).into()),
                        border_focused: Some(rgba(0x303a36ff).into()),
                        border_selected: Some(rgba(0x303a36ff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0x544c48ff).into()),
                        elevated_surface_background: Some(rgba(0x3a3735ff).into()),
                        surface_background: Some(rgba(0x3a3735ff).into()),
                        background: Some(rgba(0x4c4642ff).into()),
                        panel_background: Some(rgba(0x3a3735ff).into()),
                        element_background: Some(rgba(0x3a3735ff).into()),
                        element_hover: Some(rgba(0x494340ff).into()),
                        element_active: Some(rgba(0x5b524cff).into()),
                        element_selected: Some(rgba(0x5b524cff).into()),
                        element_disabled: Some(rgba(0x3a3735ff).into()),
                        drop_target_background: Some(rgba(0xc5b59780).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0x494340ff).into()),
                        ghost_element_active: Some(rgba(0x5b524cff).into()),
                        ghost_element_selected: Some(rgba(0x5b524cff).into()),
                        ghost_element_disabled: Some(rgba(0x3a3735ff).into()),
                        text: Some(rgba(0xfbf1c7ff).into()),
                        text_muted: Some(rgba(0xc5b597ff).into()),
                        text_placeholder: Some(rgba(0x9a8c79ff).into()),
                        text_disabled: Some(rgba(0x9a8c79ff).into()),
                        text_accent: Some(rgba(0x83a598ff).into()),
                        icon: Some(rgba(0xfbf1c7ff).into()),
                        icon_muted: Some(rgba(0xc5b597ff).into()),
                        icon_disabled: Some(rgba(0x9a8c79ff).into()),
                        icon_placeholder: Some(rgba(0xc5b597ff).into()),
                        icon_accent: Some(rgba(0x83a598ff).into()),
                        status_bar_background: Some(rgba(0x4c4642ff).into()),
                        title_bar_background: Some(rgba(0x4c4642ff).into()),
                        toolbar_background: Some(rgba(0x282828ff).into()),
                        tab_bar_background: Some(rgba(0x3a3735ff).into()),
                        tab_inactive_background: Some(rgba(0x3a3735ff).into()),
                        tab_active_background: Some(rgba(0x282828ff).into()),
                        scrollbar_thumb_background: Some(rgba(0xfbf1c74c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x494340ff).into()),
                        scrollbar_thumb_border: Some(rgba(0x494340ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0x373432ff).into()),
                        editor_foreground: Some(rgba(0xebdbb2ff).into()),
                        editor_background: Some(rgba(0x282828ff).into()),
                        editor_gutter_background: Some(rgba(0x282828ff).into()),
                        editor_subheader_background: Some(rgba(0x3a3735ff).into()),
                        editor_active_line_background: Some(rgba(0x3a3735bf).into()),
                        editor_highlighted_line_background: Some(rgba(0x3a3735ff).into()),
                        editor_line_number: Some(rgba(0xfbf1c759).into()),
                        editor_active_line_number: Some(rgba(0xfbf1c7ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0xfbf1c70d).into()),
                        editor_active_wrap_guide: Some(rgba(0xfbf1c71a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x83a5981a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0x282828ff).into()),
                        terminal_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_bright_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_dim_foreground: Some(rgba(0x282828ff).into()),
                        terminal_ansi_black: Some(rgba(0x282828ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x73675eff).into()),
                        terminal_ansi_dim_black: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_red: Some(rgba(0xfb4a35ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x93211eff).into()),
                        terminal_ansi_dim_red: Some(rgba(0xffaa95ff).into()),
                        terminal_ansi_green: Some(rgba(0xb8bb27ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x615d1bff).into()),
                        terminal_ansi_dim_green: Some(rgba(0xe0dc98ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf9bd30ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0x91611cff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0xffdd9cff).into()),
                        terminal_ansi_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x414f4aff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0xc0d2cbff).into()),
                        terminal_ansi_magenta: Some(rgba(0xa89984ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x514a41ff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0xd3cbc0ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x45603eff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0xc7dfbdff).into()),
                        terminal_ansi_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0xb1a28aff).into()),
                        link_text_hover: Some(rgba(0x83a598ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xf9bd30ff).into()),
                        conflict_background: Some(rgba(0x582f10ff).into()),
                        conflict_border: Some(rgba(0x754916ff).into()),
                        created: Some(rgba(0xb8bb27ff).into()),
                        created_background: Some(rgba(0x332b11ff).into()),
                        created_border: Some(rgba(0x4a4516ff).into()),
                        deleted: Some(rgba(0xfb4a35ff).into()),
                        deleted_background: Some(rgba(0x5a0a10ff).into()),
                        deleted_border: Some(rgba(0x771618ff).into()),
                        error: Some(rgba(0xfb4a35ff).into()),
                        error_background: Some(rgba(0x5a0a10ff).into()),
                        error_border: Some(rgba(0x771618ff).into()),
                        hidden: Some(rgba(0x9a8c79ff).into()),
                        hidden_background: Some(rgba(0x4c4642ff).into()),
                        hidden_border: Some(rgba(0x544c48ff).into()),
                        hint: Some(rgba(0x8d957eff).into()),
                        hint_background: Some(rgba(0x1e2321ff).into()),
                        hint_border: Some(rgba(0x303a36ff).into()),
                        ignored: Some(rgba(0xc5b597ff).into()),
                        ignored_background: Some(rgba(0x4c4642ff).into()),
                        ignored_border: Some(rgba(0x5b534dff).into()),
                        info: Some(rgba(0x83a598ff).into()),
                        info_background: Some(rgba(0x1e2321ff).into()),
                        info_border: Some(rgba(0x303a36ff).into()),
                        modified: Some(rgba(0xf9bd30ff).into()),
                        modified_background: Some(rgba(0x582f10ff).into()),
                        modified_border: Some(rgba(0x754916ff).into()),
                        predictive: Some(rgba(0x717363ff).into()),
                        predictive_background: Some(rgba(0x332b11ff).into()),
                        predictive_border: Some(rgba(0x4a4516ff).into()),
                        renamed: Some(rgba(0x83a598ff).into()),
                        renamed_background: Some(rgba(0x1e2321ff).into()),
                        renamed_border: Some(rgba(0x303a36ff).into()),
                        success: Some(rgba(0xb8bb27ff).into()),
                        success_background: Some(rgba(0x332b11ff).into()),
                        success_border: Some(rgba(0x4a4516ff).into()),
                        unreachable: Some(rgba(0xc5b597ff).into()),
                        unreachable_background: Some(rgba(0x4c4642ff).into()),
                        unreachable_border: Some(rgba(0x5b534dff).into()),
                        warning: Some(rgba(0xf9bd30ff).into()),
                        warning_background: Some(rgba(0x582f10ff).into()),
                        warning_border: Some(rgba(0x754916ff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x83a598ff).into(),
                            background: rgba(0x83a598ff).into(),
                            selection: rgba(0x83a5983d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xa89984ff).into(),
                            background: rgba(0xa89984ff).into(),
                            selection: rgba(0xa899843d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfd801bff).into(),
                            background: rgba(0xfd801bff).into(),
                            selection: rgba(0xfd801b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xd3869bff).into(),
                            background: rgba(0xd3869bff).into(),
                            selection: rgba(0xd3869b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8ec07cff).into(),
                            background: rgba(0x8ec07cff).into(),
                            selection: rgba(0x8ec07c3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfb4a35ff).into(),
                            background: rgba(0xfb4a35ff).into(),
                            selection: rgba(0xfb4a353d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xf9bd30ff).into(),
                            background: rgba(0xf9bd30ff).into(),
                            selection: rgba(0xf9bd303d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb8bb27ff).into(),
                            background: rgba(0xb8bb27ff).into(),
                            selection: rgba(0xb8bb273d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8d957eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x717363ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfbf1c7ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5c4a1ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Dark Hard".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x5b534dff).into()),
                        border_variant: Some(rgba(0x494340ff).into()),
                        border_focused: Some(rgba(0x303a36ff).into()),
                        border_selected: Some(rgba(0x303a36ff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0x544c48ff).into()),
                        elevated_surface_background: Some(rgba(0x393634ff).into()),
                        surface_background: Some(rgba(0x393634ff).into()),
                        background: Some(rgba(0x4c4642ff).into()),
                        panel_background: Some(rgba(0x393634ff).into()),
                        element_background: Some(rgba(0x393634ff).into()),
                        element_hover: Some(rgba(0x494340ff).into()),
                        element_active: Some(rgba(0x5b524cff).into()),
                        element_selected: Some(rgba(0x5b524cff).into()),
                        element_disabled: Some(rgba(0x393634ff).into()),
                        drop_target_background: Some(rgba(0xc5b59780).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0x494340ff).into()),
                        ghost_element_active: Some(rgba(0x5b524cff).into()),
                        ghost_element_selected: Some(rgba(0x5b524cff).into()),
                        ghost_element_disabled: Some(rgba(0x393634ff).into()),
                        text: Some(rgba(0xfbf1c7ff).into()),
                        text_muted: Some(rgba(0xc5b597ff).into()),
                        text_placeholder: Some(rgba(0x9a8c79ff).into()),
                        text_disabled: Some(rgba(0x9a8c79ff).into()),
                        text_accent: Some(rgba(0x83a598ff).into()),
                        icon: Some(rgba(0xfbf1c7ff).into()),
                        icon_muted: Some(rgba(0xc5b597ff).into()),
                        icon_disabled: Some(rgba(0x9a8c79ff).into()),
                        icon_placeholder: Some(rgba(0xc5b597ff).into()),
                        icon_accent: Some(rgba(0x83a598ff).into()),
                        status_bar_background: Some(rgba(0x4c4642ff).into()),
                        title_bar_background: Some(rgba(0x4c4642ff).into()),
                        toolbar_background: Some(rgba(0x1d2021ff).into()),
                        tab_bar_background: Some(rgba(0x393634ff).into()),
                        tab_inactive_background: Some(rgba(0x393634ff).into()),
                        tab_active_background: Some(rgba(0x1d2021ff).into()),
                        scrollbar_thumb_background: Some(rgba(0xfbf1c74c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x494340ff).into()),
                        scrollbar_thumb_border: Some(rgba(0x494340ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0x343130ff).into()),
                        editor_foreground: Some(rgba(0xebdbb2ff).into()),
                        editor_background: Some(rgba(0x1d2021ff).into()),
                        editor_gutter_background: Some(rgba(0x1d2021ff).into()),
                        editor_subheader_background: Some(rgba(0x393634ff).into()),
                        editor_active_line_background: Some(rgba(0x393634bf).into()),
                        editor_highlighted_line_background: Some(rgba(0x393634ff).into()),
                        editor_line_number: Some(rgba(0xfbf1c759).into()),
                        editor_active_line_number: Some(rgba(0xfbf1c7ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0xfbf1c70d).into()),
                        editor_active_wrap_guide: Some(rgba(0xfbf1c71a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x83a5981a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0x1d2021ff).into()),
                        terminal_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_bright_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_dim_foreground: Some(rgba(0x1d2021ff).into()),
                        terminal_ansi_black: Some(rgba(0x1d2021ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x73675eff).into()),
                        terminal_ansi_dim_black: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_red: Some(rgba(0xfb4a35ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x93211eff).into()),
                        terminal_ansi_dim_red: Some(rgba(0xffaa95ff).into()),
                        terminal_ansi_green: Some(rgba(0xb8bb27ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x615d1bff).into()),
                        terminal_ansi_dim_green: Some(rgba(0xe0dc98ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf9bd30ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0x91611cff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0xffdd9cff).into()),
                        terminal_ansi_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x414f4aff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0xc0d2cbff).into()),
                        terminal_ansi_magenta: Some(rgba(0xa89984ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x514a41ff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0xd3cbc0ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x45603eff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0xc7dfbdff).into()),
                        terminal_ansi_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0xb1a28aff).into()),
                        link_text_hover: Some(rgba(0x83a598ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xf9bd30ff).into()),
                        conflict_background: Some(rgba(0x582f10ff).into()),
                        conflict_border: Some(rgba(0x754916ff).into()),
                        created: Some(rgba(0xb8bb27ff).into()),
                        created_background: Some(rgba(0x332b11ff).into()),
                        created_border: Some(rgba(0x4a4516ff).into()),
                        deleted: Some(rgba(0xfb4a35ff).into()),
                        deleted_background: Some(rgba(0x5a0a10ff).into()),
                        deleted_border: Some(rgba(0x771618ff).into()),
                        error: Some(rgba(0xfb4a35ff).into()),
                        error_background: Some(rgba(0x5a0a10ff).into()),
                        error_border: Some(rgba(0x771618ff).into()),
                        hidden: Some(rgba(0x9a8c79ff).into()),
                        hidden_background: Some(rgba(0x4c4642ff).into()),
                        hidden_border: Some(rgba(0x544c48ff).into()),
                        hint: Some(rgba(0x8d957eff).into()),
                        hint_background: Some(rgba(0x1e2321ff).into()),
                        hint_border: Some(rgba(0x303a36ff).into()),
                        ignored: Some(rgba(0xc5b597ff).into()),
                        ignored_background: Some(rgba(0x4c4642ff).into()),
                        ignored_border: Some(rgba(0x5b534dff).into()),
                        info: Some(rgba(0x83a598ff).into()),
                        info_background: Some(rgba(0x1e2321ff).into()),
                        info_border: Some(rgba(0x303a36ff).into()),
                        modified: Some(rgba(0xf9bd30ff).into()),
                        modified_background: Some(rgba(0x582f10ff).into()),
                        modified_border: Some(rgba(0x754916ff).into()),
                        predictive: Some(rgba(0x717363ff).into()),
                        predictive_background: Some(rgba(0x332b11ff).into()),
                        predictive_border: Some(rgba(0x4a4516ff).into()),
                        renamed: Some(rgba(0x83a598ff).into()),
                        renamed_background: Some(rgba(0x1e2321ff).into()),
                        renamed_border: Some(rgba(0x303a36ff).into()),
                        success: Some(rgba(0xb8bb27ff).into()),
                        success_background: Some(rgba(0x332b11ff).into()),
                        success_border: Some(rgba(0x4a4516ff).into()),
                        unreachable: Some(rgba(0xc5b597ff).into()),
                        unreachable_background: Some(rgba(0x4c4642ff).into()),
                        unreachable_border: Some(rgba(0x5b534dff).into()),
                        warning: Some(rgba(0xf9bd30ff).into()),
                        warning_background: Some(rgba(0x582f10ff).into()),
                        warning_border: Some(rgba(0x754916ff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x83a598ff).into(),
                            background: rgba(0x83a598ff).into(),
                            selection: rgba(0x83a5983d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xa89984ff).into(),
                            background: rgba(0xa89984ff).into(),
                            selection: rgba(0xa899843d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfd801bff).into(),
                            background: rgba(0xfd801bff).into(),
                            selection: rgba(0xfd801b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xd3869bff).into(),
                            background: rgba(0xd3869bff).into(),
                            selection: rgba(0xd3869b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8ec07cff).into(),
                            background: rgba(0x8ec07cff).into(),
                            selection: rgba(0x8ec07c3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfb4a35ff).into(),
                            background: rgba(0xfb4a35ff).into(),
                            selection: rgba(0xfb4a353d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xf9bd30ff).into(),
                            background: rgba(0xf9bd30ff).into(),
                            selection: rgba(0xf9bd303d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb8bb27ff).into(),
                            background: rgba(0xb8bb27ff).into(),
                            selection: rgba(0xb8bb273d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8d957eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x717363ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfbf1c7ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5c4a1ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Dark Soft".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x5b534dff).into()),
                        border_variant: Some(rgba(0x494340ff).into()),
                        border_focused: Some(rgba(0x303a36ff).into()),
                        border_selected: Some(rgba(0x303a36ff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0x544c48ff).into()),
                        elevated_surface_background: Some(rgba(0x3b3735ff).into()),
                        surface_background: Some(rgba(0x3b3735ff).into()),
                        background: Some(rgba(0x4c4642ff).into()),
                        panel_background: Some(rgba(0x3b3735ff).into()),
                        element_background: Some(rgba(0x3b3735ff).into()),
                        element_hover: Some(rgba(0x494340ff).into()),
                        element_active: Some(rgba(0x5b524cff).into()),
                        element_selected: Some(rgba(0x5b524cff).into()),
                        element_disabled: Some(rgba(0x3b3735ff).into()),
                        drop_target_background: Some(rgba(0xc5b59780).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0x494340ff).into()),
                        ghost_element_active: Some(rgba(0x5b524cff).into()),
                        ghost_element_selected: Some(rgba(0x5b524cff).into()),
                        ghost_element_disabled: Some(rgba(0x3b3735ff).into()),
                        text: Some(rgba(0xfbf1c7ff).into()),
                        text_muted: Some(rgba(0xc5b597ff).into()),
                        text_placeholder: Some(rgba(0x9a8c79ff).into()),
                        text_disabled: Some(rgba(0x9a8c79ff).into()),
                        text_accent: Some(rgba(0x83a598ff).into()),
                        icon: Some(rgba(0xfbf1c7ff).into()),
                        icon_muted: Some(rgba(0xc5b597ff).into()),
                        icon_disabled: Some(rgba(0x9a8c79ff).into()),
                        icon_placeholder: Some(rgba(0xc5b597ff).into()),
                        icon_accent: Some(rgba(0x83a598ff).into()),
                        status_bar_background: Some(rgba(0x4c4642ff).into()),
                        title_bar_background: Some(rgba(0x4c4642ff).into()),
                        toolbar_background: Some(rgba(0x32302fff).into()),
                        tab_bar_background: Some(rgba(0x3b3735ff).into()),
                        tab_inactive_background: Some(rgba(0x3b3735ff).into()),
                        tab_active_background: Some(rgba(0x32302fff).into()),
                        scrollbar_thumb_background: Some(rgba(0xfbf1c74c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x494340ff).into()),
                        scrollbar_thumb_border: Some(rgba(0x494340ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0x393634ff).into()),
                        editor_foreground: Some(rgba(0xebdbb2ff).into()),
                        editor_background: Some(rgba(0x32302fff).into()),
                        editor_gutter_background: Some(rgba(0x32302fff).into()),
                        editor_subheader_background: Some(rgba(0x3b3735ff).into()),
                        editor_active_line_background: Some(rgba(0x3b3735bf).into()),
                        editor_highlighted_line_background: Some(rgba(0x3b3735ff).into()),
                        editor_line_number: Some(rgba(0xfbf1c759).into()),
                        editor_active_line_number: Some(rgba(0xfbf1c7ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0xfbf1c70d).into()),
                        editor_active_wrap_guide: Some(rgba(0xfbf1c71a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x83a5981a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0x32302fff).into()),
                        terminal_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_bright_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_dim_foreground: Some(rgba(0x32302fff).into()),
                        terminal_ansi_black: Some(rgba(0x32302fff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x73675eff).into()),
                        terminal_ansi_dim_black: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_red: Some(rgba(0xfb4a35ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x93211eff).into()),
                        terminal_ansi_dim_red: Some(rgba(0xffaa95ff).into()),
                        terminal_ansi_green: Some(rgba(0xb8bb27ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x615d1bff).into()),
                        terminal_ansi_dim_green: Some(rgba(0xe0dc98ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf9bd30ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0x91611cff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0xffdd9cff).into()),
                        terminal_ansi_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x414f4aff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0xc0d2cbff).into()),
                        terminal_ansi_magenta: Some(rgba(0xa89984ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x514a41ff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0xd3cbc0ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x45603eff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0xc7dfbdff).into()),
                        terminal_ansi_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0xb1a28aff).into()),
                        link_text_hover: Some(rgba(0x83a598ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xf9bd30ff).into()),
                        conflict_background: Some(rgba(0x582f10ff).into()),
                        conflict_border: Some(rgba(0x754916ff).into()),
                        created: Some(rgba(0xb8bb27ff).into()),
                        created_background: Some(rgba(0x332b11ff).into()),
                        created_border: Some(rgba(0x4a4516ff).into()),
                        deleted: Some(rgba(0xfb4a35ff).into()),
                        deleted_background: Some(rgba(0x5a0a10ff).into()),
                        deleted_border: Some(rgba(0x771618ff).into()),
                        error: Some(rgba(0xfb4a35ff).into()),
                        error_background: Some(rgba(0x5a0a10ff).into()),
                        error_border: Some(rgba(0x771618ff).into()),
                        hidden: Some(rgba(0x9a8c79ff).into()),
                        hidden_background: Some(rgba(0x4c4642ff).into()),
                        hidden_border: Some(rgba(0x544c48ff).into()),
                        hint: Some(rgba(0x8d957eff).into()),
                        hint_background: Some(rgba(0x1e2321ff).into()),
                        hint_border: Some(rgba(0x303a36ff).into()),
                        ignored: Some(rgba(0xc5b597ff).into()),
                        ignored_background: Some(rgba(0x4c4642ff).into()),
                        ignored_border: Some(rgba(0x5b534dff).into()),
                        info: Some(rgba(0x83a598ff).into()),
                        info_background: Some(rgba(0x1e2321ff).into()),
                        info_border: Some(rgba(0x303a36ff).into()),
                        modified: Some(rgba(0xf9bd30ff).into()),
                        modified_background: Some(rgba(0x582f10ff).into()),
                        modified_border: Some(rgba(0x754916ff).into()),
                        predictive: Some(rgba(0x717363ff).into()),
                        predictive_background: Some(rgba(0x332b11ff).into()),
                        predictive_border: Some(rgba(0x4a4516ff).into()),
                        renamed: Some(rgba(0x83a598ff).into()),
                        renamed_background: Some(rgba(0x1e2321ff).into()),
                        renamed_border: Some(rgba(0x303a36ff).into()),
                        success: Some(rgba(0xb8bb27ff).into()),
                        success_background: Some(rgba(0x332b11ff).into()),
                        success_border: Some(rgba(0x4a4516ff).into()),
                        unreachable: Some(rgba(0xc5b597ff).into()),
                        unreachable_background: Some(rgba(0x4c4642ff).into()),
                        unreachable_border: Some(rgba(0x5b534dff).into()),
                        warning: Some(rgba(0xf9bd30ff).into()),
                        warning_background: Some(rgba(0x582f10ff).into()),
                        warning_border: Some(rgba(0x754916ff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x83a598ff).into(),
                            background: rgba(0x83a598ff).into(),
                            selection: rgba(0x83a5983d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xa89984ff).into(),
                            background: rgba(0xa89984ff).into(),
                            selection: rgba(0xa899843d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfd801bff).into(),
                            background: rgba(0xfd801bff).into(),
                            selection: rgba(0xfd801b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xd3869bff).into(),
                            background: rgba(0xd3869bff).into(),
                            selection: rgba(0xd3869b3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8ec07cff).into(),
                            background: rgba(0x8ec07cff).into(),
                            selection: rgba(0x8ec07c3d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xfb4a35ff).into(),
                            background: rgba(0xfb4a35ff).into(),
                            selection: rgba(0xfb4a353d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xf9bd30ff).into(),
                            background: rgba(0xf9bd30ff).into(),
                            selection: rgba(0xf9bd303d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb8bb27ff).into(),
                            background: rgba(0xb8bb27ff).into(),
                            selection: rgba(0xb8bb273d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8d957eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x717363ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfbf1c7ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5c4a1ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa89984ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xebdbb2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe5d5adff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc7b798ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xc9b99aff).into()),
                        border_variant: Some(rgba(0xddcca7ff).into()),
                        border_focused: Some(rgba(0xaec6cdff).into()),
                        border_selected: Some(rgba(0xaec6cdff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0xd1c09eff).into()),
                        elevated_surface_background: Some(rgba(0xecddb4ff).into()),
                        surface_background: Some(rgba(0xecddb4ff).into()),
                        background: Some(rgba(0xd9c8a4ff).into()),
                        panel_background: Some(rgba(0xecddb4ff).into()),
                        element_background: Some(rgba(0xecddb4ff).into()),
                        element_hover: Some(rgba(0xddcca7ff).into()),
                        element_active: Some(rgba(0xc9b99aff).into()),
                        element_selected: Some(rgba(0xc9b99aff).into()),
                        element_disabled: Some(rgba(0xecddb4ff).into()),
                        drop_target_background: Some(rgba(0x5f565080).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0xddcca7ff).into()),
                        ghost_element_active: Some(rgba(0xc9b99aff).into()),
                        ghost_element_selected: Some(rgba(0xc9b99aff).into()),
                        ghost_element_disabled: Some(rgba(0xecddb4ff).into()),
                        text: Some(rgba(0x282828ff).into()),
                        text_muted: Some(rgba(0x5f5650ff).into()),
                        text_placeholder: Some(rgba(0x8a7c6fff).into()),
                        text_disabled: Some(rgba(0x8a7c6fff).into()),
                        text_accent: Some(rgba(0x0b6678ff).into()),
                        icon: Some(rgba(0x282828ff).into()),
                        icon_muted: Some(rgba(0x5f5650ff).into()),
                        icon_disabled: Some(rgba(0x8a7c6fff).into()),
                        icon_placeholder: Some(rgba(0x5f5650ff).into()),
                        icon_accent: Some(rgba(0x0b6678ff).into()),
                        status_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        title_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        toolbar_background: Some(rgba(0xfbf1c7ff).into()),
                        tab_bar_background: Some(rgba(0xecddb4ff).into()),
                        tab_inactive_background: Some(rgba(0xecddb4ff).into()),
                        tab_active_background: Some(rgba(0xfbf1c7ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x2828284c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0xddcca7ff).into()),
                        scrollbar_thumb_border: Some(rgba(0xddcca7ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0xefe1b8ff).into()),
                        editor_foreground: Some(rgba(0x282828ff).into()),
                        editor_background: Some(rgba(0xfbf1c7ff).into()),
                        editor_gutter_background: Some(rgba(0xfbf1c7ff).into()),
                        editor_subheader_background: Some(rgba(0xecddb4ff).into()),
                        editor_active_line_background: Some(rgba(0xecddb4bf).into()),
                        editor_highlighted_line_background: Some(rgba(0xecddb4ff).into()),
                        editor_line_number: Some(rgba(0x28282859).into()),
                        editor_active_line_number: Some(rgba(0x282828ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0x2828280d).into()),
                        editor_active_wrap_guide: Some(rgba(0x2828281a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x0b66781a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0xfbf1c7ff).into()),
                        terminal_foreground: Some(rgba(0x282828ff).into()),
                        terminal_bright_foreground: Some(rgba(0x282828ff).into()),
                        terminal_dim_foreground: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_black: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0xb1a28aff).into()),
                        terminal_ansi_dim_black: Some(rgba(0x282828ff).into()),
                        terminal_ansi_red: Some(rgba(0x9d0408ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xdc8c7bff).into()),
                        terminal_ansi_dim_red: Some(rgba(0x4f1207ff).into()),
                        terminal_ansi_green: Some(rgba(0x797410ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xbfb787ff).into()),
                        terminal_ansi_dim_green: Some(rgba(0x3e3a11ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xb57616ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe2b88bff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0x5c3b13ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0b6678ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x8fb0baff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0x14343cff).into()),
                        terminal_ansi_magenta: Some(rgba(0x7c6f64ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xbcb5afff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0x3e3833ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x437b59ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x9fbca8ff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0x253e2eff).into()),
                        terminal_ansi_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0x73675eff).into()),
                        link_text_hover: Some(rgba(0x0b6678ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xb57616ff).into()),
                        conflict_background: Some(rgba(0xf5e2d0ff).into()),
                        conflict_border: Some(rgba(0xebccabff).into()),
                        created: Some(rgba(0x797410ff).into()),
                        created_background: Some(rgba(0xe5e1ceff).into()),
                        created_border: Some(rgba(0xd1cba8ff).into()),
                        deleted: Some(rgba(0x9d0408ff).into()),
                        deleted_background: Some(rgba(0xf4d1c9ff).into()),
                        deleted_border: Some(rgba(0xe8ac9eff).into()),
                        error: Some(rgba(0x9d0408ff).into()),
                        error_background: Some(rgba(0xf4d1c9ff).into()),
                        error_border: Some(rgba(0xe8ac9eff).into()),
                        hidden: Some(rgba(0x8a7c6fff).into()),
                        hidden_background: Some(rgba(0xd9c8a4ff).into()),
                        hidden_border: Some(rgba(0xd1c09eff).into()),
                        hint: Some(rgba(0x677562ff).into()),
                        hint_background: Some(rgba(0xd2dee2ff).into()),
                        hint_border: Some(rgba(0xaec6cdff).into()),
                        ignored: Some(rgba(0x5f5650ff).into()),
                        ignored_background: Some(rgba(0xd9c8a4ff).into()),
                        ignored_border: Some(rgba(0xc9b99aff).into()),
                        info: Some(rgba(0x0b6678ff).into()),
                        info_background: Some(rgba(0xd2dee2ff).into()),
                        info_border: Some(rgba(0xaec6cdff).into()),
                        modified: Some(rgba(0xb57616ff).into()),
                        modified_background: Some(rgba(0xf5e2d0ff).into()),
                        modified_border: Some(rgba(0xebccabff).into()),
                        predictive: Some(rgba(0x7d9881ff).into()),
                        predictive_background: Some(rgba(0xe5e1ceff).into()),
                        predictive_border: Some(rgba(0xd1cba8ff).into()),
                        renamed: Some(rgba(0x0b6678ff).into()),
                        renamed_background: Some(rgba(0xd2dee2ff).into()),
                        renamed_border: Some(rgba(0xaec6cdff).into()),
                        success: Some(rgba(0x797410ff).into()),
                        success_background: Some(rgba(0xe5e1ceff).into()),
                        success_border: Some(rgba(0xd1cba8ff).into()),
                        unreachable: Some(rgba(0x5f5650ff).into()),
                        unreachable_background: Some(rgba(0xd9c8a4ff).into()),
                        unreachable_border: Some(rgba(0xc9b99aff).into()),
                        warning: Some(rgba(0xb57616ff).into()),
                        warning_background: Some(rgba(0xf5e2d0ff).into()),
                        warning_border: Some(rgba(0xebccabff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x0b6678ff).into(),
                            background: rgba(0x0b6678ff).into(),
                            selection: rgba(0x0b66783d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x7c6f64ff).into(),
                            background: rgba(0x7c6f64ff).into(),
                            selection: rgba(0x7c6f643d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xaf3b05ff).into(),
                            background: rgba(0xaf3b05ff).into(),
                            selection: rgba(0xaf3b053d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8f4071ff).into(),
                            background: rgba(0x8f4071ff).into(),
                            selection: rgba(0x8f40713d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x437b59ff).into(),
                            background: rgba(0x437b59ff).into(),
                            selection: rgba(0x437b593d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x9d0408ff).into(),
                            background: rgba(0x9d0408ff).into(),
                            selection: rgba(0x9d04083d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb57616ff).into(),
                            background: rgba(0xb57616ff).into(),
                            selection: rgba(0xb576163d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x797410ff).into(),
                            background: rgba(0x797410ff).into(),
                            selection: rgba(0x7974103d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7c6f64ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x677562ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7d9881ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x3c3836ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x665c54ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light Hard".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xc9b99aff).into()),
                        border_variant: Some(rgba(0xddcca7ff).into()),
                        border_focused: Some(rgba(0xaec6cdff).into()),
                        border_selected: Some(rgba(0xaec6cdff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0xd1c09eff).into()),
                        elevated_surface_background: Some(rgba(0xecddb5ff).into()),
                        surface_background: Some(rgba(0xecddb5ff).into()),
                        background: Some(rgba(0xd9c8a4ff).into()),
                        panel_background: Some(rgba(0xecddb5ff).into()),
                        element_background: Some(rgba(0xecddb5ff).into()),
                        element_hover: Some(rgba(0xddcca7ff).into()),
                        element_active: Some(rgba(0xc9b99aff).into()),
                        element_selected: Some(rgba(0xc9b99aff).into()),
                        element_disabled: Some(rgba(0xecddb5ff).into()),
                        drop_target_background: Some(rgba(0x5f565080).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0xddcca7ff).into()),
                        ghost_element_active: Some(rgba(0xc9b99aff).into()),
                        ghost_element_selected: Some(rgba(0xc9b99aff).into()),
                        ghost_element_disabled: Some(rgba(0xecddb5ff).into()),
                        text: Some(rgba(0x282828ff).into()),
                        text_muted: Some(rgba(0x5f5650ff).into()),
                        text_placeholder: Some(rgba(0x8a7c6fff).into()),
                        text_disabled: Some(rgba(0x8a7c6fff).into()),
                        text_accent: Some(rgba(0x0b6678ff).into()),
                        icon: Some(rgba(0x282828ff).into()),
                        icon_muted: Some(rgba(0x5f5650ff).into()),
                        icon_disabled: Some(rgba(0x8a7c6fff).into()),
                        icon_placeholder: Some(rgba(0x5f5650ff).into()),
                        icon_accent: Some(rgba(0x0b6678ff).into()),
                        status_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        title_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        toolbar_background: Some(rgba(0xf9f5d7ff).into()),
                        tab_bar_background: Some(rgba(0xecddb5ff).into()),
                        tab_inactive_background: Some(rgba(0xecddb5ff).into()),
                        tab_active_background: Some(rgba(0xf9f5d7ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x2828284c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0xddcca7ff).into()),
                        scrollbar_thumb_border: Some(rgba(0xddcca7ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0xefe2bcff).into()),
                        editor_foreground: Some(rgba(0x282828ff).into()),
                        editor_background: Some(rgba(0xf9f5d7ff).into()),
                        editor_gutter_background: Some(rgba(0xf9f5d7ff).into()),
                        editor_subheader_background: Some(rgba(0xecddb5ff).into()),
                        editor_active_line_background: Some(rgba(0xecddb5bf).into()),
                        editor_highlighted_line_background: Some(rgba(0xecddb5ff).into()),
                        editor_line_number: Some(rgba(0x28282859).into()),
                        editor_active_line_number: Some(rgba(0x282828ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0x2828280d).into()),
                        editor_active_wrap_guide: Some(rgba(0x2828281a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x0b66781a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0xf9f5d7ff).into()),
                        terminal_foreground: Some(rgba(0x282828ff).into()),
                        terminal_bright_foreground: Some(rgba(0x282828ff).into()),
                        terminal_dim_foreground: Some(rgba(0xf9f5d7ff).into()),
                        terminal_ansi_black: Some(rgba(0xf9f5d7ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0xb1a28aff).into()),
                        terminal_ansi_dim_black: Some(rgba(0x282828ff).into()),
                        terminal_ansi_red: Some(rgba(0x9d0408ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xdc8c7bff).into()),
                        terminal_ansi_dim_red: Some(rgba(0x4f1207ff).into()),
                        terminal_ansi_green: Some(rgba(0x797410ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xbfb787ff).into()),
                        terminal_ansi_dim_green: Some(rgba(0x3e3a11ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xb57616ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe2b88bff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0x5c3b13ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0b6678ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x8fb0baff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0x14343cff).into()),
                        terminal_ansi_magenta: Some(rgba(0x7c6f64ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xbcb5afff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0x3e3833ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x437b59ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x9fbca8ff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0x253e2eff).into()),
                        terminal_ansi_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0x73675eff).into()),
                        link_text_hover: Some(rgba(0x0b6678ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xb57616ff).into()),
                        conflict_background: Some(rgba(0xf5e2d0ff).into()),
                        conflict_border: Some(rgba(0xebccabff).into()),
                        created: Some(rgba(0x797410ff).into()),
                        created_background: Some(rgba(0xe5e1ceff).into()),
                        created_border: Some(rgba(0xd1cba8ff).into()),
                        deleted: Some(rgba(0x9d0408ff).into()),
                        deleted_background: Some(rgba(0xf4d1c9ff).into()),
                        deleted_border: Some(rgba(0xe8ac9eff).into()),
                        error: Some(rgba(0x9d0408ff).into()),
                        error_background: Some(rgba(0xf4d1c9ff).into()),
                        error_border: Some(rgba(0xe8ac9eff).into()),
                        hidden: Some(rgba(0x8a7c6fff).into()),
                        hidden_background: Some(rgba(0xd9c8a4ff).into()),
                        hidden_border: Some(rgba(0xd1c09eff).into()),
                        hint: Some(rgba(0x677562ff).into()),
                        hint_background: Some(rgba(0xd2dee2ff).into()),
                        hint_border: Some(rgba(0xaec6cdff).into()),
                        ignored: Some(rgba(0x5f5650ff).into()),
                        ignored_background: Some(rgba(0xd9c8a4ff).into()),
                        ignored_border: Some(rgba(0xc9b99aff).into()),
                        info: Some(rgba(0x0b6678ff).into()),
                        info_background: Some(rgba(0xd2dee2ff).into()),
                        info_border: Some(rgba(0xaec6cdff).into()),
                        modified: Some(rgba(0xb57616ff).into()),
                        modified_background: Some(rgba(0xf5e2d0ff).into()),
                        modified_border: Some(rgba(0xebccabff).into()),
                        predictive: Some(rgba(0x7d9881ff).into()),
                        predictive_background: Some(rgba(0xe5e1ceff).into()),
                        predictive_border: Some(rgba(0xd1cba8ff).into()),
                        renamed: Some(rgba(0x0b6678ff).into()),
                        renamed_background: Some(rgba(0xd2dee2ff).into()),
                        renamed_border: Some(rgba(0xaec6cdff).into()),
                        success: Some(rgba(0x797410ff).into()),
                        success_background: Some(rgba(0xe5e1ceff).into()),
                        success_border: Some(rgba(0xd1cba8ff).into()),
                        unreachable: Some(rgba(0x5f5650ff).into()),
                        unreachable_background: Some(rgba(0xd9c8a4ff).into()),
                        unreachable_border: Some(rgba(0xc9b99aff).into()),
                        warning: Some(rgba(0xb57616ff).into()),
                        warning_background: Some(rgba(0xf5e2d0ff).into()),
                        warning_border: Some(rgba(0xebccabff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x0b6678ff).into(),
                            background: rgba(0x0b6678ff).into(),
                            selection: rgba(0x0b66783d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x7c6f64ff).into(),
                            background: rgba(0x7c6f64ff).into(),
                            selection: rgba(0x7c6f643d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xaf3b05ff).into(),
                            background: rgba(0xaf3b05ff).into(),
                            selection: rgba(0xaf3b053d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8f4071ff).into(),
                            background: rgba(0x8f4071ff).into(),
                            selection: rgba(0x8f40713d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x437b59ff).into(),
                            background: rgba(0x437b59ff).into(),
                            selection: rgba(0x437b593d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x9d0408ff).into(),
                            background: rgba(0x9d0408ff).into(),
                            selection: rgba(0x9d04083d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb57616ff).into(),
                            background: rgba(0xb57616ff).into(),
                            selection: rgba(0xb576163d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x797410ff).into(),
                            background: rgba(0x797410ff).into(),
                            selection: rgba(0x7974103d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7c6f64ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x677562ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7d9881ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x3c3836ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x665c54ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light Soft".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xc9b99aff).into()),
                        border_variant: Some(rgba(0xddcca7ff).into()),
                        border_focused: Some(rgba(0xaec6cdff).into()),
                        border_selected: Some(rgba(0xaec6cdff).into()),
                        border_transparent: Some(rgba(0x00000000).into()),
                        border_disabled: Some(rgba(0xd1c09eff).into()),
                        elevated_surface_background: Some(rgba(0xecdcb3ff).into()),
                        surface_background: Some(rgba(0xecdcb3ff).into()),
                        background: Some(rgba(0xd9c8a4ff).into()),
                        panel_background: Some(rgba(0xecdcb3ff).into()),
                        element_background: Some(rgba(0xecdcb3ff).into()),
                        element_hover: Some(rgba(0xddcca7ff).into()),
                        element_active: Some(rgba(0xc9b99aff).into()),
                        element_selected: Some(rgba(0xc9b99aff).into()),
                        element_disabled: Some(rgba(0xecdcb3ff).into()),
                        drop_target_background: Some(rgba(0x5f565080).into()),
                        ghost_element_background: Some(rgba(0x00000000).into()),
                        ghost_element_hover: Some(rgba(0xddcca7ff).into()),
                        ghost_element_active: Some(rgba(0xc9b99aff).into()),
                        ghost_element_selected: Some(rgba(0xc9b99aff).into()),
                        ghost_element_disabled: Some(rgba(0xecdcb3ff).into()),
                        text: Some(rgba(0x282828ff).into()),
                        text_muted: Some(rgba(0x5f5650ff).into()),
                        text_placeholder: Some(rgba(0x8a7c6fff).into()),
                        text_disabled: Some(rgba(0x8a7c6fff).into()),
                        text_accent: Some(rgba(0x0b6678ff).into()),
                        icon: Some(rgba(0x282828ff).into()),
                        icon_muted: Some(rgba(0x5f5650ff).into()),
                        icon_disabled: Some(rgba(0x8a7c6fff).into()),
                        icon_placeholder: Some(rgba(0x5f5650ff).into()),
                        icon_accent: Some(rgba(0x0b6678ff).into()),
                        status_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        title_bar_background: Some(rgba(0xd9c8a4ff).into()),
                        toolbar_background: Some(rgba(0xf2e5bcff).into()),
                        tab_bar_background: Some(rgba(0xecdcb3ff).into()),
                        tab_inactive_background: Some(rgba(0xecdcb3ff).into()),
                        tab_active_background: Some(rgba(0xf2e5bcff).into()),
                        scrollbar_thumb_background: Some(rgba(0x2828284c).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0xddcca7ff).into()),
                        scrollbar_thumb_border: Some(rgba(0xddcca7ff).into()),
                        scrollbar_track_background: Some(rgba(0x00000000).into()),
                        scrollbar_track_border: Some(rgba(0xeddeb5ff).into()),
                        editor_foreground: Some(rgba(0x282828ff).into()),
                        editor_background: Some(rgba(0xf2e5bcff).into()),
                        editor_gutter_background: Some(rgba(0xf2e5bcff).into()),
                        editor_subheader_background: Some(rgba(0xecdcb3ff).into()),
                        editor_active_line_background: Some(rgba(0xecdcb3bf).into()),
                        editor_highlighted_line_background: Some(rgba(0xecdcb3ff).into()),
                        editor_line_number: Some(rgba(0x28282859).into()),
                        editor_active_line_number: Some(rgba(0x282828ff).into()),
                        editor_invisible: Some(rgba(0x928474ff).into()),
                        editor_wrap_guide: Some(rgba(0x2828280d).into()),
                        editor_active_wrap_guide: Some(rgba(0x2828281a).into()),
                        editor_document_highlight_read_background: Some(rgba(0x0b66781a).into()),
                        editor_document_highlight_write_background: Some(rgba(0x92847466).into()),
                        terminal_background: Some(rgba(0xf2e5bcff).into()),
                        terminal_foreground: Some(rgba(0x282828ff).into()),
                        terminal_bright_foreground: Some(rgba(0x282828ff).into()),
                        terminal_dim_foreground: Some(rgba(0xf2e5bcff).into()),
                        terminal_ansi_black: Some(rgba(0xf2e5bcff).into()),
                        terminal_ansi_bright_black: Some(rgba(0xb1a28aff).into()),
                        terminal_ansi_dim_black: Some(rgba(0x282828ff).into()),
                        terminal_ansi_red: Some(rgba(0x9d0408ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xdc8c7bff).into()),
                        terminal_ansi_dim_red: Some(rgba(0x4f1207ff).into()),
                        terminal_ansi_green: Some(rgba(0x797410ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xbfb787ff).into()),
                        terminal_ansi_dim_green: Some(rgba(0x3e3a11ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xb57616ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe2b88bff).into()),
                        terminal_ansi_dim_yellow: Some(rgba(0x5c3b13ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0b6678ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x8fb0baff).into()),
                        terminal_ansi_dim_blue: Some(rgba(0x14343cff).into()),
                        terminal_ansi_magenta: Some(rgba(0x7c6f64ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xbcb5afff).into()),
                        terminal_ansi_dim_magenta: Some(rgba(0x3e3833ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x437b59ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x9fbca8ff).into()),
                        terminal_ansi_dim_cyan: Some(rgba(0x253e2eff).into()),
                        terminal_ansi_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x282828ff).into()),
                        terminal_ansi_dim_white: Some(rgba(0x73675eff).into()),
                        link_text_hover: Some(rgba(0x0b6678ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xb57616ff).into()),
                        conflict_background: Some(rgba(0xf5e2d0ff).into()),
                        conflict_border: Some(rgba(0xebccabff).into()),
                        created: Some(rgba(0x797410ff).into()),
                        created_background: Some(rgba(0xe5e1ceff).into()),
                        created_border: Some(rgba(0xd1cba8ff).into()),
                        deleted: Some(rgba(0x9d0408ff).into()),
                        deleted_background: Some(rgba(0xf4d1c9ff).into()),
                        deleted_border: Some(rgba(0xe8ac9eff).into()),
                        error: Some(rgba(0x9d0408ff).into()),
                        error_background: Some(rgba(0xf4d1c9ff).into()),
                        error_border: Some(rgba(0xe8ac9eff).into()),
                        hidden: Some(rgba(0x8a7c6fff).into()),
                        hidden_background: Some(rgba(0xd9c8a4ff).into()),
                        hidden_border: Some(rgba(0xd1c09eff).into()),
                        hint: Some(rgba(0x677562ff).into()),
                        hint_background: Some(rgba(0xd2dee2ff).into()),
                        hint_border: Some(rgba(0xaec6cdff).into()),
                        ignored: Some(rgba(0x5f5650ff).into()),
                        ignored_background: Some(rgba(0xd9c8a4ff).into()),
                        ignored_border: Some(rgba(0xc9b99aff).into()),
                        info: Some(rgba(0x0b6678ff).into()),
                        info_background: Some(rgba(0xd2dee2ff).into()),
                        info_border: Some(rgba(0xaec6cdff).into()),
                        modified: Some(rgba(0xb57616ff).into()),
                        modified_background: Some(rgba(0xf5e2d0ff).into()),
                        modified_border: Some(rgba(0xebccabff).into()),
                        predictive: Some(rgba(0x7d9881ff).into()),
                        predictive_background: Some(rgba(0xe5e1ceff).into()),
                        predictive_border: Some(rgba(0xd1cba8ff).into()),
                        renamed: Some(rgba(0x0b6678ff).into()),
                        renamed_background: Some(rgba(0xd2dee2ff).into()),
                        renamed_border: Some(rgba(0xaec6cdff).into()),
                        success: Some(rgba(0x797410ff).into()),
                        success_background: Some(rgba(0xe5e1ceff).into()),
                        success_border: Some(rgba(0xd1cba8ff).into()),
                        unreachable: Some(rgba(0x5f5650ff).into()),
                        unreachable_background: Some(rgba(0xd9c8a4ff).into()),
                        unreachable_border: Some(rgba(0xc9b99aff).into()),
                        warning: Some(rgba(0xb57616ff).into()),
                        warning_background: Some(rgba(0xf5e2d0ff).into()),
                        warning_border: Some(rgba(0xebccabff).into()),
                        ..Default::default()
                    },
                    player: Some(PlayerColors(vec![
                        PlayerColor {
                            cursor: rgba(0x0b6678ff).into(),
                            background: rgba(0x0b6678ff).into(),
                            selection: rgba(0x0b66783d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x7c6f64ff).into(),
                            background: rgba(0x7c6f64ff).into(),
                            selection: rgba(0x7c6f643d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xaf3b05ff).into(),
                            background: rgba(0xaf3b05ff).into(),
                            selection: rgba(0xaf3b053d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x8f4071ff).into(),
                            background: rgba(0x8f4071ff).into(),
                            selection: rgba(0x8f40713d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x437b59ff).into(),
                            background: rgba(0x437b59ff).into(),
                            selection: rgba(0x437b593d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x9d0408ff).into(),
                            background: rgba(0x9d0408ff).into(),
                            selection: rgba(0x9d04083d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0xb57616ff).into(),
                            background: rgba(0xb57616ff).into(),
                            selection: rgba(0xb576163d).into(),
                        },
                        PlayerColor {
                            cursor: rgba(0x797410ff).into(),
                            background: rgba(0x797410ff).into(),
                            selection: rgba(0x7974103d).into(),
                        },
                    ])),
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7c6f64ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "embedded".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "enum".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function.builtin".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "hint".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x677562ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "predictive".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7d9881ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "primary".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x3c3836ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x665c54ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x282828ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x413d3aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5d544eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0b6678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
        ],
    }
}
