rose_pine.rs

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