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