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