rose_pine.rs

   1// This file was generated by the `theme_importer`.
   2// Be careful when modifying it by hand.
   3
   4use gpui::rgba;
   5
   6#[allow(unused)]
   7use crate::{
   8    Appearance, PlayerColor, PlayerColors, StatusColorsRefinement, ThemeColorsRefinement,
   9    UserFontStyle, UserFontWeight, UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily,
  10    UserThemeStylesRefinement,
  11};
  12
  13pub fn rose_pine() -> UserThemeFamily {
  14    UserThemeFamily {
  15        name: "Rosé Pine".into(),
  16        author: "Zed Industries".into(),
  17        themes: vec![
  18            UserTheme {
  19                name: "Rosé Pine".into(),
  20                appearance: Appearance::Dark,
  21                styles: UserThemeStylesRefinement {
  22                    colors: ThemeColorsRefinement {
  23                        border: Some(rgba(0x423f55ff).into()),
  24                        border_variant: Some(rgba(0x232132ff).into()),
  25                        border_focused: Some(rgba(0x435255ff).into()),
  26                        border_selected: Some(rgba(0x435255ff).into()),
  27                        border_transparent: Some(rgba(0x00000000).into()),
  28                        border_disabled: Some(rgba(0x353347ff).into()),
  29                        elevated_surface_background: Some(rgba(0x1d1b2aff).into()),
  30                        surface_background: Some(rgba(0x1d1b2aff).into()),
  31                        background: Some(rgba(0x292739ff).into()),
  32                        panel_background: Some(rgba(0x1d1b2aff).into()),
  33                        element_background: Some(rgba(0x1d1b2aff).into()),
  34                        element_hover: Some(rgba(0x232132ff).into()),
  35                        element_active: Some(rgba(0x403e53ff).into()),
  36                        element_selected: Some(rgba(0x403e53ff).into()),
  37                        element_disabled: Some(rgba(0x1d1b2aff).into()),
  38                        drop_target_background: Some(rgba(0x75718e80).into()),
  39                        ghost_element_background: Some(rgba(0x00000000).into()),
  40                        ghost_element_hover: Some(rgba(0x232132ff).into()),
  41                        ghost_element_active: Some(rgba(0x403e53ff).into()),
  42                        ghost_element_selected: Some(rgba(0x403e53ff).into()),
  43                        ghost_element_disabled: Some(rgba(0x1d1b2aff).into()),
  44                        text: Some(rgba(0xe0def4ff).into()),
  45                        text_muted: Some(rgba(0x75718eff).into()),
  46                        text_placeholder: Some(rgba(0x2f2b43ff).into()),
  47                        text_disabled: Some(rgba(0x2f2b43ff).into()),
  48                        text_accent: Some(rgba(0x9cced7ff).into()),
  49                        icon: Some(rgba(0xe0def4ff).into()),
  50                        icon_muted: Some(rgba(0x75718eff).into()),
  51                        icon_disabled: Some(rgba(0x2f2b43ff).into()),
  52                        icon_placeholder: Some(rgba(0x75718eff).into()),
  53                        icon_accent: Some(rgba(0x9cced7ff).into()),
  54                        status_bar_background: Some(rgba(0x292739ff).into()),
  55                        title_bar_background: Some(rgba(0x292739ff).into()),
  56                        toolbar_background: Some(rgba(0x191724ff).into()),
  57                        tab_bar_background: Some(rgba(0x1d1b2aff).into()),
  58                        tab_inactive_background: Some(rgba(0x1d1b2aff).into()),
  59                        tab_active_background: Some(rgba(0x191724ff).into()),
  60                        scrollbar_thumb_background: Some(rgba(0xe0def44c).into()),
  61                        scrollbar_thumb_hover_background: Some(rgba(0x232132ff).into()),
  62                        scrollbar_thumb_border: Some(rgba(0x232132ff).into()),
  63                        scrollbar_track_background: Some(rgba(0x00000000).into()),
  64                        scrollbar_track_border: Some(rgba(0x1c1a29ff).into()),
  65                        editor_foreground: Some(rgba(0xe0def4ff).into()),
  66                        editor_background: Some(rgba(0x191724ff).into()),
  67                        editor_gutter_background: Some(rgba(0x191724ff).into()),
  68                        editor_subheader_background: Some(rgba(0x1d1b2aff).into()),
  69                        editor_active_line_background: Some(rgba(0x1d1b2abf).into()),
  70                        editor_highlighted_line_background: Some(rgba(0x1d1b2aff).into()),
  71                        editor_line_number: Some(rgba(0xe0def459).into()),
  72                        editor_active_line_number: Some(rgba(0xe0def4ff).into()),
  73                        editor_invisible: Some(rgba(0x28253cff).into()),
  74                        editor_wrap_guide: Some(rgba(0xe0def40d).into()),
  75                        editor_active_wrap_guide: Some(rgba(0xe0def41a).into()),
  76                        editor_document_highlight_read_background: Some(rgba(0x9cced71a).into()),
  77                        editor_document_highlight_write_background: Some(rgba(0x28253c66).into()),
  78                        terminal_background: Some(rgba(0x191724ff).into()),
  79                        terminal_foreground: Some(rgba(0xe0def4ff).into()),
  80                        terminal_bright_foreground: Some(rgba(0xe0def4ff).into()),
  81                        terminal_dim_foreground: Some(rgba(0x191724ff).into()),
  82                        terminal_ansi_black: Some(rgba(0x191724ff).into()),
  83                        terminal_ansi_bright_black: Some(rgba(0x403d55ff).into()),
  84                        terminal_ansi_dim_black: Some(rgba(0xe0def4ff).into()),
  85                        terminal_ansi_red: Some(rgba(0xea6f92ff).into()),
  86                        terminal_ansi_bright_red: Some(rgba(0x7e3647ff).into()),
  87                        terminal_ansi_dim_red: Some(rgba(0xfab9c7ff).into()),
  88                        terminal_ansi_green: Some(rgba(0x5dc2a3ff).into()),
  89                        terminal_ansi_bright_green: Some(rgba(0x31614fff).into()),
  90                        terminal_ansi_dim_green: Some(rgba(0xb3e1d1ff).into()),
  91                        terminal_ansi_yellow: Some(rgba(0xf5c177ff).into()),
  92                        terminal_ansi_bright_yellow: Some(rgba(0x8a653bff).into()),
  93                        terminal_ansi_dim_yellow: Some(rgba(0xfedfbbff).into()),
  94                        terminal_ansi_blue: Some(rgba(0x9cced7ff).into()),
  95                        terminal_ansi_bright_blue: Some(rgba(0x566c70ff).into()),
  96                        terminal_ansi_dim_blue: Some(rgba(0xcfe7ebff).into()),
  97                        terminal_ansi_magenta: Some(rgba(0x9d7691ff).into()),
  98                        terminal_ansi_bright_magenta: Some(rgba(0x4c3b47ff).into()),
  99                        terminal_ansi_dim_magenta: Some(rgba(0xceb9c7ff).into()),
 100                        terminal_ansi_cyan: Some(rgba(0x32748fff).into()),
 101                        terminal_ansi_bright_cyan: Some(rgba(0x203a46ff).into()),
 102                        terminal_ansi_dim_cyan: Some(rgba(0x9cb7c6ff).into()),
 103                        terminal_ansi_white: Some(rgba(0xe0def4ff).into()),
 104                        terminal_ansi_bright_white: Some(rgba(0xe0def4ff).into()),
 105                        terminal_ansi_dim_white: Some(rgba(0x514e68ff).into()),
 106                        link_text_hover: Some(rgba(0x9cced7ff).into()),
 107                        ..Default::default()
 108                    },
 109                    status: StatusColorsRefinement {
 110                        conflict: Some(rgba(0xf5c177ff).into()),
 111                        conflict_background: Some(rgba(0x50341aff).into()),
 112                        conflict_border: Some(rgba(0x6d4d2bff).into()),
 113                        created: Some(rgba(0x5dc2a3ff).into()),
 114                        created_background: Some(rgba(0x182e23ff).into()),
 115                        created_border: Some(rgba(0x254839ff).into()),
 116                        deleted: Some(rgba(0xea6f92ff).into()),
 117                        deleted_background: Some(rgba(0x431820ff).into()),
 118                        deleted_border: Some(rgba(0x612834ff).into()),
 119                        error: Some(rgba(0xea6f92ff).into()),
 120                        error_background: Some(rgba(0x431820ff).into()),
 121                        error_border: Some(rgba(0x612834ff).into()),
 122                        hidden: Some(rgba(0x2f2b43ff).into()),
 123                        hidden_background: Some(rgba(0x292739ff).into()),
 124                        hidden_border: Some(rgba(0x353347ff).into()),
 125                        hint: Some(rgba(0x5e768cff).into()),
 126                        hint_background: Some(rgba(0x2f3739ff).into()),
 127                        hint_border: Some(rgba(0x435255ff).into()),
 128                        ignored: Some(rgba(0x75718eff).into()),
 129                        ignored_background: Some(rgba(0x292739ff).into()),
 130                        ignored_border: Some(rgba(0x423f55ff).into()),
 131                        info: Some(rgba(0x9cced7ff).into()),
 132                        info_background: Some(rgba(0x2f3739ff).into()),
 133                        info_border: Some(rgba(0x435255ff).into()),
 134                        modified: Some(rgba(0xf5c177ff).into()),
 135                        modified_background: Some(rgba(0x50341aff).into()),
 136                        modified_border: Some(rgba(0x6d4d2bff).into()),
 137                        predictive: Some(rgba(0x556b81ff).into()),
 138                        predictive_background: Some(rgba(0x182e23ff).into()),
 139                        predictive_border: Some(rgba(0x254839ff).into()),
 140                        renamed: Some(rgba(0x9cced7ff).into()),
 141                        renamed_background: Some(rgba(0x2f3739ff).into()),
 142                        renamed_border: Some(rgba(0x435255ff).into()),
 143                        success: Some(rgba(0x5dc2a3ff).into()),
 144                        success_background: Some(rgba(0x182e23ff).into()),
 145                        success_border: Some(rgba(0x254839ff).into()),
 146                        unreachable: Some(rgba(0x75718eff).into()),
 147                        unreachable_background: Some(rgba(0x292739ff).into()),
 148                        unreachable_border: Some(rgba(0x423f55ff).into()),
 149                        warning: Some(rgba(0xf5c177ff).into()),
 150                        warning_background: Some(rgba(0x50341aff).into()),
 151                        warning_border: Some(rgba(0x6d4d2bff).into()),
 152                        ..Default::default()
 153                    },
 154                    player: Some(PlayerColors(vec![
 155                        PlayerColor {
 156                            cursor: rgba(0x9cced7ff).into(),
 157                            background: rgba(0x9cced7ff).into(),
 158                            selection: rgba(0x9cced73d).into(),
 159                        },
 160                        PlayerColor {
 161                            cursor: rgba(0x9d7691ff).into(),
 162                            background: rgba(0x9d7691ff).into(),
 163                            selection: rgba(0x9d76913d).into(),
 164                        },
 165                        PlayerColor {
 166                            cursor: rgba(0xc4a7e6ff).into(),
 167                            background: rgba(0xc4a7e6ff).into(),
 168                            selection: rgba(0xc4a7e63d).into(),
 169                        },
 170                        PlayerColor {
 171                            cursor: rgba(0xc4a7e6ff).into(),
 172                            background: rgba(0xc4a7e6ff).into(),
 173                            selection: rgba(0xc4a7e63d).into(),
 174                        },
 175                        PlayerColor {
 176                            cursor: rgba(0x32748fff).into(),
 177                            background: rgba(0x32748fff).into(),
 178                            selection: rgba(0x32748f3d).into(),
 179                        },
 180                        PlayerColor {
 181                            cursor: rgba(0xea6f92ff).into(),
 182                            background: rgba(0xea6f92ff).into(),
 183                            selection: rgba(0xea6f923d).into(),
 184                        },
 185                        PlayerColor {
 186                            cursor: rgba(0xf5c177ff).into(),
 187                            background: rgba(0xf5c177ff).into(),
 188                            selection: rgba(0xf5c1773d).into(),
 189                        },
 190                        PlayerColor {
 191                            cursor: rgba(0x5dc2a3ff).into(),
 192                            background: rgba(0x5dc2a3ff).into(),
 193                            selection: rgba(0x5dc2a33d).into(),
 194                        },
 195                    ])),
 196                    syntax: Some(UserSyntaxTheme {
 197                        highlights: vec![
 198                            (
 199                                "attribute".into(),
 200                                UserHighlightStyle {
 201                                    color: Some(rgba(0x9cced7ff).into()),
 202                                    ..Default::default()
 203                                },
 204                            ),
 205                            (
 206                                "boolean".into(),
 207                                UserHighlightStyle {
 208                                    color: Some(rgba(0xebbcbaff).into()),
 209                                    ..Default::default()
 210                                },
 211                            ),
 212                            (
 213                                "comment".into(),
 214                                UserHighlightStyle {
 215                                    color: Some(rgba(0x6e6a86ff).into()),
 216                                    ..Default::default()
 217                                },
 218                            ),
 219                            (
 220                                "comment.doc".into(),
 221                                UserHighlightStyle {
 222                                    color: Some(rgba(0x777390ff).into()),
 223                                    ..Default::default()
 224                                },
 225                            ),
 226                            (
 227                                "constant".into(),
 228                                UserHighlightStyle {
 229                                    color: Some(rgba(0x5dc2a3ff).into()),
 230                                    ..Default::default()
 231                                },
 232                            ),
 233                            (
 234                                "constructor".into(),
 235                                UserHighlightStyle {
 236                                    color: Some(rgba(0x9cced7ff).into()),
 237                                    ..Default::default()
 238                                },
 239                            ),
 240                            (
 241                                "embedded".into(),
 242                                UserHighlightStyle {
 243                                    color: Some(rgba(0xe0def4ff).into()),
 244                                    ..Default::default()
 245                                },
 246                            ),
 247                            (
 248                                "emphasis".into(),
 249                                UserHighlightStyle {
 250                                    color: Some(rgba(0x9cced7ff).into()),
 251                                    ..Default::default()
 252                                },
 253                            ),
 254                            (
 255                                "emphasis.strong".into(),
 256                                UserHighlightStyle {
 257                                    color: Some(rgba(0x9cced7ff).into()),
 258                                    font_weight: Some(UserFontWeight(700.0)),
 259                                    ..Default::default()
 260                                },
 261                            ),
 262                            (
 263                                "enum".into(),
 264                                UserHighlightStyle {
 265                                    color: Some(rgba(0xc4a7e6ff).into()),
 266                                    ..Default::default()
 267                                },
 268                            ),
 269                            (
 270                                "function".into(),
 271                                UserHighlightStyle {
 272                                    color: Some(rgba(0xebbcbaff).into()),
 273                                    ..Default::default()
 274                                },
 275                            ),
 276                            (
 277                                "function.method".into(),
 278                                UserHighlightStyle {
 279                                    color: Some(rgba(0xebbcbaff).into()),
 280                                    ..Default::default()
 281                                },
 282                            ),
 283                            (
 284                                "hint".into(),
 285                                UserHighlightStyle {
 286                                    color: Some(rgba(0x5e768cff).into()),
 287                                    font_weight: Some(UserFontWeight(700.0)),
 288                                    ..Default::default()
 289                                },
 290                            ),
 291                            (
 292                                "keyword".into(),
 293                                UserHighlightStyle {
 294                                    color: Some(rgba(0x31748fff).into()),
 295                                    ..Default::default()
 296                                },
 297                            ),
 298                            (
 299                                "label".into(),
 300                                UserHighlightStyle {
 301                                    color: Some(rgba(0x9cced7ff).into()),
 302                                    ..Default::default()
 303                                },
 304                            ),
 305                            (
 306                                "link_text".into(),
 307                                UserHighlightStyle {
 308                                    color: Some(rgba(0x9ccfd8ff).into()),
 309                                    font_style: Some(UserFontStyle::Normal),
 310                                    ..Default::default()
 311                                },
 312                            ),
 313                            (
 314                                "link_uri".into(),
 315                                UserHighlightStyle {
 316                                    color: Some(rgba(0xebbcbaff).into()),
 317                                    ..Default::default()
 318                                },
 319                            ),
 320                            (
 321                                "number".into(),
 322                                UserHighlightStyle {
 323                                    color: Some(rgba(0x5dc2a3ff).into()),
 324                                    ..Default::default()
 325                                },
 326                            ),
 327                            (
 328                                "operator".into(),
 329                                UserHighlightStyle {
 330                                    color: Some(rgba(0x31748fff).into()),
 331                                    ..Default::default()
 332                                },
 333                            ),
 334                            (
 335                                "predictive".into(),
 336                                UserHighlightStyle {
 337                                    color: Some(rgba(0x556b81ff).into()),
 338                                    font_style: Some(UserFontStyle::Italic),
 339                                    ..Default::default()
 340                                },
 341                            ),
 342                            (
 343                                "preproc".into(),
 344                                UserHighlightStyle {
 345                                    color: Some(rgba(0xe0def4ff).into()),
 346                                    ..Default::default()
 347                                },
 348                            ),
 349                            (
 350                                "primary".into(),
 351                                UserHighlightStyle {
 352                                    color: Some(rgba(0xe0def4ff).into()),
 353                                    ..Default::default()
 354                                },
 355                            ),
 356                            (
 357                                "property".into(),
 358                                UserHighlightStyle {
 359                                    color: Some(rgba(0x9cced7ff).into()),
 360                                    ..Default::default()
 361                                },
 362                            ),
 363                            (
 364                                "punctuation".into(),
 365                                UserHighlightStyle {
 366                                    color: Some(rgba(0x908caaff).into()),
 367                                    ..Default::default()
 368                                },
 369                            ),
 370                            (
 371                                "punctuation.bracket".into(),
 372                                UserHighlightStyle {
 373                                    color: Some(rgba(0x9d99b6ff).into()),
 374                                    ..Default::default()
 375                                },
 376                            ),
 377                            (
 378                                "punctuation.delimiter".into(),
 379                                UserHighlightStyle {
 380                                    color: Some(rgba(0x9d99b6ff).into()),
 381                                    ..Default::default()
 382                                },
 383                            ),
 384                            (
 385                                "punctuation.list_marker".into(),
 386                                UserHighlightStyle {
 387                                    color: Some(rgba(0x9d99b6ff).into()),
 388                                    ..Default::default()
 389                                },
 390                            ),
 391                            (
 392                                "punctuation.special".into(),
 393                                UserHighlightStyle {
 394                                    color: Some(rgba(0x9d99b6ff).into()),
 395                                    ..Default::default()
 396                                },
 397                            ),
 398                            (
 399                                "string".into(),
 400                                UserHighlightStyle {
 401                                    color: Some(rgba(0xf6c177ff).into()),
 402                                    ..Default::default()
 403                                },
 404                            ),
 405                            (
 406                                "string.escape".into(),
 407                                UserHighlightStyle {
 408                                    color: Some(rgba(0x777390ff).into()),
 409                                    ..Default::default()
 410                                },
 411                            ),
 412                            (
 413                                "string.regex".into(),
 414                                UserHighlightStyle {
 415                                    color: Some(rgba(0xc4a7e6ff).into()),
 416                                    ..Default::default()
 417                                },
 418                            ),
 419                            (
 420                                "string.special".into(),
 421                                UserHighlightStyle {
 422                                    color: Some(rgba(0xc4a7e6ff).into()),
 423                                    ..Default::default()
 424                                },
 425                            ),
 426                            (
 427                                "string.special.symbol".into(),
 428                                UserHighlightStyle {
 429                                    color: Some(rgba(0xc4a7e6ff).into()),
 430                                    ..Default::default()
 431                                },
 432                            ),
 433                            (
 434                                "tag".into(),
 435                                UserHighlightStyle {
 436                                    color: Some(rgba(0x9ccfd8ff).into()),
 437                                    ..Default::default()
 438                                },
 439                            ),
 440                            (
 441                                "text.literal".into(),
 442                                UserHighlightStyle {
 443                                    color: Some(rgba(0xc4a7e6ff).into()),
 444                                    ..Default::default()
 445                                },
 446                            ),
 447                            (
 448                                "title".into(),
 449                                UserHighlightStyle {
 450                                    color: Some(rgba(0xf6c177ff).into()),
 451                                    font_weight: Some(UserFontWeight(700.0)),
 452                                    ..Default::default()
 453                                },
 454                            ),
 455                            (
 456                                "type".into(),
 457                                UserHighlightStyle {
 458                                    color: Some(rgba(0x9ccfd8ff).into()),
 459                                    ..Default::default()
 460                                },
 461                            ),
 462                            (
 463                                "type.builtin".into(),
 464                                UserHighlightStyle {
 465                                    color: Some(rgba(0x9ccfd8ff).into()),
 466                                    ..Default::default()
 467                                },
 468                            ),
 469                            (
 470                                "variable".into(),
 471                                UserHighlightStyle {
 472                                    color: Some(rgba(0xe0def4ff).into()),
 473                                    ..Default::default()
 474                                },
 475                            ),
 476                            (
 477                                "variant".into(),
 478                                UserHighlightStyle {
 479                                    color: Some(rgba(0x9cced7ff).into()),
 480                                    ..Default::default()
 481                                },
 482                            ),
 483                        ],
 484                    }),
 485                },
 486            },
 487            UserTheme {
 488                name: "Rosé Pine Dawn".into(),
 489                appearance: Appearance::Light,
 490                styles: UserThemeStylesRefinement {
 491                    colors: ThemeColorsRefinement {
 492                        border: Some(rgba(0xdcd6d5ff).into()),
 493                        border_variant: Some(rgba(0xe5e0dfff).into()),
 494                        border_focused: Some(rgba(0xc3d7dbff).into()),
 495                        border_selected: Some(rgba(0xc3d7dbff).into()),
 496                        border_transparent: Some(rgba(0x00000000).into()),
 497                        border_disabled: Some(rgba(0xd0cccfff).into()),
 498                        elevated_surface_background: Some(rgba(0xfef9f2ff).into()),
 499                        surface_background: Some(rgba(0xfef9f2ff).into()),
 500                        background: Some(rgba(0xdcd8d8ff).into()),
 501                        panel_background: Some(rgba(0xfef9f2ff).into()),
 502                        element_background: Some(rgba(0xfef9f2ff).into()),
 503                        element_hover: Some(rgba(0xe5e0dfff).into()),
 504                        element_active: Some(rgba(0xdbd5d4ff).into()),
 505                        element_selected: Some(rgba(0xdbd5d4ff).into()),
 506                        element_disabled: Some(rgba(0xfef9f2ff).into()),
 507                        drop_target_background: Some(rgba(0x706c8c80).into()),
 508                        ghost_element_background: Some(rgba(0x00000000).into()),
 509                        ghost_element_hover: Some(rgba(0xe5e0dfff).into()),
 510                        ghost_element_active: Some(rgba(0xdbd5d4ff).into()),
 511                        ghost_element_selected: Some(rgba(0xdbd5d4ff).into()),
 512                        ghost_element_disabled: Some(rgba(0xfef9f2ff).into()),
 513                        text: Some(rgba(0x575279ff).into()),
 514                        text_muted: Some(rgba(0x706c8cff).into()),
 515                        text_placeholder: Some(rgba(0x938fa3ff).into()),
 516                        text_disabled: Some(rgba(0x938fa3ff).into()),
 517                        text_accent: Some(rgba(0x57949fff).into()),
 518                        icon: Some(rgba(0x575279ff).into()),
 519                        icon_muted: Some(rgba(0x706c8cff).into()),
 520                        icon_disabled: Some(rgba(0x938fa3ff).into()),
 521                        icon_placeholder: Some(rgba(0x706c8cff).into()),
 522                        icon_accent: Some(rgba(0x57949fff).into()),
 523                        status_bar_background: Some(rgba(0xdcd8d8ff).into()),
 524                        title_bar_background: Some(rgba(0xdcd8d8ff).into()),
 525                        toolbar_background: Some(rgba(0xfaf4edff).into()),
 526                        tab_bar_background: Some(rgba(0xfef9f2ff).into()),
 527                        tab_inactive_background: Some(rgba(0xfef9f2ff).into()),
 528                        tab_active_background: Some(rgba(0xfaf4edff).into()),
 529                        scrollbar_thumb_background: Some(rgba(0x5752794c).into()),
 530                        scrollbar_thumb_hover_background: Some(rgba(0xe5e0dfff).into()),
 531                        scrollbar_thumb_border: Some(rgba(0xe5e0dfff).into()),
 532                        scrollbar_track_background: Some(rgba(0x00000000).into()),
 533                        scrollbar_track_border: Some(rgba(0xfdf8f1ff).into()),
 534                        editor_foreground: Some(rgba(0x575279ff).into()),
 535                        editor_background: Some(rgba(0xfaf4edff).into()),
 536                        editor_gutter_background: Some(rgba(0xfaf4edff).into()),
 537                        editor_subheader_background: Some(rgba(0xfef9f2ff).into()),
 538                        editor_active_line_background: Some(rgba(0xfef9f2bf).into()),
 539                        editor_highlighted_line_background: Some(rgba(0xfef9f2ff).into()),
 540                        editor_line_number: Some(rgba(0x57527959).into()),
 541                        editor_active_line_number: Some(rgba(0x575279ff).into()),
 542                        editor_invisible: Some(rgba(0x9691a4ff).into()),
 543                        editor_wrap_guide: Some(rgba(0x5752790d).into()),
 544                        editor_active_wrap_guide: Some(rgba(0x5752791a).into()),
 545                        editor_document_highlight_read_background: Some(rgba(0x57949f1a).into()),
 546                        editor_document_highlight_write_background: Some(rgba(0x9691a466).into()),
 547                        terminal_background: Some(rgba(0xfaf4edff).into()),
 548                        terminal_foreground: Some(rgba(0x575279ff).into()),
 549                        terminal_bright_foreground: Some(rgba(0x575279ff).into()),
 550                        terminal_dim_foreground: Some(rgba(0xfaf4edff).into()),
 551                        terminal_ansi_black: Some(rgba(0xfaf4edff).into()),
 552                        terminal_ansi_bright_black: Some(rgba(0xb8b2baff).into()),
 553                        terminal_ansi_dim_black: Some(rgba(0x575279ff).into()),
 554                        terminal_ansi_red: Some(rgba(0xb4647aff).into()),
 555                        terminal_ansi_bright_red: Some(rgba(0xdcb0bbff).into()),
 556                        terminal_ansi_dim_red: Some(rgba(0x57333dff).into()),
 557                        terminal_ansi_green: Some(rgba(0x3eaa8eff).into()),
 558                        terminal_ansi_bright_green: Some(rgba(0xa5d5c5ff).into()),
 559                        terminal_ansi_dim_green: Some(rgba(0x265245ff).into()),
 560                        terminal_ansi_yellow: Some(rgba(0xe99d35ff).into()),
 561                        terminal_ansi_bright_yellow: Some(rgba(0xfccd9bff).into()),
 562                        terminal_ansi_dim_yellow: Some(rgba(0x854a1fff).into()),
 563                        terminal_ansi_blue: Some(rgba(0x57949fff).into()),
 564                        terminal_ansi_bright_blue: Some(rgba(0xacc9ceff).into()),
 565                        terminal_ansi_dim_blue: Some(rgba(0x2f484dff).into()),
 566                        terminal_ansi_magenta: Some(rgba(0x7c697fff).into()),
 567                        terminal_ansi_bright_magenta: Some(rgba(0xbcb1bdff).into()),
 568                        terminal_ansi_dim_magenta: Some(rgba(0x3e353fff).into()),
 569                        terminal_ansi_cyan: Some(rgba(0x2a6983ff).into()),
 570                        terminal_ansi_bright_cyan: Some(rgba(0x97b1c0ff).into()),
 571                        terminal_ansi_dim_cyan: Some(rgba(0x1c3641ff).into()),
 572                        terminal_ansi_white: Some(rgba(0x575279ff).into()),
 573                        terminal_ansi_bright_white: Some(rgba(0x575279ff).into()),
 574                        terminal_ansi_dim_white: Some(rgba(0x827e98ff).into()),
 575                        link_text_hover: Some(rgba(0x57949fff).into()),
 576                        ..Default::default()
 577                    },
 578                    status: StatusColorsRefinement {
 579                        conflict: Some(rgba(0xe99d35ff).into()),
 580                        conflict_background: Some(rgba(0xffebd6ff).into()),
 581                        conflict_border: Some(rgba(0xffdab7ff).into()),
 582                        created: Some(rgba(0x3eaa8eff).into()),
 583                        created_background: Some(rgba(0xdbeee7ff).into()),
 584                        created_border: Some(rgba(0xbee0d5ff).into()),
 585                        deleted: Some(rgba(0xb4647aff).into()),
 586                        deleted_background: Some(rgba(0xf1dfe3ff).into()),
 587                        deleted_border: Some(rgba(0xe6c6cdff).into()),
 588                        error: Some(rgba(0xb4647aff).into()),
 589                        error_background: Some(rgba(0xf1dfe3ff).into()),
 590                        error_border: Some(rgba(0xe6c6cdff).into()),
 591                        hidden: Some(rgba(0x938fa3ff).into()),
 592                        hidden_background: Some(rgba(0xdcd8d8ff).into()),
 593                        hidden_border: Some(rgba(0xd0cccfff).into()),
 594                        hint: Some(rgba(0x7a92aaff).into()),
 595                        hint_background: Some(rgba(0xdde9ebff).into()),
 596                        hint_border: Some(rgba(0xc3d7dbff).into()),
 597                        ignored: Some(rgba(0x706c8cff).into()),
 598                        ignored_background: Some(rgba(0xdcd8d8ff).into()),
 599                        ignored_border: Some(rgba(0xdcd6d5ff).into()),
 600                        info: Some(rgba(0x57949fff).into()),
 601                        info_background: Some(rgba(0xdde9ebff).into()),
 602                        info_border: Some(rgba(0xc3d7dbff).into()),
 603                        modified: Some(rgba(0xe99d35ff).into()),
 604                        modified_background: Some(rgba(0xffebd6ff).into()),
 605                        modified_border: Some(rgba(0xffdab7ff).into()),
 606                        predictive: Some(rgba(0xa2acbeff).into()),
 607                        predictive_background: Some(rgba(0xdbeee7ff).into()),
 608                        predictive_border: Some(rgba(0xbee0d5ff).into()),
 609                        renamed: Some(rgba(0x57949fff).into()),
 610                        renamed_background: Some(rgba(0xdde9ebff).into()),
 611                        renamed_border: Some(rgba(0xc3d7dbff).into()),
 612                        success: Some(rgba(0x3eaa8eff).into()),
 613                        success_background: Some(rgba(0xdbeee7ff).into()),
 614                        success_border: Some(rgba(0xbee0d5ff).into()),
 615                        unreachable: Some(rgba(0x706c8cff).into()),
 616                        unreachable_background: Some(rgba(0xdcd8d8ff).into()),
 617                        unreachable_border: Some(rgba(0xdcd6d5ff).into()),
 618                        warning: Some(rgba(0xe99d35ff).into()),
 619                        warning_background: Some(rgba(0xffebd6ff).into()),
 620                        warning_border: Some(rgba(0xffdab7ff).into()),
 621                        ..Default::default()
 622                    },
 623                    player: Some(PlayerColors(vec![
 624                        PlayerColor {
 625                            cursor: rgba(0x57949fff).into(),
 626                            background: rgba(0x57949fff).into(),
 627                            selection: rgba(0x57949f3d).into(),
 628                        },
 629                        PlayerColor {
 630                            cursor: rgba(0x7c697fff).into(),
 631                            background: rgba(0x7c697fff).into(),
 632                            selection: rgba(0x7c697f3d).into(),
 633                        },
 634                        PlayerColor {
 635                            cursor: rgba(0x907aa9ff).into(),
 636                            background: rgba(0x907aa9ff).into(),
 637                            selection: rgba(0x907aa93d).into(),
 638                        },
 639                        PlayerColor {
 640                            cursor: rgba(0x907aa9ff).into(),
 641                            background: rgba(0x907aa9ff).into(),
 642                            selection: rgba(0x907aa93d).into(),
 643                        },
 644                        PlayerColor {
 645                            cursor: rgba(0x2a6983ff).into(),
 646                            background: rgba(0x2a6983ff).into(),
 647                            selection: rgba(0x2a69833d).into(),
 648                        },
 649                        PlayerColor {
 650                            cursor: rgba(0xb4647aff).into(),
 651                            background: rgba(0xb4647aff).into(),
 652                            selection: rgba(0xb4647a3d).into(),
 653                        },
 654                        PlayerColor {
 655                            cursor: rgba(0xe99d35ff).into(),
 656                            background: rgba(0xe99d35ff).into(),
 657                            selection: rgba(0xe99d353d).into(),
 658                        },
 659                        PlayerColor {
 660                            cursor: rgba(0x3eaa8eff).into(),
 661                            background: rgba(0x3eaa8eff).into(),
 662                            selection: rgba(0x3eaa8e3d).into(),
 663                        },
 664                    ])),
 665                    syntax: Some(UserSyntaxTheme {
 666                        highlights: vec![
 667                            (
 668                                "attribute".into(),
 669                                UserHighlightStyle {
 670                                    color: Some(rgba(0x57949fff).into()),
 671                                    ..Default::default()
 672                                },
 673                            ),
 674                            (
 675                                "boolean".into(),
 676                                UserHighlightStyle {
 677                                    color: Some(rgba(0xd7827eff).into()),
 678                                    ..Default::default()
 679                                },
 680                            ),
 681                            (
 682                                "comment".into(),
 683                                UserHighlightStyle {
 684                                    color: Some(rgba(0x9893a5ff).into()),
 685                                    ..Default::default()
 686                                },
 687                            ),
 688                            (
 689                                "comment.doc".into(),
 690                                UserHighlightStyle {
 691                                    color: Some(rgba(0x6f6b8cff).into()),
 692                                    ..Default::default()
 693                                },
 694                            ),
 695                            (
 696                                "constant".into(),
 697                                UserHighlightStyle {
 698                                    color: Some(rgba(0x3eaa8eff).into()),
 699                                    ..Default::default()
 700                                },
 701                            ),
 702                            (
 703                                "constructor".into(),
 704                                UserHighlightStyle {
 705                                    color: Some(rgba(0x57949fff).into()),
 706                                    ..Default::default()
 707                                },
 708                            ),
 709                            (
 710                                "embedded".into(),
 711                                UserHighlightStyle {
 712                                    color: Some(rgba(0x575279ff).into()),
 713                                    ..Default::default()
 714                                },
 715                            ),
 716                            (
 717                                "emphasis".into(),
 718                                UserHighlightStyle {
 719                                    color: Some(rgba(0x57949fff).into()),
 720                                    ..Default::default()
 721                                },
 722                            ),
 723                            (
 724                                "emphasis.strong".into(),
 725                                UserHighlightStyle {
 726                                    color: Some(rgba(0x57949fff).into()),
 727                                    font_weight: Some(UserFontWeight(700.0)),
 728                                    ..Default::default()
 729                                },
 730                            ),
 731                            (
 732                                "enum".into(),
 733                                UserHighlightStyle {
 734                                    color: Some(rgba(0x907aa9ff).into()),
 735                                    ..Default::default()
 736                                },
 737                            ),
 738                            (
 739                                "function".into(),
 740                                UserHighlightStyle {
 741                                    color: Some(rgba(0xd7827eff).into()),
 742                                    ..Default::default()
 743                                },
 744                            ),
 745                            (
 746                                "function.method".into(),
 747                                UserHighlightStyle {
 748                                    color: Some(rgba(0xd7827eff).into()),
 749                                    ..Default::default()
 750                                },
 751                            ),
 752                            (
 753                                "hint".into(),
 754                                UserHighlightStyle {
 755                                    color: Some(rgba(0x7a92aaff).into()),
 756                                    font_weight: Some(UserFontWeight(700.0)),
 757                                    ..Default::default()
 758                                },
 759                            ),
 760                            (
 761                                "keyword".into(),
 762                                UserHighlightStyle {
 763                                    color: Some(rgba(0x286983ff).into()),
 764                                    ..Default::default()
 765                                },
 766                            ),
 767                            (
 768                                "label".into(),
 769                                UserHighlightStyle {
 770                                    color: Some(rgba(0x57949fff).into()),
 771                                    ..Default::default()
 772                                },
 773                            ),
 774                            (
 775                                "link_text".into(),
 776                                UserHighlightStyle {
 777                                    color: Some(rgba(0x56949fff).into()),
 778                                    font_style: Some(UserFontStyle::Normal),
 779                                    ..Default::default()
 780                                },
 781                            ),
 782                            (
 783                                "link_uri".into(),
 784                                UserHighlightStyle {
 785                                    color: Some(rgba(0xd7827eff).into()),
 786                                    ..Default::default()
 787                                },
 788                            ),
 789                            (
 790                                "number".into(),
 791                                UserHighlightStyle {
 792                                    color: Some(rgba(0x3eaa8eff).into()),
 793                                    ..Default::default()
 794                                },
 795                            ),
 796                            (
 797                                "operator".into(),
 798                                UserHighlightStyle {
 799                                    color: Some(rgba(0x286983ff).into()),
 800                                    ..Default::default()
 801                                },
 802                            ),
 803                            (
 804                                "predictive".into(),
 805                                UserHighlightStyle {
 806                                    color: Some(rgba(0xa2acbeff).into()),
 807                                    font_style: Some(UserFontStyle::Italic),
 808                                    ..Default::default()
 809                                },
 810                            ),
 811                            (
 812                                "preproc".into(),
 813                                UserHighlightStyle {
 814                                    color: Some(rgba(0x575279ff).into()),
 815                                    ..Default::default()
 816                                },
 817                            ),
 818                            (
 819                                "primary".into(),
 820                                UserHighlightStyle {
 821                                    color: Some(rgba(0x575279ff).into()),
 822                                    ..Default::default()
 823                                },
 824                            ),
 825                            (
 826                                "property".into(),
 827                                UserHighlightStyle {
 828                                    color: Some(rgba(0x57949fff).into()),
 829                                    ..Default::default()
 830                                },
 831                            ),
 832                            (
 833                                "punctuation".into(),
 834                                UserHighlightStyle {
 835                                    color: Some(rgba(0x797593ff).into()),
 836                                    ..Default::default()
 837                                },
 838                            ),
 839                            (
 840                                "punctuation.bracket".into(),
 841                                UserHighlightStyle {
 842                                    color: Some(rgba(0x635e82ff).into()),
 843                                    ..Default::default()
 844                                },
 845                            ),
 846                            (
 847                                "punctuation.delimiter".into(),
 848                                UserHighlightStyle {
 849                                    color: Some(rgba(0x635e82ff).into()),
 850                                    ..Default::default()
 851                                },
 852                            ),
 853                            (
 854                                "punctuation.list_marker".into(),
 855                                UserHighlightStyle {
 856                                    color: Some(rgba(0x635e82ff).into()),
 857                                    ..Default::default()
 858                                },
 859                            ),
 860                            (
 861                                "punctuation.special".into(),
 862                                UserHighlightStyle {
 863                                    color: Some(rgba(0x635e82ff).into()),
 864                                    ..Default::default()
 865                                },
 866                            ),
 867                            (
 868                                "string".into(),
 869                                UserHighlightStyle {
 870                                    color: Some(rgba(0xea9d34ff).into()),
 871                                    ..Default::default()
 872                                },
 873                            ),
 874                            (
 875                                "string.escape".into(),
 876                                UserHighlightStyle {
 877                                    color: Some(rgba(0x6f6b8cff).into()),
 878                                    ..Default::default()
 879                                },
 880                            ),
 881                            (
 882                                "string.regex".into(),
 883                                UserHighlightStyle {
 884                                    color: Some(rgba(0x907aa9ff).into()),
 885                                    ..Default::default()
 886                                },
 887                            ),
 888                            (
 889                                "string.special".into(),
 890                                UserHighlightStyle {
 891                                    color: Some(rgba(0x907aa9ff).into()),
 892                                    ..Default::default()
 893                                },
 894                            ),
 895                            (
 896                                "string.special.symbol".into(),
 897                                UserHighlightStyle {
 898                                    color: Some(rgba(0x907aa9ff).into()),
 899                                    ..Default::default()
 900                                },
 901                            ),
 902                            (
 903                                "tag".into(),
 904                                UserHighlightStyle {
 905                                    color: Some(rgba(0x56949fff).into()),
 906                                    ..Default::default()
 907                                },
 908                            ),
 909                            (
 910                                "text.literal".into(),
 911                                UserHighlightStyle {
 912                                    color: Some(rgba(0x907aa9ff).into()),
 913                                    ..Default::default()
 914                                },
 915                            ),
 916                            (
 917                                "title".into(),
 918                                UserHighlightStyle {
 919                                    color: Some(rgba(0xea9d34ff).into()),
 920                                    font_weight: Some(UserFontWeight(700.0)),
 921                                    ..Default::default()
 922                                },
 923                            ),
 924                            (
 925                                "type".into(),
 926                                UserHighlightStyle {
 927                                    color: Some(rgba(0x56949fff).into()),
 928                                    ..Default::default()
 929                                },
 930                            ),
 931                            (
 932                                "type.builtin".into(),
 933                                UserHighlightStyle {
 934                                    color: Some(rgba(0x56949fff).into()),
 935                                    ..Default::default()
 936                                },
 937                            ),
 938                            (
 939                                "variable".into(),
 940                                UserHighlightStyle {
 941                                    color: Some(rgba(0x575279ff).into()),
 942                                    ..Default::default()
 943                                },
 944                            ),
 945                            (
 946                                "variant".into(),
 947                                UserHighlightStyle {
 948                                    color: Some(rgba(0x57949fff).into()),
 949                                    ..Default::default()
 950                                },
 951                            ),
 952                        ],
 953                    }),
 954                },
 955            },
 956            UserTheme {
 957                name: "Rosé Pine Moon".into(),
 958                appearance: Appearance::Dark,
 959                styles: UserThemeStylesRefinement {
 960                    colors: ThemeColorsRefinement {
 961                        border: Some(rgba(0x504c68ff).into()),
 962                        border_variant: Some(rgba(0x322f48ff).into()),
 963                        border_focused: Some(rgba(0x435255ff).into()),
 964                        border_selected: Some(rgba(0x435255ff).into()),
 965                        border_transparent: Some(rgba(0x00000000).into()),
 966                        border_disabled: Some(rgba(0x44415bff).into()),
 967                        elevated_surface_background: Some(rgba(0x28253cff).into()),
 968                        surface_background: Some(rgba(0x28253cff).into()),
 969                        background: Some(rgba(0x38354eff).into()),
 970                        panel_background: Some(rgba(0x28253cff).into()),
 971                        element_background: Some(rgba(0x28253cff).into()),
 972                        element_hover: Some(rgba(0x322f48ff).into()),
 973                        element_active: Some(rgba(0x4f4b66ff).into()),
 974                        element_selected: Some(rgba(0x4f4b66ff).into()),
 975                        element_disabled: Some(rgba(0x28253cff).into()),
 976                        drop_target_background: Some(rgba(0x85819e80).into()),
 977                        ghost_element_background: Some(rgba(0x00000000).into()),
 978                        ghost_element_hover: Some(rgba(0x322f48ff).into()),
 979                        ghost_element_active: Some(rgba(0x4f4b66ff).into()),
 980                        ghost_element_selected: Some(rgba(0x4f4b66ff).into()),
 981                        ghost_element_disabled: Some(rgba(0x28253cff).into()),
 982                        text: Some(rgba(0xe0def4ff).into()),
 983                        text_muted: Some(rgba(0x85819eff).into()),
 984                        text_placeholder: Some(rgba(0x615d7aff).into()),
 985                        text_disabled: Some(rgba(0x615d7aff).into()),
 986                        text_accent: Some(rgba(0x9cced7ff).into()),
 987                        icon: Some(rgba(0xe0def4ff).into()),
 988                        icon_muted: Some(rgba(0x85819eff).into()),
 989                        icon_disabled: Some(rgba(0x615d7aff).into()),
 990                        icon_placeholder: Some(rgba(0x85819eff).into()),
 991                        icon_accent: Some(rgba(0x9cced7ff).into()),
 992                        status_bar_background: Some(rgba(0x38354eff).into()),
 993                        title_bar_background: Some(rgba(0x38354eff).into()),
 994                        toolbar_background: Some(rgba(0x232136ff).into()),
 995                        tab_bar_background: Some(rgba(0x28253cff).into()),
 996                        tab_inactive_background: Some(rgba(0x28253cff).into()),
 997                        tab_active_background: Some(rgba(0x232136ff).into()),
 998                        scrollbar_thumb_background: Some(rgba(0xe0def44c).into()),
 999                        scrollbar_thumb_hover_background: Some(rgba(0x322f48ff).into()),
1000                        scrollbar_thumb_border: Some(rgba(0x322f48ff).into()),
1001                        scrollbar_track_background: Some(rgba(0x00000000).into()),
1002                        scrollbar_track_border: Some(rgba(0x27243bff).into()),
1003                        editor_foreground: Some(rgba(0xe0def4ff).into()),
1004                        editor_background: Some(rgba(0x232136ff).into()),
1005                        editor_gutter_background: Some(rgba(0x232136ff).into()),
1006                        editor_subheader_background: Some(rgba(0x28253cff).into()),
1007                        editor_active_line_background: Some(rgba(0x28253cbf).into()),
1008                        editor_highlighted_line_background: Some(rgba(0x28253cff).into()),
1009                        editor_line_number: Some(rgba(0xe0def459).into()),
1010                        editor_active_line_number: Some(rgba(0xe0def4ff).into()),
1011                        editor_invisible: Some(rgba(0x595571ff).into()),
1012                        editor_wrap_guide: Some(rgba(0xe0def40d).into()),
1013                        editor_active_wrap_guide: Some(rgba(0xe0def41a).into()),
1014                        editor_document_highlight_read_background: Some(rgba(0x9cced71a).into()),
1015                        editor_document_highlight_write_background: Some(rgba(0x59557166).into()),
1016                        terminal_background: Some(rgba(0x232136ff).into()),
1017                        terminal_foreground: Some(rgba(0xe0def4ff).into()),
1018                        terminal_bright_foreground: Some(rgba(0xe0def4ff).into()),
1019                        terminal_dim_foreground: Some(rgba(0x232136ff).into()),
1020                        terminal_ansi_black: Some(rgba(0x232136ff).into()),
1021                        terminal_ansi_bright_black: Some(rgba(0x3f3b58ff).into()),
1022                        terminal_ansi_dim_black: Some(rgba(0xe0def4ff).into()),
1023                        terminal_ansi_red: Some(rgba(0xea6f92ff).into()),
1024                        terminal_ansi_bright_red: Some(rgba(0x7e3647ff).into()),
1025                        terminal_ansi_dim_red: Some(rgba(0xfab9c7ff).into()),
1026                        terminal_ansi_green: Some(rgba(0x5dc2a3ff).into()),
1027                        terminal_ansi_bright_green: Some(rgba(0x31614fff).into()),
1028                        terminal_ansi_dim_green: Some(rgba(0xb3e1d1ff).into()),
1029                        terminal_ansi_yellow: Some(rgba(0xf5c177ff).into()),
1030                        terminal_ansi_bright_yellow: Some(rgba(0x8a653bff).into()),
1031                        terminal_ansi_dim_yellow: Some(rgba(0xfedfbbff).into()),
1032                        terminal_ansi_blue: Some(rgba(0x9cced7ff).into()),
1033                        terminal_ansi_bright_blue: Some(rgba(0x566c70ff).into()),
1034                        terminal_ansi_dim_blue: Some(rgba(0xcfe7ebff).into()),
1035                        terminal_ansi_magenta: Some(rgba(0xa784a1ff).into()),
1036                        terminal_ansi_bright_magenta: Some(rgba(0x51414eff).into()),
1037                        terminal_ansi_dim_magenta: Some(rgba(0xd3c0cfff).into()),
1038                        terminal_ansi_cyan: Some(rgba(0x3f8fb0ff).into()),
1039                        terminal_ansi_bright_cyan: Some(rgba(0x264654ff).into()),
1040                        terminal_ansi_dim_cyan: Some(rgba(0xa5c6d7ff).into()),
1041                        terminal_ansi_white: Some(rgba(0xe0def4ff).into()),
1042                        terminal_ansi_bright_white: Some(rgba(0xe0def4ff).into()),
1043                        terminal_ansi_dim_white: Some(rgba(0x75718eff).into()),
1044                        link_text_hover: Some(rgba(0x9cced7ff).into()),
1045                        ..Default::default()
1046                    },
1047                    status: StatusColorsRefinement {
1048                        conflict: Some(rgba(0xf5c177ff).into()),
1049                        conflict_background: Some(rgba(0x50341aff).into()),
1050                        conflict_border: Some(rgba(0x6d4d2bff).into()),
1051                        created: Some(rgba(0x5dc2a3ff).into()),
1052                        created_background: Some(rgba(0x182e23ff).into()),
1053                        created_border: Some(rgba(0x254839ff).into()),
1054                        deleted: Some(rgba(0xea6f92ff).into()),
1055                        deleted_background: Some(rgba(0x431820ff).into()),
1056                        deleted_border: Some(rgba(0x612834ff).into()),
1057                        error: Some(rgba(0xea6f92ff).into()),
1058                        error_background: Some(rgba(0x431820ff).into()),
1059                        error_border: Some(rgba(0x612834ff).into()),
1060                        hidden: Some(rgba(0x615d7aff).into()),
1061                        hidden_background: Some(rgba(0x38354eff).into()),
1062                        hidden_border: Some(rgba(0x44415bff).into()),
1063                        hint: Some(rgba(0x728aa2ff).into()),
1064                        hint_background: Some(rgba(0x2f3739ff).into()),
1065                        hint_border: Some(rgba(0x435255ff).into()),
1066                        ignored: Some(rgba(0x85819eff).into()),
1067                        ignored_background: Some(rgba(0x38354eff).into()),
1068                        ignored_border: Some(rgba(0x504c68ff).into()),
1069                        info: Some(rgba(0x9cced7ff).into()),
1070                        info_background: Some(rgba(0x2f3739ff).into()),
1071                        info_border: Some(rgba(0x435255ff).into()),
1072                        modified: Some(rgba(0xf5c177ff).into()),
1073                        modified_background: Some(rgba(0x50341aff).into()),
1074                        modified_border: Some(rgba(0x6d4d2bff).into()),
1075                        predictive: Some(rgba(0x516b83ff).into()),
1076                        predictive_background: Some(rgba(0x182e23ff).into()),
1077                        predictive_border: Some(rgba(0x254839ff).into()),
1078                        renamed: Some(rgba(0x9cced7ff).into()),
1079                        renamed_background: Some(rgba(0x2f3739ff).into()),
1080                        renamed_border: Some(rgba(0x435255ff).into()),
1081                        success: Some(rgba(0x5dc2a3ff).into()),
1082                        success_background: Some(rgba(0x182e23ff).into()),
1083                        success_border: Some(rgba(0x254839ff).into()),
1084                        unreachable: Some(rgba(0x85819eff).into()),
1085                        unreachable_background: Some(rgba(0x38354eff).into()),
1086                        unreachable_border: Some(rgba(0x504c68ff).into()),
1087                        warning: Some(rgba(0xf5c177ff).into()),
1088                        warning_background: Some(rgba(0x50341aff).into()),
1089                        warning_border: Some(rgba(0x6d4d2bff).into()),
1090                        ..Default::default()
1091                    },
1092                    player: Some(PlayerColors(vec![
1093                        PlayerColor {
1094                            cursor: rgba(0x9cced7ff).into(),
1095                            background: rgba(0x9cced7ff).into(),
1096                            selection: rgba(0x9cced73d).into(),
1097                        },
1098                        PlayerColor {
1099                            cursor: rgba(0xa784a1ff).into(),
1100                            background: rgba(0xa784a1ff).into(),
1101                            selection: rgba(0xa784a13d).into(),
1102                        },
1103                        PlayerColor {
1104                            cursor: rgba(0xc4a7e6ff).into(),
1105                            background: rgba(0xc4a7e6ff).into(),
1106                            selection: rgba(0xc4a7e63d).into(),
1107                        },
1108                        PlayerColor {
1109                            cursor: rgba(0xc4a7e6ff).into(),
1110                            background: rgba(0xc4a7e6ff).into(),
1111                            selection: rgba(0xc4a7e63d).into(),
1112                        },
1113                        PlayerColor {
1114                            cursor: rgba(0x3f8fb0ff).into(),
1115                            background: rgba(0x3f8fb0ff).into(),
1116                            selection: rgba(0x3f8fb03d).into(),
1117                        },
1118                        PlayerColor {
1119                            cursor: rgba(0xea6f92ff).into(),
1120                            background: rgba(0xea6f92ff).into(),
1121                            selection: rgba(0xea6f923d).into(),
1122                        },
1123                        PlayerColor {
1124                            cursor: rgba(0xf5c177ff).into(),
1125                            background: rgba(0xf5c177ff).into(),
1126                            selection: rgba(0xf5c1773d).into(),
1127                        },
1128                        PlayerColor {
1129                            cursor: rgba(0x5dc2a3ff).into(),
1130                            background: rgba(0x5dc2a3ff).into(),
1131                            selection: rgba(0x5dc2a33d).into(),
1132                        },
1133                    ])),
1134                    syntax: Some(UserSyntaxTheme {
1135                        highlights: vec![
1136                            (
1137                                "attribute".into(),
1138                                UserHighlightStyle {
1139                                    color: Some(rgba(0x9cced7ff).into()),
1140                                    ..Default::default()
1141                                },
1142                            ),
1143                            (
1144                                "boolean".into(),
1145                                UserHighlightStyle {
1146                                    color: Some(rgba(0xea9a97ff).into()),
1147                                    ..Default::default()
1148                                },
1149                            ),
1150                            (
1151                                "comment".into(),
1152                                UserHighlightStyle {
1153                                    color: Some(rgba(0x6e6a86ff).into()),
1154                                    ..Default::default()
1155                                },
1156                            ),
1157                            (
1158                                "comment.doc".into(),
1159                                UserHighlightStyle {
1160                                    color: Some(rgba(0x8682a0ff).into()),
1161                                    ..Default::default()
1162                                },
1163                            ),
1164                            (
1165                                "constant".into(),
1166                                UserHighlightStyle {
1167                                    color: Some(rgba(0x5dc2a3ff).into()),
1168                                    ..Default::default()
1169                                },
1170                            ),
1171                            (
1172                                "constructor".into(),
1173                                UserHighlightStyle {
1174                                    color: Some(rgba(0x9cced7ff).into()),
1175                                    ..Default::default()
1176                                },
1177                            ),
1178                            (
1179                                "embedded".into(),
1180                                UserHighlightStyle {
1181                                    color: Some(rgba(0xe0def4ff).into()),
1182                                    ..Default::default()
1183                                },
1184                            ),
1185                            (
1186                                "emphasis".into(),
1187                                UserHighlightStyle {
1188                                    color: Some(rgba(0x9cced7ff).into()),
1189                                    ..Default::default()
1190                                },
1191                            ),
1192                            (
1193                                "emphasis.strong".into(),
1194                                UserHighlightStyle {
1195                                    color: Some(rgba(0x9cced7ff).into()),
1196                                    font_weight: Some(UserFontWeight(700.0)),
1197                                    ..Default::default()
1198                                },
1199                            ),
1200                            (
1201                                "enum".into(),
1202                                UserHighlightStyle {
1203                                    color: Some(rgba(0xc4a7e6ff).into()),
1204                                    ..Default::default()
1205                                },
1206                            ),
1207                            (
1208                                "function".into(),
1209                                UserHighlightStyle {
1210                                    color: Some(rgba(0xea9a97ff).into()),
1211                                    ..Default::default()
1212                                },
1213                            ),
1214                            (
1215                                "function.method".into(),
1216                                UserHighlightStyle {
1217                                    color: Some(rgba(0xea9a97ff).into()),
1218                                    ..Default::default()
1219                                },
1220                            ),
1221                            (
1222                                "hint".into(),
1223                                UserHighlightStyle {
1224                                    color: Some(rgba(0x728aa2ff).into()),
1225                                    font_weight: Some(UserFontWeight(700.0)),
1226                                    ..Default::default()
1227                                },
1228                            ),
1229                            (
1230                                "keyword".into(),
1231                                UserHighlightStyle {
1232                                    color: Some(rgba(0x3e8fb0ff).into()),
1233                                    ..Default::default()
1234                                },
1235                            ),
1236                            (
1237                                "label".into(),
1238                                UserHighlightStyle {
1239                                    color: Some(rgba(0x9cced7ff).into()),
1240                                    ..Default::default()
1241                                },
1242                            ),
1243                            (
1244                                "link_text".into(),
1245                                UserHighlightStyle {
1246                                    color: Some(rgba(0x9ccfd8ff).into()),
1247                                    font_style: Some(UserFontStyle::Normal),
1248                                    ..Default::default()
1249                                },
1250                            ),
1251                            (
1252                                "link_uri".into(),
1253                                UserHighlightStyle {
1254                                    color: Some(rgba(0xea9a97ff).into()),
1255                                    ..Default::default()
1256                                },
1257                            ),
1258                            (
1259                                "number".into(),
1260                                UserHighlightStyle {
1261                                    color: Some(rgba(0x5dc2a3ff).into()),
1262                                    ..Default::default()
1263                                },
1264                            ),
1265                            (
1266                                "operator".into(),
1267                                UserHighlightStyle {
1268                                    color: Some(rgba(0x3e8fb0ff).into()),
1269                                    ..Default::default()
1270                                },
1271                            ),
1272                            (
1273                                "predictive".into(),
1274                                UserHighlightStyle {
1275                                    color: Some(rgba(0x516b83ff).into()),
1276                                    font_style: Some(UserFontStyle::Italic),
1277                                    ..Default::default()
1278                                },
1279                            ),
1280                            (
1281                                "preproc".into(),
1282                                UserHighlightStyle {
1283                                    color: Some(rgba(0xe0def4ff).into()),
1284                                    ..Default::default()
1285                                },
1286                            ),
1287                            (
1288                                "primary".into(),
1289                                UserHighlightStyle {
1290                                    color: Some(rgba(0xe0def4ff).into()),
1291                                    ..Default::default()
1292                                },
1293                            ),
1294                            (
1295                                "property".into(),
1296                                UserHighlightStyle {
1297                                    color: Some(rgba(0x9cced7ff).into()),
1298                                    ..Default::default()
1299                                },
1300                            ),
1301                            (
1302                                "punctuation".into(),
1303                                UserHighlightStyle {
1304                                    color: Some(rgba(0x908caaff).into()),
1305                                    ..Default::default()
1306                                },
1307                            ),
1308                            (
1309                                "punctuation.bracket".into(),
1310                                UserHighlightStyle {
1311                                    color: Some(rgba(0xaeabc6ff).into()),
1312                                    ..Default::default()
1313                                },
1314                            ),
1315                            (
1316                                "punctuation.delimiter".into(),
1317                                UserHighlightStyle {
1318                                    color: Some(rgba(0xaeabc6ff).into()),
1319                                    ..Default::default()
1320                                },
1321                            ),
1322                            (
1323                                "punctuation.list_marker".into(),
1324                                UserHighlightStyle {
1325                                    color: Some(rgba(0xaeabc6ff).into()),
1326                                    ..Default::default()
1327                                },
1328                            ),
1329                            (
1330                                "punctuation.special".into(),
1331                                UserHighlightStyle {
1332                                    color: Some(rgba(0xaeabc6ff).into()),
1333                                    ..Default::default()
1334                                },
1335                            ),
1336                            (
1337                                "string".into(),
1338                                UserHighlightStyle {
1339                                    color: Some(rgba(0xf6c177ff).into()),
1340                                    ..Default::default()
1341                                },
1342                            ),
1343                            (
1344                                "string.escape".into(),
1345                                UserHighlightStyle {
1346                                    color: Some(rgba(0x8682a0ff).into()),
1347                                    ..Default::default()
1348                                },
1349                            ),
1350                            (
1351                                "string.regex".into(),
1352                                UserHighlightStyle {
1353                                    color: Some(rgba(0xc4a7e6ff).into()),
1354                                    ..Default::default()
1355                                },
1356                            ),
1357                            (
1358                                "string.special".into(),
1359                                UserHighlightStyle {
1360                                    color: Some(rgba(0xc4a7e6ff).into()),
1361                                    ..Default::default()
1362                                },
1363                            ),
1364                            (
1365                                "string.special.symbol".into(),
1366                                UserHighlightStyle {
1367                                    color: Some(rgba(0xc4a7e6ff).into()),
1368                                    ..Default::default()
1369                                },
1370                            ),
1371                            (
1372                                "tag".into(),
1373                                UserHighlightStyle {
1374                                    color: Some(rgba(0x9ccfd8ff).into()),
1375                                    ..Default::default()
1376                                },
1377                            ),
1378                            (
1379                                "text.literal".into(),
1380                                UserHighlightStyle {
1381                                    color: Some(rgba(0xc4a7e6ff).into()),
1382                                    ..Default::default()
1383                                },
1384                            ),
1385                            (
1386                                "title".into(),
1387                                UserHighlightStyle {
1388                                    color: Some(rgba(0xf6c177ff).into()),
1389                                    font_weight: Some(UserFontWeight(700.0)),
1390                                    ..Default::default()
1391                                },
1392                            ),
1393                            (
1394                                "type".into(),
1395                                UserHighlightStyle {
1396                                    color: Some(rgba(0x9ccfd8ff).into()),
1397                                    ..Default::default()
1398                                },
1399                            ),
1400                            (
1401                                "type.builtin".into(),
1402                                UserHighlightStyle {
1403                                    color: Some(rgba(0x9ccfd8ff).into()),
1404                                    ..Default::default()
1405                                },
1406                            ),
1407                            (
1408                                "variable".into(),
1409                                UserHighlightStyle {
1410                                    color: Some(rgba(0xe0def4ff).into()),
1411                                    ..Default::default()
1412                                },
1413                            ),
1414                            (
1415                                "variant".into(),
1416                                UserHighlightStyle {
1417                                    color: Some(rgba(0x9cced7ff).into()),
1418                                    ..Default::default()
1419                                },
1420                            ),
1421                        ],
1422                    }),
1423                },
1424            },
1425        ],
1426    }
1427}