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