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