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

use gpui::rgba;

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

pub fn gruvbox() -> UserThemeFamily {
    UserThemeFamily {
        name: "Gruvbox".into(),
        author: "morhetz".into(),
        themes: vec![
            UserTheme {
                name: "Gruvbox Dark Hard".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x3c3836ff).into()),
                        border_variant: Some(rgba(0x3c3836ff).into()),
                        border_focused: Some(rgba(0x3c3836ff).into()),
                        border_selected: Some(rgba(0x3c3836ff).into()),
                        border_transparent: Some(rgba(0x3c3836ff).into()),
                        border_disabled: Some(rgba(0x3c3836ff).into()),
                        background: Some(rgba(0x1d2021ff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0x3c383680).into()),
                        element_selected: Some(rgba(0x3c383680).into()),
                        drop_target_background: Some(rgba(0x3c3836ff).into()),
                        ghost_element_hover: Some(rgba(0x3c383680).into()),
                        text: Some(rgba(0xebdbb2ff).into()),
                        status_bar_background: Some(rgba(0x1d2021ff).into()),
                        title_bar_background: Some(rgba(0x1d2021ff).into()),
                        tab_inactive_background: Some(rgba(0x1d2021ff).into()),
                        tab_active_background: Some(rgba(0x32302fff).into()),
                        editor_background: Some(rgba(0x1d2021ff).into()),
                        editor_gutter_background: Some(rgba(0x1d2021ff).into()),
                        editor_line_number: Some(rgba(0x665c54ff).into()),
                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
                        terminal_background: Some(rgba(0x1d2021ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0xfb4934ff).into()),
                        error: Some(rgba(0xfb4934ff).into()),
                        hidden: Some(rgba(0xa89984ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Dark Medium".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x3c3836ff).into()),
                        border_variant: Some(rgba(0x3c3836ff).into()),
                        border_focused: Some(rgba(0x3c3836ff).into()),
                        border_selected: Some(rgba(0x3c3836ff).into()),
                        border_transparent: Some(rgba(0x3c3836ff).into()),
                        border_disabled: Some(rgba(0x3c3836ff).into()),
                        background: Some(rgba(0x282828ff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0x3c383680).into()),
                        element_selected: Some(rgba(0x3c383680).into()),
                        drop_target_background: Some(rgba(0x3c3836ff).into()),
                        ghost_element_hover: Some(rgba(0x3c383680).into()),
                        text: Some(rgba(0xebdbb2ff).into()),
                        status_bar_background: Some(rgba(0x282828ff).into()),
                        title_bar_background: Some(rgba(0x282828ff).into()),
                        tab_inactive_background: Some(rgba(0x282828ff).into()),
                        tab_active_background: Some(rgba(0x3c3836ff).into()),
                        editor_background: Some(rgba(0x282828ff).into()),
                        editor_gutter_background: Some(rgba(0x282828ff).into()),
                        editor_line_number: Some(rgba(0x665c54ff).into()),
                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
                        terminal_background: Some(rgba(0x282828ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0xfb4934ff).into()),
                        error: Some(rgba(0xfb4934ff).into()),
                        hidden: Some(rgba(0xa89984ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".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(0x3c3836ff).into()),
                        border_variant: Some(rgba(0x3c3836ff).into()),
                        border_focused: Some(rgba(0x3c3836ff).into()),
                        border_selected: Some(rgba(0x3c3836ff).into()),
                        border_transparent: Some(rgba(0x3c3836ff).into()),
                        border_disabled: Some(rgba(0x3c3836ff).into()),
                        background: Some(rgba(0x32302fff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0x3c383680).into()),
                        element_selected: Some(rgba(0x3c383680).into()),
                        drop_target_background: Some(rgba(0x3c3836ff).into()),
                        ghost_element_hover: Some(rgba(0x3c383680).into()),
                        text: Some(rgba(0xebdbb2ff).into()),
                        status_bar_background: Some(rgba(0x32302fff).into()),
                        title_bar_background: Some(rgba(0x32302fff).into()),
                        tab_inactive_background: Some(rgba(0x32302fff).into()),
                        tab_active_background: Some(rgba(0x504945ff).into()),
                        editor_background: Some(rgba(0x32302fff).into()),
                        editor_gutter_background: Some(rgba(0x32302fff).into()),
                        editor_line_number: Some(rgba(0x665c54ff).into()),
                        editor_active_line_number: Some(rgba(0xebdbb2ff).into()),
                        terminal_background: Some(rgba(0x32302fff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xfb4934ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0xb8bb26ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xfabd2fff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x83a598ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xd3869bff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x8ec07cff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_black: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0xa89984ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0xfb4934ff).into()),
                        error: Some(rgba(0xfb4934ff).into()),
                        hidden: Some(rgba(0xa89984ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3869bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfe8019ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfb4934ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ec07cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb8bb26ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfabd2fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x83a598ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light Hard".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xebdbb2ff).into()),
                        border_variant: Some(rgba(0xebdbb2ff).into()),
                        border_focused: Some(rgba(0xebdbb2ff).into()),
                        border_selected: Some(rgba(0xebdbb2ff).into()),
                        border_transparent: Some(rgba(0xebdbb2ff).into()),
                        border_disabled: Some(rgba(0xebdbb2ff).into()),
                        background: Some(rgba(0xf9f5d7ff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0xebdbb280).into()),
                        element_selected: Some(rgba(0xebdbb280).into()),
                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
                        text: Some(rgba(0x3c3836ff).into()),
                        status_bar_background: Some(rgba(0xf9f5d7ff).into()),
                        title_bar_background: Some(rgba(0xf9f5d7ff).into()),
                        tab_inactive_background: Some(rgba(0xf9f5d7ff).into()),
                        tab_active_background: Some(rgba(0xf2e5bcff).into()),
                        editor_background: Some(rgba(0xf9f5d7ff).into()),
                        editor_gutter_background: Some(rgba(0xf9f5d7ff).into()),
                        editor_line_number: Some(rgba(0xbdae93ff).into()),
                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
                        terminal_background: Some(rgba(0xf9f5d7ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0x9d0006ff).into()),
                        error: Some(rgba(0x9d0006ff).into()),
                        hidden: Some(rgba(0x7c6f64ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light Medium".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xebdbb2ff).into()),
                        border_variant: Some(rgba(0xebdbb2ff).into()),
                        border_focused: Some(rgba(0xebdbb2ff).into()),
                        border_selected: Some(rgba(0xebdbb2ff).into()),
                        border_transparent: Some(rgba(0xebdbb2ff).into()),
                        border_disabled: Some(rgba(0xebdbb2ff).into()),
                        background: Some(rgba(0xfbf1c7ff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0xebdbb280).into()),
                        element_selected: Some(rgba(0xebdbb280).into()),
                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
                        text: Some(rgba(0x3c3836ff).into()),
                        status_bar_background: Some(rgba(0xfbf1c7ff).into()),
                        title_bar_background: Some(rgba(0xfbf1c7ff).into()),
                        tab_inactive_background: Some(rgba(0xfbf1c7ff).into()),
                        tab_active_background: Some(rgba(0xebdbb2ff).into()),
                        editor_background: Some(rgba(0xfbf1c7ff).into()),
                        editor_gutter_background: Some(rgba(0xfbf1c7ff).into()),
                        editor_line_number: Some(rgba(0xbdae93ff).into()),
                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
                        terminal_background: Some(rgba(0xfbf1c7ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0x9d0006ff).into()),
                        error: Some(rgba(0x9d0006ff).into()),
                        hidden: Some(rgba(0x7c6f64ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Gruvbox Light Soft".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xebdbb2ff).into()),
                        border_variant: Some(rgba(0xebdbb2ff).into()),
                        border_focused: Some(rgba(0xebdbb2ff).into()),
                        border_selected: Some(rgba(0xebdbb2ff).into()),
                        border_transparent: Some(rgba(0xebdbb2ff).into()),
                        border_disabled: Some(rgba(0xebdbb2ff).into()),
                        background: Some(rgba(0xf2e5bcff).into()),
                        element_background: Some(rgba(0x45858880).into()),
                        element_hover: Some(rgba(0xebdbb280).into()),
                        element_selected: Some(rgba(0xebdbb280).into()),
                        drop_target_background: Some(rgba(0xebdbb2ff).into()),
                        ghost_element_hover: Some(rgba(0xebdbb280).into()),
                        text: Some(rgba(0x3c3836ff).into()),
                        status_bar_background: Some(rgba(0xf2e5bcff).into()),
                        title_bar_background: Some(rgba(0xf2e5bcff).into()),
                        tab_inactive_background: Some(rgba(0xf2e5bcff).into()),
                        tab_active_background: Some(rgba(0xd5c4a1ff).into()),
                        editor_background: Some(rgba(0xf2e5bcff).into()),
                        editor_gutter_background: Some(rgba(0xf2e5bcff).into()),
                        editor_line_number: Some(rgba(0xbdae93ff).into()),
                        editor_active_line_number: Some(rgba(0x3c3836ff).into()),
                        terminal_background: Some(rgba(0xf2e5bcff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x928374ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0x9d0006ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x79740eff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xb57614ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x076678ff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0x8f3f71ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x427b58ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0x3c3836ff).into()),
                        terminal_ansi_black: Some(rgba(0xebdbb2ff).into()),
                        terminal_ansi_red: Some(rgba(0xcc241dff).into()),
                        terminal_ansi_green: Some(rgba(0x98971aff).into()),
                        terminal_ansi_yellow: Some(rgba(0xd79921ff).into()),
                        terminal_ansi_blue: Some(rgba(0x458588ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xb16286ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x689d6aff).into()),
                        terminal_ansi_white: Some(rgba(0x7c6f64ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        deleted: Some(rgba(0x9d0006ff).into()),
                        error: Some(rgba(0x9d0006ff).into()),
                        hidden: Some(rgba(0x7c6f64ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "attribute".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x928374ff).into()),
                                    font_style: Some(UserFontStyle::Italic),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "emphasis.strong".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    font_weight: Some(UserFontWeight(700.0)),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8f3f71ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "operator".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xaf3a03ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x689d6aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9d0006ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x427b58ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x79740eff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb57614ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x076678ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
        ],
    }
}