// 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 noctis() -> UserThemeFamily {
    UserThemeFamily {
        name: "Noctis".into(),
        author: "Liviu Schera (liviuschera)".into(),
        themes: vec![
            UserTheme {
                name: "Noctis Azureus".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x1679b6ff).into()),
                        border_variant: Some(rgba(0x1679b6ff).into()),
                        border_focused: Some(rgba(0x09334eff).into()),
                        border_selected: Some(rgba(0x1679b6ff).into()),
                        border_transparent: Some(rgba(0x1679b6ff).into()),
                        border_disabled: Some(rgba(0x1679b6ff).into()),
                        elevated_surface_background: Some(rgba(0x09334eff).into()),
                        surface_background: Some(rgba(0x051b29ff).into()),
                        background: Some(rgba(0x07273bff).into()),
                        element_background: Some(rgba(0x007f99ff).into()),
                        element_hover: Some(rgba(0x00558a65).into()),
                        element_selected: Some(rgba(0x0c3f5fff).into()),
                        drop_target_background: Some(rgba(0x002a4dff).into()),
                        ghost_element_hover: Some(rgba(0x00558a65).into()),
                        ghost_element_selected: Some(rgba(0x0c3f5fff).into()),
                        text: Some(rgba(0xbecfdaff).into()),
                        text_muted: Some(rgba(0x9fb6c6ff).into()),
                        status_bar_background: Some(rgba(0x07273bff).into()),
                        title_bar_background: Some(rgba(0x07273bff).into()),
                        toolbar_background: Some(rgba(0x07273bff).into()),
                        tab_bar_background: Some(rgba(0x09334eff).into()),
                        tab_inactive_background: Some(rgba(0x09334eff).into()),
                        tab_active_background: Some(rgba(0x07273bff).into()),
                        scrollbar_thumb_background: Some(rgba(0x008ee633).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x008ee655).into()),
                        scrollbar_thumb_border: Some(rgba(0x008ee633).into()),
                        scrollbar_track_background: Some(rgba(0x07273bff).into()),
                        scrollbar_track_border: Some(rgba(0x07273bff).into()),
                        editor_foreground: Some(rgba(0xbecfdaff).into()),
                        editor_background: Some(rgba(0x07273bff).into()),
                        editor_gutter_background: Some(rgba(0x07273bff).into()),
                        editor_line_number: Some(rgba(0x4d6c80ff).into()),
                        editor_active_line_number: Some(rgba(0xbecfdaff).into()),
                        editor_wrap_guide: Some(rgba(0x1679b6ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x1679b6ff).into()),
                        terminal_background: Some(rgba(0x051b29ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x475e6cff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xbecfdaff).into()),
                        terminal_ansi_black: Some(rgba(0x28353eff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xaec3d0ff).into()),
                        link_text_hover: Some(rgba(0x49ace9ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xffc180ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0x9fb6c6ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b788bff).into()),
                        modified: Some(rgba(0xffc180ff).into()),
                        warning: Some(rgba(0xffa857ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5988a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5988a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbecfdaff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Bordo".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x997582ff).into()),
                        border_variant: Some(rgba(0x997582ff).into()),
                        border_focused: Some(rgba(0x413036ff).into()),
                        border_selected: Some(rgba(0x997582ff).into()),
                        border_transparent: Some(rgba(0x997582ff).into()),
                        border_disabled: Some(rgba(0x997582ff).into()),
                        elevated_surface_background: Some(rgba(0x413036ff).into()),
                        surface_background: Some(rgba(0x272022ff).into()),
                        background: Some(rgba(0x322a2dff).into()),
                        element_background: Some(rgba(0x007f99ff).into()),
                        element_hover: Some(rgba(0x533641ff).into()),
                        element_selected: Some(rgba(0x5c2e3e99).into()),
                        drop_target_background: Some(rgba(0x38292eff).into()),
                        ghost_element_hover: Some(rgba(0x533641ff).into()),
                        ghost_element_selected: Some(rgba(0x5c2e3e99).into()),
                        text: Some(rgba(0xcbbec2ff).into()),
                        text_muted: Some(rgba(0xbbaab0ff).into()),
                        status_bar_background: Some(rgba(0x322a2dff).into()),
                        title_bar_background: Some(rgba(0x322a2dff).into()),
                        toolbar_background: Some(rgba(0x322a2dff).into()),
                        tab_bar_background: Some(rgba(0x413036ff).into()),
                        tab_inactive_background: Some(rgba(0x413036ff).into()),
                        tab_active_background: Some(rgba(0x322a2dff).into()),
                        scrollbar_thumb_background: Some(rgba(0xeb609133).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0xeb609144).into()),
                        scrollbar_thumb_border: Some(rgba(0xeb609133).into()),
                        scrollbar_track_background: Some(rgba(0x322a2dff).into()),
                        scrollbar_track_border: Some(rgba(0x322a2dff).into()),
                        editor_foreground: Some(rgba(0xcbbec2ff).into()),
                        editor_background: Some(rgba(0x322a2dff).into()),
                        editor_gutter_background: Some(rgba(0x322a2dff).into()),
                        editor_line_number: Some(rgba(0x715b63ff).into()),
                        editor_active_line_number: Some(rgba(0xcbbec2ff).into()),
                        editor_wrap_guide: Some(rgba(0x997582ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x997582ff).into()),
                        terminal_background: Some(rgba(0x272022ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x69545bff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xcbbec2ff).into()),
                        terminal_ansi_black: Some(rgba(0x47393eff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xb9acb0ff).into()),
                        link_text_hover: Some(rgba(0xf18eb0ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xffc180ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0xbbaab0ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b788bff).into()),
                        modified: Some(rgba(0xffc180ff).into()),
                        warning: Some(rgba(0xffa857ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8b747cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8b747cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xcbbec2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctus Hibernus".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x00c6e0ff).into()),
                        border_variant: Some(rgba(0x00c6e0ff).into()),
                        border_focused: Some(rgba(0xe0eff1ff).into()),
                        border_selected: Some(rgba(0x00c6e0ff).into()),
                        border_transparent: Some(rgba(0x00c6e0ff).into()),
                        border_disabled: Some(rgba(0x00c6e0ff).into()),
                        elevated_surface_background: Some(rgba(0xf4f6f6ff).into()),
                        surface_background: Some(rgba(0xe1eeefff).into()),
                        background: Some(rgba(0xf4f6f6ff).into()),
                        element_background: Some(rgba(0x099099ff).into()),
                        element_hover: Some(rgba(0xd1eafaff).into()),
                        element_selected: Some(rgba(0xb6e1e7ff).into()),
                        drop_target_background: Some(rgba(0xb2cacdff).into()),
                        ghost_element_hover: Some(rgba(0xd1eafaff).into()),
                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
                        text: Some(rgba(0x005661ff).into()),
                        text_muted: Some(rgba(0x71838eff).into()),
                        status_bar_background: Some(rgba(0xcaedf2ff).into()),
                        title_bar_background: Some(rgba(0xe7f2f3ff).into()),
                        toolbar_background: Some(rgba(0xf4f6f6ff).into()),
                        tab_bar_background: Some(rgba(0xcaedf2ff).into()),
                        tab_inactive_background: Some(rgba(0xcaedf2ff).into()),
                        tab_active_background: Some(rgba(0xf4f6f6ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x0099ad62).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0xf4f6f6ff).into()),
                        scrollbar_track_border: Some(rgba(0xf4f6f6ff).into()),
                        editor_foreground: Some(rgba(0x005661ff).into()),
                        editor_background: Some(rgba(0xf4f6f6ff).into()),
                        editor_gutter_background: Some(rgba(0xf4f6f6ff).into()),
                        editor_line_number: Some(rgba(0xa0abacff).into()),
                        editor_active_line_number: Some(rgba(0x005661ff).into()),
                        editor_wrap_guide: Some(rgba(0x00c6e0ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x00c6e0ff).into()),
                        terminal_background: Some(rgba(0xe1eeefff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
                        link_text_hover: Some(rgba(0x00c6e0ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe9a149ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xff4000ff).into()),
                        error: Some(rgba(0xff4000ff).into()),
                        hidden: Some(rgba(0x71838eff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0xa8a28faa).into()),
                        modified: Some(rgba(0xe9a149ff).into()),
                        warning: Some(rgba(0xe07a52ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ca6a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ca6a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa88c00ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xff5792ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb3694dff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfa8900ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Lilac".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0xaea4f4ff).into()),
                        border_variant: Some(rgba(0xaea4f4ff).into()),
                        border_focused: Some(rgba(0xdedbf5ff).into()),
                        border_selected: Some(rgba(0xaea4f4ff).into()),
                        border_transparent: Some(rgba(0xaea4f4ff).into()),
                        border_disabled: Some(rgba(0xaea4f4ff).into()),
                        elevated_surface_background: Some(rgba(0xf2f1f8ff).into()),
                        surface_background: Some(rgba(0xe9e7f3ff).into()),
                        background: Some(rgba(0xf2f1f8ff).into()),
                        element_background: Some(rgba(0x8e80ffff).into()),
                        element_hover: Some(rgba(0xd2ccffff).into()),
                        element_selected: Some(rgba(0xbcb6e7ff).into()),
                        drop_target_background: Some(rgba(0xafaad4aa).into()),
                        ghost_element_hover: Some(rgba(0xd2ccffff).into()),
                        ghost_element_selected: Some(rgba(0xbcb6e7ff).into()),
                        text: Some(rgba(0x0c006bff).into()),
                        text_muted: Some(rgba(0x75718eff).into()),
                        status_bar_background: Some(rgba(0xe2dff6ff).into()),
                        title_bar_background: Some(rgba(0xedecf8ff).into()),
                        toolbar_background: Some(rgba(0xf2f1f8ff).into()),
                        tab_bar_background: Some(rgba(0xe2dff6ff).into()),
                        tab_inactive_background: Some(rgba(0xe2dff6ff).into()),
                        tab_active_background: Some(rgba(0xf2f1f8ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x7060eb62).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0xf2f1f8ff).into()),
                        scrollbar_track_border: Some(rgba(0xf2f1f8ff).into()),
                        editor_foreground: Some(rgba(0x0c006bff).into()),
                        editor_background: Some(rgba(0xf2f1f8ff).into()),
                        editor_gutter_background: Some(rgba(0xf2f1f8ff).into()),
                        editor_line_number: Some(rgba(0x9d9ab1ff).into()),
                        editor_active_line_number: Some(rgba(0x0c006bff).into()),
                        editor_wrap_guide: Some(rgba(0xaea4f4ff).into()),
                        editor_active_wrap_guide: Some(rgba(0xaea4f4ff).into()),
                        terminal_background: Some(rgba(0xe9e7f3ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x0f0080ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
                        terminal_ansi_black: Some(rgba(0x0c006bff).into()),
                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
                        link_text_hover: Some(rgba(0x00c6e0ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe9a149ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xff4000ff).into()),
                        error: Some(rgba(0xff4000ff).into()),
                        hidden: Some(rgba(0x75718eff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0xa8a28faa).into()),
                        modified: Some(rgba(0xe9a149ff).into()),
                        warning: Some(rgba(0xe07a52ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9995b7ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x9995b7ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa88c00ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xff5792ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0c006bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb3694dff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfa8900ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Lux".into(),
                appearance: Appearance::Light,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x00c6e0ff).into()),
                        border_variant: Some(rgba(0x00c6e0ff).into()),
                        border_focused: Some(rgba(0xf2eddeff).into()),
                        border_selected: Some(rgba(0x00c6e0ff).into()),
                        border_transparent: Some(rgba(0x00c6e0ff).into()),
                        border_disabled: Some(rgba(0x00c6e0ff).into()),
                        elevated_surface_background: Some(rgba(0xfef8ecff).into()),
                        surface_background: Some(rgba(0xf6eddaff).into()),
                        background: Some(rgba(0xfef8ecff).into()),
                        element_background: Some(rgba(0x099099ff).into()),
                        element_hover: Some(rgba(0xd2f3f9ff).into()),
                        element_selected: Some(rgba(0xb6e1e7ff).into()),
                        drop_target_background: Some(rgba(0xcdcbb2ff).into()),
                        ghost_element_hover: Some(rgba(0xd2f3f9ff).into()),
                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
                        text: Some(rgba(0x005661ff).into()),
                        text_muted: Some(rgba(0x888477ff).into()),
                        status_bar_background: Some(rgba(0xf0e9d6ff).into()),
                        title_bar_background: Some(rgba(0xf9f1e1ff).into()),
                        toolbar_background: Some(rgba(0xfef8ecff).into()),
                        tab_bar_background: Some(rgba(0xf0e9d6ff).into()),
                        tab_inactive_background: Some(rgba(0xf0e9d6ff).into()),
                        tab_active_background: Some(rgba(0xfef8ecff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x0099ad62).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0xfef8ecff).into()),
                        scrollbar_track_border: Some(rgba(0xfef8ecff).into()),
                        editor_foreground: Some(rgba(0x005661ff).into()),
                        editor_background: Some(rgba(0xfef8ecff).into()),
                        editor_gutter_background: Some(rgba(0xfef8ecff).into()),
                        editor_line_number: Some(rgba(0xa0abacff).into()),
                        editor_active_line_number: Some(rgba(0x005661ff).into()),
                        editor_wrap_guide: Some(rgba(0x00c6e0ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x00c6e0ff).into()),
                        terminal_background: Some(rgba(0xf6eddaff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
                        link_text_hover: Some(rgba(0x00c6e0ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe9a149ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xff4000ff).into()),
                        error: Some(rgba(0xff4000ff).into()),
                        hidden: Some(rgba(0x888477ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0xa8a28faa).into()),
                        modified: Some(rgba(0xe9a149ff).into()),
                        warning: Some(rgba(0xe07a52ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ca6a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x8ca6a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa88c00ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5842ffff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xff5792ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x0095a8ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x004d57ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00b368ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x00bdd6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb3694dff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xfa8900ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe64100ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Minimus".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x496d83ff).into()),
                        border_variant: Some(rgba(0x496d83ff).into()),
                        border_focused: Some(rgba(0x202e37ff).into()),
                        border_selected: Some(rgba(0x496d83ff).into()),
                        border_transparent: Some(rgba(0x496d83ff).into()),
                        border_disabled: Some(rgba(0x496d83ff).into()),
                        elevated_surface_background: Some(rgba(0x202e37ff).into()),
                        surface_background: Some(rgba(0x0e1920ff).into()),
                        background: Some(rgba(0x1b2932ff).into()),
                        element_background: Some(rgba(0x2e616bff).into()),
                        element_hover: Some(rgba(0x00558aff).into()),
                        element_selected: Some(rgba(0x2c414eff).into()),
                        drop_target_background: Some(rgba(0x152837ff).into()),
                        ghost_element_hover: Some(rgba(0x00558aff).into()),
                        ghost_element_selected: Some(rgba(0x2c414eff).into()),
                        text: Some(rgba(0xc5cdd3ff).into()),
                        text_muted: Some(rgba(0x96a8b6ff).into()),
                        status_bar_background: Some(rgba(0x1b2932ff).into()),
                        title_bar_background: Some(rgba(0x1b2932ff).into()),
                        toolbar_background: Some(rgba(0x1b2932ff).into()),
                        tab_bar_background: Some(rgba(0x24333dff).into()),
                        tab_inactive_background: Some(rgba(0x202e37ff).into()),
                        tab_active_background: Some(rgba(0x1b2932ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x3f7fa633).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x3f7fa655).into()),
                        scrollbar_thumb_border: Some(rgba(0x3f7fa633).into()),
                        scrollbar_track_background: Some(rgba(0x1b2932ff).into()),
                        scrollbar_track_border: Some(rgba(0x1b2932ff).into()),
                        editor_foreground: Some(rgba(0xc5cdd3ff).into()),
                        editor_background: Some(rgba(0x1b2932ff).into()),
                        editor_gutter_background: Some(rgba(0x1b2932ff).into()),
                        editor_line_number: Some(rgba(0x5d6e79ff).into()),
                        editor_active_line_number: Some(rgba(0xc5cdd3ff).into()),
                        editor_wrap_guide: Some(rgba(0x496d83ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x496d83ff).into()),
                        terminal_background: Some(rgba(0x0e1920ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x425866ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xca8468ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x84c8abff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xd1aa7bff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x68a4caff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xc88da2ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x84c0c8ff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xc5d1d3ff).into()),
                        terminal_ansi_black: Some(rgba(0x182a35ff).into()),
                        terminal_ansi_red: Some(rgba(0xc08872ff).into()),
                        terminal_ansi_green: Some(rgba(0x72c09fff).into()),
                        terminal_ansi_yellow: Some(rgba(0xc8a984ff).into()),
                        terminal_ansi_blue: Some(rgba(0x6196b8ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xc28097ff).into()),
                        terminal_ansi_cyan: Some(rgba(0x72b7c0ff).into()),
                        terminal_ansi_white: Some(rgba(0xc5cdd3ff).into()),
                        link_text_hover: Some(rgba(0x5998c0ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xdfc09fff).into()),
                        created: Some(rgba(0xa0d4a8ff).into()),
                        deleted: Some(rgba(0xb96346ff).into()),
                        error: Some(rgba(0xb96346ff).into()),
                        hidden: Some(rgba(0x96a8b6ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b788bff).into()),
                        modified: Some(rgba(0xdfc09fff).into()),
                        warning: Some(rgba(0xffa857ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7068b1ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5e7887ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5e7887ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xa88c00ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc37455ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x3f848dff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc37455ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72b7c0ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72b7c0ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72b7c0ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7068b1ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc88da2ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x3f848dff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72c09fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5cdd3ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72c09fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72c09fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72c09fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc37455ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72c09fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x72b7c0ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xbe856fff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd3b692ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc37455ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x0e6671ff).into()),
                        border_variant: Some(rgba(0x0e6671ff).into()),
                        border_focused: Some(rgba(0x073940ff).into()),
                        border_selected: Some(rgba(0x0e6671ff).into()),
                        border_transparent: Some(rgba(0x0e6671ff).into()),
                        border_disabled: Some(rgba(0x0e6671ff).into()),
                        elevated_surface_background: Some(rgba(0x073940ff).into()),
                        surface_background: Some(rgba(0x03191bff).into()),
                        background: Some(rgba(0x052529ff).into()),
                        element_background: Some(rgba(0x099099ff).into()),
                        element_hover: Some(rgba(0x0b515bff).into()),
                        element_selected: Some(rgba(0x0e6671ff).into()),
                        drop_target_background: Some(rgba(0x00404dff).into()),
                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
                        text: Some(rgba(0xb2cacdff).into()),
                        text_muted: Some(rgba(0x87a7abff).into()),
                        status_bar_background: Some(rgba(0x041d20ff).into()),
                        title_bar_background: Some(rgba(0x041d20ff).into()),
                        toolbar_background: Some(rgba(0x052529ff).into()),
                        tab_bar_background: Some(rgba(0x062e32ff).into()),
                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
                        tab_active_background: Some(rgba(0x052529ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0x052529ff).into()),
                        scrollbar_track_border: Some(rgba(0x052529ff).into()),
                        editor_foreground: Some(rgba(0xb2cacdff).into()),
                        editor_background: Some(rgba(0x052529ff).into()),
                        editor_gutter_background: Some(rgba(0x052529ff).into()),
                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        terminal_background: Some(rgba(0x03191bff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
                        link_text_hover: Some(rgba(0x40d4e7ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe4b781ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0x87a7abff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b858bff).into()),
                        modified: Some(rgba(0xe0c184ff).into()),
                        warning: Some(rgba(0xffa487ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Obscuro".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x0e6671ff).into()),
                        border_variant: Some(rgba(0x0e6671ff).into()),
                        border_focused: Some(rgba(0x062e32ff).into()),
                        border_selected: Some(rgba(0x0e6671ff).into()),
                        border_transparent: Some(rgba(0x0e6671ff).into()),
                        border_disabled: Some(rgba(0x0e6671ff).into()),
                        elevated_surface_background: Some(rgba(0x031417ff).into()),
                        surface_background: Some(rgba(0x020c0eff).into()),
                        background: Some(rgba(0x031417ff).into()),
                        element_background: Some(rgba(0x099099ff).into()),
                        element_hover: Some(rgba(0x0b515bff).into()),
                        element_selected: Some(rgba(0x0e6671ff).into()),
                        drop_target_background: Some(rgba(0x00404dff).into()),
                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
                        text: Some(rgba(0xb2cacdff).into()),
                        text_muted: Some(rgba(0x87a7abff).into()),
                        status_bar_background: Some(rgba(0x031417ff).into()),
                        title_bar_background: Some(rgba(0x031417ff).into()),
                        toolbar_background: Some(rgba(0x031417ff).into()),
                        tab_bar_background: Some(rgba(0x062e32ff).into()),
                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
                        tab_active_background: Some(rgba(0x031417ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0x031417ff).into()),
                        scrollbar_track_border: Some(rgba(0x031417ff).into()),
                        editor_foreground: Some(rgba(0xb2cacdff).into()),
                        editor_background: Some(rgba(0x031417ff).into()),
                        editor_gutter_background: Some(rgba(0x031417ff).into()),
                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        terminal_background: Some(rgba(0x020c0eff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
                        link_text_hover: Some(rgba(0x40d4e7ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe4b781ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0x87a7abff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x647e82ff).into()),
                        modified: Some(rgba(0xe4b781ff).into()),
                        warning: Some(rgba(0xffa487ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Sereno".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x0e6671ff).into()),
                        border_variant: Some(rgba(0x0e6671ff).into()),
                        border_focused: Some(rgba(0x062e32ff).into()),
                        border_selected: Some(rgba(0x0e6671ff).into()),
                        border_transparent: Some(rgba(0x0e6671ff).into()),
                        border_disabled: Some(rgba(0x0e6671ff).into()),
                        elevated_surface_background: Some(rgba(0x031417ff).into()),
                        surface_background: Some(rgba(0x020c0eff).into()),
                        background: Some(rgba(0x031417ff).into()),
                        element_background: Some(rgba(0x099099ff).into()),
                        element_hover: Some(rgba(0x0b515bff).into()),
                        element_selected: Some(rgba(0x0e6671ff).into()),
                        drop_target_background: Some(rgba(0x00404dff).into()),
                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
                        text: Some(rgba(0xb2cacdff).into()),
                        text_muted: Some(rgba(0x87a7abff).into()),
                        status_bar_background: Some(rgba(0x031417ff).into()),
                        title_bar_background: Some(rgba(0x031417ff).into()),
                        toolbar_background: Some(rgba(0x031417ff).into()),
                        tab_bar_background: Some(rgba(0x062e32ff).into()),
                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
                        tab_active_background: Some(rgba(0x031417ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
                        scrollbar_track_background: Some(rgba(0x031417ff).into()),
                        scrollbar_track_border: Some(rgba(0x031417ff).into()),
                        editor_foreground: Some(rgba(0xb2cacdff).into()),
                        editor_background: Some(rgba(0x031417ff).into()),
                        editor_gutter_background: Some(rgba(0x031417ff).into()),
                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
                        terminal_background: Some(rgba(0x020c0eff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
                        link_text_hover: Some(rgba(0x40d4e7ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xe4b781ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0x87a7abff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x647e82ff).into()),
                        modified: Some(rgba(0xe4b781ff).into()),
                        warning: Some(rgba(0xffa487ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x5b858bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xb2cacdff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Uva".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x6e67a8ff).into()),
                        border_variant: Some(rgba(0x6e67a8ff).into()),
                        border_focused: Some(rgba(0x2f2c49ff).into()),
                        border_selected: Some(rgba(0x6e67a8ff).into()),
                        border_transparent: Some(rgba(0x6e67a8ff).into()),
                        border_disabled: Some(rgba(0x6e67a8ff).into()),
                        elevated_surface_background: Some(rgba(0x2f2c49ff).into()),
                        surface_background: Some(rgba(0x1f1d30ff).into()),
                        background: Some(rgba(0x292640ff).into()),
                        element_background: Some(rgba(0x007f99ff).into()),
                        element_hover: Some(rgba(0x383866ff).into()),
                        element_selected: Some(rgba(0x332e5cff).into()),
                        drop_target_background: Some(rgba(0x202040ff).into()),
                        ghost_element_hover: Some(rgba(0x383866ff).into()),
                        ghost_element_selected: Some(rgba(0x332e5cff).into()),
                        text: Some(rgba(0xc5c2d6ff).into()),
                        text_muted: Some(rgba(0xa9a5c0ff).into()),
                        status_bar_background: Some(rgba(0x292640ff).into()),
                        title_bar_background: Some(rgba(0x292640ff).into()),
                        toolbar_background: Some(rgba(0x292640ff).into()),
                        tab_bar_background: Some(rgba(0x2f2c49ff).into()),
                        tab_inactive_background: Some(rgba(0x2f2c49ff).into()),
                        tab_active_background: Some(rgba(0x292640ff).into()),
                        scrollbar_thumb_background: Some(rgba(0x7060eb33).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0x7060eb55).into()),
                        scrollbar_thumb_border: Some(rgba(0x7060eb33).into()),
                        scrollbar_track_background: Some(rgba(0x292640ff).into()),
                        scrollbar_track_border: Some(rgba(0x292640ff).into()),
                        editor_foreground: Some(rgba(0xc5c2d6ff).into()),
                        editor_background: Some(rgba(0x292640ff).into()),
                        editor_gutter_background: Some(rgba(0x292640ff).into()),
                        editor_line_number: Some(rgba(0x5c5973ff).into()),
                        editor_active_line_number: Some(rgba(0xc5c2d6ff).into()),
                        editor_wrap_guide: Some(rgba(0x6e67a8ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x6e67a8ff).into()),
                        terminal_background: Some(rgba(0x1f1d30ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x504e65ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xc5c2d6ff).into()),
                        terminal_ansi_black: Some(rgba(0x302f3dff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xb6b3ccff).into()),
                        link_text_hover: Some(rgba(0x998ef1ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xffc180ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0xa9a5c0ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b788bff).into()),
                        modified: Some(rgba(0xffc180ff).into()),
                        warning: Some(rgba(0xffa857ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x716c93ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x716c93ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xc5c2d6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
            UserTheme {
                name: "Noctis Viola".into(),
                appearance: Appearance::Dark,
                styles: UserThemeStylesRefinement {
                    colors: ThemeColorsRefinement {
                        border: Some(rgba(0x8767a8ff).into()),
                        border_variant: Some(rgba(0x8767a8ff).into()),
                        border_focused: Some(rgba(0x3d2e4dff).into()),
                        border_selected: Some(rgba(0x8767a8ff).into()),
                        border_transparent: Some(rgba(0x8767a8ff).into()),
                        border_disabled: Some(rgba(0x8767a8ff).into()),
                        elevated_surface_background: Some(rgba(0x3d2e4dff).into()),
                        surface_background: Some(rgba(0x291d35ff).into()),
                        background: Some(rgba(0x30243dff).into()),
                        element_background: Some(rgba(0x007f99ff).into()),
                        element_hover: Some(rgba(0x6a448dff).into()),
                        element_selected: Some(rgba(0x472e60ff).into()),
                        drop_target_background: Some(rgba(0x302040ff).into()),
                        ghost_element_hover: Some(rgba(0x6a448dff).into()),
                        ghost_element_selected: Some(rgba(0x472e60ff).into()),
                        text: Some(rgba(0xccbfd9ff).into()),
                        text_muted: Some(rgba(0xb3a5c0ff).into()),
                        status_bar_background: Some(rgba(0x30243dff).into()),
                        title_bar_background: Some(rgba(0x30243dff).into()),
                        toolbar_background: Some(rgba(0x30243dff).into()),
                        tab_bar_background: Some(rgba(0x3d2e4dff).into()),
                        tab_inactive_background: Some(rgba(0x3d2e4dff).into()),
                        tab_active_background: Some(rgba(0x30243dff).into()),
                        scrollbar_thumb_background: Some(rgba(0xa660eb33).into()),
                        scrollbar_thumb_hover_background: Some(rgba(0xa660eb55).into()),
                        scrollbar_thumb_border: Some(rgba(0xa660eb33).into()),
                        scrollbar_track_background: Some(rgba(0x30243dff).into()),
                        scrollbar_track_border: Some(rgba(0x30243dff).into()),
                        editor_foreground: Some(rgba(0xccbfd9ff).into()),
                        editor_background: Some(rgba(0x30243dff).into()),
                        editor_gutter_background: Some(rgba(0x30243dff).into()),
                        editor_line_number: Some(rgba(0x665973ff).into()),
                        editor_active_line_number: Some(rgba(0xccbfd9ff).into()),
                        editor_wrap_guide: Some(rgba(0x8767a8ff).into()),
                        editor_active_wrap_guide: Some(rgba(0x8767a8ff).into()),
                        terminal_background: Some(rgba(0x291d35ff).into()),
                        terminal_ansi_bright_black: Some(rgba(0x594e65ff).into()),
                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
                        terminal_ansi_bright_white: Some(rgba(0xccbfd9ff).into()),
                        terminal_ansi_black: Some(rgba(0x362f3dff).into()),
                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
                        terminal_ansi_white: Some(rgba(0xbfafcfff).into()),
                        link_text_hover: Some(rgba(0xbf8ef1ff).into()),
                        ..Default::default()
                    },
                    status: StatusColorsRefinement {
                        conflict: Some(rgba(0xffc180ff).into()),
                        created: Some(rgba(0x8ce99aff).into()),
                        deleted: Some(rgba(0xe34e1cff).into()),
                        error: Some(rgba(0xe34e1cff).into()),
                        hidden: Some(rgba(0xb3a5c0ff).into()),
                        hint: Some(rgba(0x969696ff).into()),
                        ignored: Some(rgba(0x5b788bff).into()),
                        modified: Some(rgba(0xffc180ff).into()),
                        warning: Some(rgba(0xffa857ff).into()),
                        ..Default::default()
                    },
                    syntax: Some(UserSyntaxTheme {
                        highlights: vec![
                            (
                                "boolean".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7f659aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "comment.doc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7f659aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constant".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd5971aff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "constructor".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "function".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "keyword".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "label".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_text".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "link_uri".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "number".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x7060ebff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "preproc".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xdf769bff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "property".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x16a3b6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.bracket".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.delimiter".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.list_marker".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "punctuation.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.escape".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xccbfd9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.regex".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "string.special.symbol".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "tag".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "text.literal".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49e9a6ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "title".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0x49d6e9ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "type".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xd67e5cff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe4b781ff).into()),
                                    ..Default::default()
                                },
                            ),
                            (
                                "variable.special".into(),
                                UserHighlightStyle {
                                    color: Some(rgba(0xe66533ff).into()),
                                    ..Default::default()
                                },
                            ),
                        ],
                    }),
                },
            },
        ],
    }
}
