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