// 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() }, ), ( "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() }, ), ( "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() }, ), ( "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() }, ), ( "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() }, ), ( "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() }, ), ( "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() }, ), ], }), }, }, ], } }