noctis.rs

   1// This file was generated by the `theme_importer`.
   2// Be careful when modifying it by hand.
   3
   4use gpui::rgba;
   5
   6#[allow(unused)]
   7use crate::{
   8    Appearance, StatusColorsRefinement, ThemeColorsRefinement, UserFontStyle, UserFontWeight,
   9    UserHighlightStyle, UserSyntaxTheme, UserTheme, UserThemeFamily, UserThemeStylesRefinement,
  10};
  11
  12pub fn noctis() -> UserThemeFamily {
  13    UserThemeFamily {
  14        name: "Noctis".into(),
  15        author: "Liviu Schera (liviuschera)".into(),
  16        themes: vec![
  17            UserTheme {
  18                name: "Noctis Azureus".into(),
  19                appearance: Appearance::Dark,
  20                styles: UserThemeStylesRefinement {
  21                    colors: ThemeColorsRefinement {
  22                        border: Some(rgba(0x1679b6ff).into()),
  23                        border_variant: Some(rgba(0x1679b6ff).into()),
  24                        border_focused: Some(rgba(0x09334eff).into()),
  25                        border_selected: Some(rgba(0x1679b6ff).into()),
  26                        border_transparent: Some(rgba(0x1679b6ff).into()),
  27                        border_disabled: Some(rgba(0x1679b6ff).into()),
  28                        elevated_surface_background: Some(rgba(0x09334eff).into()),
  29                        surface_background: Some(rgba(0x051b29ff).into()),
  30                        background: Some(rgba(0x07273bff).into()),
  31                        element_background: Some(rgba(0x007f99ff).into()),
  32                        element_hover: Some(rgba(0x00558a65).into()),
  33                        element_selected: Some(rgba(0x0c3f5fff).into()),
  34                        drop_target_background: Some(rgba(0x002a4dff).into()),
  35                        ghost_element_hover: Some(rgba(0x00558a65).into()),
  36                        ghost_element_selected: Some(rgba(0x0c3f5fff).into()),
  37                        text: Some(rgba(0xbecfdaff).into()),
  38                        text_muted: Some(rgba(0x9fb6c6ff).into()),
  39                        status_bar_background: Some(rgba(0x07273bff).into()),
  40                        title_bar_background: Some(rgba(0x07273bff).into()),
  41                        toolbar_background: Some(rgba(0x07273bff).into()),
  42                        tab_bar_background: Some(rgba(0x09334eff).into()),
  43                        tab_inactive_background: Some(rgba(0x09334eff).into()),
  44                        tab_active_background: Some(rgba(0x07273bff).into()),
  45                        scrollbar_thumb_background: Some(rgba(0x008ee633).into()),
  46                        scrollbar_thumb_hover_background: Some(rgba(0x008ee655).into()),
  47                        scrollbar_thumb_border: Some(rgba(0x008ee633).into()),
  48                        scrollbar_track_background: Some(rgba(0x07273bff).into()),
  49                        scrollbar_track_border: Some(rgba(0x07273bff).into()),
  50                        editor_foreground: Some(rgba(0xbecfdaff).into()),
  51                        editor_background: Some(rgba(0x07273bff).into()),
  52                        editor_gutter_background: Some(rgba(0x07273bff).into()),
  53                        editor_line_number: Some(rgba(0x4d6c80ff).into()),
  54                        editor_active_line_number: Some(rgba(0xbecfdaff).into()),
  55                        editor_wrap_guide: Some(rgba(0x1679b6ff).into()),
  56                        editor_active_wrap_guide: Some(rgba(0x1679b6ff).into()),
  57                        terminal_background: Some(rgba(0x051b29ff).into()),
  58                        terminal_ansi_bright_black: Some(rgba(0x475e6cff).into()),
  59                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
  60                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
  61                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
  62                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
  63                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
  64                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
  65                        terminal_ansi_bright_white: Some(rgba(0xbecfdaff).into()),
  66                        terminal_ansi_black: Some(rgba(0x28353eff).into()),
  67                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
  68                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
  69                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
  70                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
  71                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
  72                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
  73                        terminal_ansi_white: Some(rgba(0xaec3d0ff).into()),
  74                        ..Default::default()
  75                    },
  76                    status: StatusColorsRefinement {
  77                        conflict: Some(rgba(0xffc180ff).into()),
  78                        created: Some(rgba(0x8ce99aff).into()),
  79                        deleted: Some(rgba(0xe34e1cff).into()),
  80                        error: Some(rgba(0xe34e1cff).into()),
  81                        hidden: Some(rgba(0x9fb6c6ff).into()),
  82                        hint: Some(rgba(0x969696ff).into()),
  83                        ignored: Some(rgba(0x5b788bff).into()),
  84                        modified: Some(rgba(0xffc180ff).into()),
  85                        warning: Some(rgba(0xffa857ff).into()),
  86                        ..Default::default()
  87                    },
  88                    syntax: Some(UserSyntaxTheme {
  89                        highlights: vec![
  90                            (
  91                                "boolean".into(),
  92                                UserHighlightStyle {
  93                                    color: Some(rgba(0x7060ebff).into()),
  94                                    ..Default::default()
  95                                },
  96                            ),
  97                            (
  98                                "comment".into(),
  99                                UserHighlightStyle {
 100                                    color: Some(rgba(0x5988a6ff).into()),
 101                                    ..Default::default()
 102                                },
 103                            ),
 104                            (
 105                                "comment.doc".into(),
 106                                UserHighlightStyle {
 107                                    color: Some(rgba(0x5988a6ff).into()),
 108                                    ..Default::default()
 109                                },
 110                            ),
 111                            (
 112                                "constant".into(),
 113                                UserHighlightStyle {
 114                                    color: Some(rgba(0xd5971aff).into()),
 115                                    ..Default::default()
 116                                },
 117                            ),
 118                            (
 119                                "constructor".into(),
 120                                UserHighlightStyle {
 121                                    color: Some(rgba(0xe66533ff).into()),
 122                                    ..Default::default()
 123                                },
 124                            ),
 125                            (
 126                                "function".into(),
 127                                UserHighlightStyle {
 128                                    color: Some(rgba(0x16a3b6ff).into()),
 129                                    ..Default::default()
 130                                },
 131                            ),
 132                            (
 133                                "keyword".into(),
 134                                UserHighlightStyle {
 135                                    color: Some(rgba(0xe66533ff).into()),
 136                                    ..Default::default()
 137                                },
 138                            ),
 139                            (
 140                                "label".into(),
 141                                UserHighlightStyle {
 142                                    color: Some(rgba(0x49d6e9ff).into()),
 143                                    ..Default::default()
 144                                },
 145                            ),
 146                            (
 147                                "link_text".into(),
 148                                UserHighlightStyle {
 149                                    color: Some(rgba(0x49d6e9ff).into()),
 150                                    ..Default::default()
 151                                },
 152                            ),
 153                            (
 154                                "link_uri".into(),
 155                                UserHighlightStyle {
 156                                    color: Some(rgba(0x49d6e9ff).into()),
 157                                    ..Default::default()
 158                                },
 159                            ),
 160                            (
 161                                "number".into(),
 162                                UserHighlightStyle {
 163                                    color: Some(rgba(0x7060ebff).into()),
 164                                    ..Default::default()
 165                                },
 166                            ),
 167                            (
 168                                "preproc".into(),
 169                                UserHighlightStyle {
 170                                    color: Some(rgba(0xdf769bff).into()),
 171                                    ..Default::default()
 172                                },
 173                            ),
 174                            (
 175                                "property".into(),
 176                                UserHighlightStyle {
 177                                    color: Some(rgba(0x16a3b6ff).into()),
 178                                    ..Default::default()
 179                                },
 180                            ),
 181                            (
 182                                "punctuation".into(),
 183                                UserHighlightStyle {
 184                                    color: Some(rgba(0xbecfdaff).into()),
 185                                    ..Default::default()
 186                                },
 187                            ),
 188                            (
 189                                "punctuation.bracket".into(),
 190                                UserHighlightStyle {
 191                                    color: Some(rgba(0xbecfdaff).into()),
 192                                    ..Default::default()
 193                                },
 194                            ),
 195                            (
 196                                "punctuation.delimiter".into(),
 197                                UserHighlightStyle {
 198                                    color: Some(rgba(0xbecfdaff).into()),
 199                                    ..Default::default()
 200                                },
 201                            ),
 202                            (
 203                                "punctuation.list_marker".into(),
 204                                UserHighlightStyle {
 205                                    color: Some(rgba(0xbecfdaff).into()),
 206                                    ..Default::default()
 207                                },
 208                            ),
 209                            (
 210                                "punctuation.special".into(),
 211                                UserHighlightStyle {
 212                                    color: Some(rgba(0xbecfdaff).into()),
 213                                    ..Default::default()
 214                                },
 215                            ),
 216                            (
 217                                "string".into(),
 218                                UserHighlightStyle {
 219                                    color: Some(rgba(0x49e9a6ff).into()),
 220                                    ..Default::default()
 221                                },
 222                            ),
 223                            (
 224                                "string.escape".into(),
 225                                UserHighlightStyle {
 226                                    color: Some(rgba(0xbecfdaff).into()),
 227                                    ..Default::default()
 228                                },
 229                            ),
 230                            (
 231                                "string.regex".into(),
 232                                UserHighlightStyle {
 233                                    color: Some(rgba(0x49e9a6ff).into()),
 234                                    ..Default::default()
 235                                },
 236                            ),
 237                            (
 238                                "string.special".into(),
 239                                UserHighlightStyle {
 240                                    color: Some(rgba(0x49e9a6ff).into()),
 241                                    ..Default::default()
 242                                },
 243                            ),
 244                            (
 245                                "string.special.symbol".into(),
 246                                UserHighlightStyle {
 247                                    color: Some(rgba(0x49e9a6ff).into()),
 248                                    ..Default::default()
 249                                },
 250                            ),
 251                            (
 252                                "tag".into(),
 253                                UserHighlightStyle {
 254                                    color: Some(rgba(0xe66533ff).into()),
 255                                    ..Default::default()
 256                                },
 257                            ),
 258                            (
 259                                "text.literal".into(),
 260                                UserHighlightStyle {
 261                                    color: Some(rgba(0x49e9a6ff).into()),
 262                                    ..Default::default()
 263                                },
 264                            ),
 265                            (
 266                                "title".into(),
 267                                UserHighlightStyle {
 268                                    color: Some(rgba(0x49d6e9ff).into()),
 269                                    ..Default::default()
 270                                },
 271                            ),
 272                            (
 273                                "type".into(),
 274                                UserHighlightStyle {
 275                                    color: Some(rgba(0xd67e5cff).into()),
 276                                    ..Default::default()
 277                                },
 278                            ),
 279                            (
 280                                "variable".into(),
 281                                UserHighlightStyle {
 282                                    color: Some(rgba(0xe4b781ff).into()),
 283                                    ..Default::default()
 284                                },
 285                            ),
 286                            (
 287                                "variable.special".into(),
 288                                UserHighlightStyle {
 289                                    color: Some(rgba(0xe66533ff).into()),
 290                                    ..Default::default()
 291                                },
 292                            ),
 293                        ],
 294                    }),
 295                },
 296            },
 297            UserTheme {
 298                name: "Noctis Bordo".into(),
 299                appearance: Appearance::Dark,
 300                styles: UserThemeStylesRefinement {
 301                    colors: ThemeColorsRefinement {
 302                        border: Some(rgba(0x997582ff).into()),
 303                        border_variant: Some(rgba(0x997582ff).into()),
 304                        border_focused: Some(rgba(0x413036ff).into()),
 305                        border_selected: Some(rgba(0x997582ff).into()),
 306                        border_transparent: Some(rgba(0x997582ff).into()),
 307                        border_disabled: Some(rgba(0x997582ff).into()),
 308                        elevated_surface_background: Some(rgba(0x413036ff).into()),
 309                        surface_background: Some(rgba(0x272022ff).into()),
 310                        background: Some(rgba(0x322a2dff).into()),
 311                        element_background: Some(rgba(0x007f99ff).into()),
 312                        element_hover: Some(rgba(0x533641ff).into()),
 313                        element_selected: Some(rgba(0x5c2e3e99).into()),
 314                        drop_target_background: Some(rgba(0x38292eff).into()),
 315                        ghost_element_hover: Some(rgba(0x533641ff).into()),
 316                        ghost_element_selected: Some(rgba(0x5c2e3e99).into()),
 317                        text: Some(rgba(0xcbbec2ff).into()),
 318                        text_muted: Some(rgba(0xbbaab0ff).into()),
 319                        status_bar_background: Some(rgba(0x322a2dff).into()),
 320                        title_bar_background: Some(rgba(0x322a2dff).into()),
 321                        toolbar_background: Some(rgba(0x322a2dff).into()),
 322                        tab_bar_background: Some(rgba(0x413036ff).into()),
 323                        tab_inactive_background: Some(rgba(0x413036ff).into()),
 324                        tab_active_background: Some(rgba(0x322a2dff).into()),
 325                        scrollbar_thumb_background: Some(rgba(0xeb609133).into()),
 326                        scrollbar_thumb_hover_background: Some(rgba(0xeb609144).into()),
 327                        scrollbar_thumb_border: Some(rgba(0xeb609133).into()),
 328                        scrollbar_track_background: Some(rgba(0x322a2dff).into()),
 329                        scrollbar_track_border: Some(rgba(0x322a2dff).into()),
 330                        editor_foreground: Some(rgba(0xcbbec2ff).into()),
 331                        editor_background: Some(rgba(0x322a2dff).into()),
 332                        editor_gutter_background: Some(rgba(0x322a2dff).into()),
 333                        editor_line_number: Some(rgba(0x715b63ff).into()),
 334                        editor_active_line_number: Some(rgba(0xcbbec2ff).into()),
 335                        editor_wrap_guide: Some(rgba(0x997582ff).into()),
 336                        editor_active_wrap_guide: Some(rgba(0x997582ff).into()),
 337                        terminal_background: Some(rgba(0x272022ff).into()),
 338                        terminal_ansi_bright_black: Some(rgba(0x69545bff).into()),
 339                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
 340                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
 341                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
 342                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
 343                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
 344                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
 345                        terminal_ansi_bright_white: Some(rgba(0xcbbec2ff).into()),
 346                        terminal_ansi_black: Some(rgba(0x47393eff).into()),
 347                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
 348                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
 349                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
 350                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
 351                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
 352                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
 353                        terminal_ansi_white: Some(rgba(0xb9acb0ff).into()),
 354                        ..Default::default()
 355                    },
 356                    status: StatusColorsRefinement {
 357                        conflict: Some(rgba(0xffc180ff).into()),
 358                        created: Some(rgba(0x8ce99aff).into()),
 359                        deleted: Some(rgba(0xe34e1cff).into()),
 360                        error: Some(rgba(0xe34e1cff).into()),
 361                        hidden: Some(rgba(0xbbaab0ff).into()),
 362                        hint: Some(rgba(0x969696ff).into()),
 363                        ignored: Some(rgba(0x5b788bff).into()),
 364                        modified: Some(rgba(0xffc180ff).into()),
 365                        warning: Some(rgba(0xffa857ff).into()),
 366                        ..Default::default()
 367                    },
 368                    syntax: Some(UserSyntaxTheme {
 369                        highlights: vec![
 370                            (
 371                                "boolean".into(),
 372                                UserHighlightStyle {
 373                                    color: Some(rgba(0x7060ebff).into()),
 374                                    ..Default::default()
 375                                },
 376                            ),
 377                            (
 378                                "comment".into(),
 379                                UserHighlightStyle {
 380                                    color: Some(rgba(0x8b747cff).into()),
 381                                    ..Default::default()
 382                                },
 383                            ),
 384                            (
 385                                "comment.doc".into(),
 386                                UserHighlightStyle {
 387                                    color: Some(rgba(0x8b747cff).into()),
 388                                    ..Default::default()
 389                                },
 390                            ),
 391                            (
 392                                "constant".into(),
 393                                UserHighlightStyle {
 394                                    color: Some(rgba(0xd5971aff).into()),
 395                                    ..Default::default()
 396                                },
 397                            ),
 398                            (
 399                                "constructor".into(),
 400                                UserHighlightStyle {
 401                                    color: Some(rgba(0xe66533ff).into()),
 402                                    ..Default::default()
 403                                },
 404                            ),
 405                            (
 406                                "function".into(),
 407                                UserHighlightStyle {
 408                                    color: Some(rgba(0x16a3b6ff).into()),
 409                                    ..Default::default()
 410                                },
 411                            ),
 412                            (
 413                                "keyword".into(),
 414                                UserHighlightStyle {
 415                                    color: Some(rgba(0xe66533ff).into()),
 416                                    ..Default::default()
 417                                },
 418                            ),
 419                            (
 420                                "label".into(),
 421                                UserHighlightStyle {
 422                                    color: Some(rgba(0x49d6e9ff).into()),
 423                                    ..Default::default()
 424                                },
 425                            ),
 426                            (
 427                                "link_text".into(),
 428                                UserHighlightStyle {
 429                                    color: Some(rgba(0x49d6e9ff).into()),
 430                                    ..Default::default()
 431                                },
 432                            ),
 433                            (
 434                                "link_uri".into(),
 435                                UserHighlightStyle {
 436                                    color: Some(rgba(0x49d6e9ff).into()),
 437                                    ..Default::default()
 438                                },
 439                            ),
 440                            (
 441                                "number".into(),
 442                                UserHighlightStyle {
 443                                    color: Some(rgba(0x7060ebff).into()),
 444                                    ..Default::default()
 445                                },
 446                            ),
 447                            (
 448                                "preproc".into(),
 449                                UserHighlightStyle {
 450                                    color: Some(rgba(0xdf769bff).into()),
 451                                    ..Default::default()
 452                                },
 453                            ),
 454                            (
 455                                "property".into(),
 456                                UserHighlightStyle {
 457                                    color: Some(rgba(0x16a3b6ff).into()),
 458                                    ..Default::default()
 459                                },
 460                            ),
 461                            (
 462                                "punctuation".into(),
 463                                UserHighlightStyle {
 464                                    color: Some(rgba(0xcbbec2ff).into()),
 465                                    ..Default::default()
 466                                },
 467                            ),
 468                            (
 469                                "punctuation.bracket".into(),
 470                                UserHighlightStyle {
 471                                    color: Some(rgba(0xcbbec2ff).into()),
 472                                    ..Default::default()
 473                                },
 474                            ),
 475                            (
 476                                "punctuation.delimiter".into(),
 477                                UserHighlightStyle {
 478                                    color: Some(rgba(0xcbbec2ff).into()),
 479                                    ..Default::default()
 480                                },
 481                            ),
 482                            (
 483                                "punctuation.list_marker".into(),
 484                                UserHighlightStyle {
 485                                    color: Some(rgba(0xcbbec2ff).into()),
 486                                    ..Default::default()
 487                                },
 488                            ),
 489                            (
 490                                "punctuation.special".into(),
 491                                UserHighlightStyle {
 492                                    color: Some(rgba(0xcbbec2ff).into()),
 493                                    ..Default::default()
 494                                },
 495                            ),
 496                            (
 497                                "string".into(),
 498                                UserHighlightStyle {
 499                                    color: Some(rgba(0x49e9a6ff).into()),
 500                                    ..Default::default()
 501                                },
 502                            ),
 503                            (
 504                                "string.escape".into(),
 505                                UserHighlightStyle {
 506                                    color: Some(rgba(0xcbbec2ff).into()),
 507                                    ..Default::default()
 508                                },
 509                            ),
 510                            (
 511                                "string.regex".into(),
 512                                UserHighlightStyle {
 513                                    color: Some(rgba(0x49e9a6ff).into()),
 514                                    ..Default::default()
 515                                },
 516                            ),
 517                            (
 518                                "string.special".into(),
 519                                UserHighlightStyle {
 520                                    color: Some(rgba(0x49e9a6ff).into()),
 521                                    ..Default::default()
 522                                },
 523                            ),
 524                            (
 525                                "string.special.symbol".into(),
 526                                UserHighlightStyle {
 527                                    color: Some(rgba(0x49e9a6ff).into()),
 528                                    ..Default::default()
 529                                },
 530                            ),
 531                            (
 532                                "tag".into(),
 533                                UserHighlightStyle {
 534                                    color: Some(rgba(0xe66533ff).into()),
 535                                    ..Default::default()
 536                                },
 537                            ),
 538                            (
 539                                "text.literal".into(),
 540                                UserHighlightStyle {
 541                                    color: Some(rgba(0x49e9a6ff).into()),
 542                                    ..Default::default()
 543                                },
 544                            ),
 545                            (
 546                                "title".into(),
 547                                UserHighlightStyle {
 548                                    color: Some(rgba(0x49d6e9ff).into()),
 549                                    ..Default::default()
 550                                },
 551                            ),
 552                            (
 553                                "type".into(),
 554                                UserHighlightStyle {
 555                                    color: Some(rgba(0xd67e5cff).into()),
 556                                    ..Default::default()
 557                                },
 558                            ),
 559                            (
 560                                "variable".into(),
 561                                UserHighlightStyle {
 562                                    color: Some(rgba(0xe4b781ff).into()),
 563                                    ..Default::default()
 564                                },
 565                            ),
 566                            (
 567                                "variable.special".into(),
 568                                UserHighlightStyle {
 569                                    color: Some(rgba(0xe66533ff).into()),
 570                                    ..Default::default()
 571                                },
 572                            ),
 573                        ],
 574                    }),
 575                },
 576            },
 577            UserTheme {
 578                name: "Noctus Hibernus".into(),
 579                appearance: Appearance::Light,
 580                styles: UserThemeStylesRefinement {
 581                    colors: ThemeColorsRefinement {
 582                        border: Some(rgba(0x00c6e0ff).into()),
 583                        border_variant: Some(rgba(0x00c6e0ff).into()),
 584                        border_focused: Some(rgba(0xe0eff1ff).into()),
 585                        border_selected: Some(rgba(0x00c6e0ff).into()),
 586                        border_transparent: Some(rgba(0x00c6e0ff).into()),
 587                        border_disabled: Some(rgba(0x00c6e0ff).into()),
 588                        elevated_surface_background: Some(rgba(0xf4f6f6ff).into()),
 589                        surface_background: Some(rgba(0xe1eeefff).into()),
 590                        background: Some(rgba(0xf4f6f6ff).into()),
 591                        element_background: Some(rgba(0x099099ff).into()),
 592                        element_hover: Some(rgba(0xd1eafaff).into()),
 593                        element_selected: Some(rgba(0xb6e1e7ff).into()),
 594                        drop_target_background: Some(rgba(0xb2cacdff).into()),
 595                        ghost_element_hover: Some(rgba(0xd1eafaff).into()),
 596                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
 597                        text: Some(rgba(0x005661ff).into()),
 598                        text_muted: Some(rgba(0x71838eff).into()),
 599                        status_bar_background: Some(rgba(0xcaedf2ff).into()),
 600                        title_bar_background: Some(rgba(0xe7f2f3ff).into()),
 601                        toolbar_background: Some(rgba(0xf4f6f6ff).into()),
 602                        tab_bar_background: Some(rgba(0xcaedf2ff).into()),
 603                        tab_inactive_background: Some(rgba(0xcaedf2ff).into()),
 604                        tab_active_background: Some(rgba(0xf4f6f6ff).into()),
 605                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
 606                        scrollbar_thumb_hover_background: Some(rgba(0x0099ad62).into()),
 607                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
 608                        scrollbar_track_background: Some(rgba(0xf4f6f6ff).into()),
 609                        scrollbar_track_border: Some(rgba(0xf4f6f6ff).into()),
 610                        editor_foreground: Some(rgba(0x005661ff).into()),
 611                        editor_background: Some(rgba(0xf4f6f6ff).into()),
 612                        editor_gutter_background: Some(rgba(0xf4f6f6ff).into()),
 613                        editor_line_number: Some(rgba(0xa0abacff).into()),
 614                        editor_active_line_number: Some(rgba(0x005661ff).into()),
 615                        editor_wrap_guide: Some(rgba(0x00c6e0ff).into()),
 616                        editor_active_wrap_guide: Some(rgba(0x00c6e0ff).into()),
 617                        terminal_background: Some(rgba(0xe1eeefff).into()),
 618                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
 619                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
 620                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
 621                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
 622                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
 623                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
 624                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
 625                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
 626                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
 627                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
 628                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
 629                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
 630                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
 631                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
 632                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
 633                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
 634                        ..Default::default()
 635                    },
 636                    status: StatusColorsRefinement {
 637                        conflict: Some(rgba(0xe9a149ff).into()),
 638                        created: Some(rgba(0x8ce99aff).into()),
 639                        deleted: Some(rgba(0xff4000ff).into()),
 640                        error: Some(rgba(0xff4000ff).into()),
 641                        hidden: Some(rgba(0x71838eff).into()),
 642                        hint: Some(rgba(0x969696ff).into()),
 643                        ignored: Some(rgba(0xa8a28faa).into()),
 644                        modified: Some(rgba(0xe9a149ff).into()),
 645                        warning: Some(rgba(0xe07a52ff).into()),
 646                        ..Default::default()
 647                    },
 648                    syntax: Some(UserSyntaxTheme {
 649                        highlights: vec![
 650                            (
 651                                "boolean".into(),
 652                                UserHighlightStyle {
 653                                    color: Some(rgba(0x5842ffff).into()),
 654                                    ..Default::default()
 655                                },
 656                            ),
 657                            (
 658                                "comment".into(),
 659                                UserHighlightStyle {
 660                                    color: Some(rgba(0x8ca6a6ff).into()),
 661                                    ..Default::default()
 662                                },
 663                            ),
 664                            (
 665                                "comment.doc".into(),
 666                                UserHighlightStyle {
 667                                    color: Some(rgba(0x8ca6a6ff).into()),
 668                                    ..Default::default()
 669                                },
 670                            ),
 671                            (
 672                                "constant".into(),
 673                                UserHighlightStyle {
 674                                    color: Some(rgba(0xa88c00ff).into()),
 675                                    ..Default::default()
 676                                },
 677                            ),
 678                            (
 679                                "constructor".into(),
 680                                UserHighlightStyle {
 681                                    color: Some(rgba(0xe64100ff).into()),
 682                                    ..Default::default()
 683                                },
 684                            ),
 685                            (
 686                                "function".into(),
 687                                UserHighlightStyle {
 688                                    color: Some(rgba(0x0095a8ff).into()),
 689                                    ..Default::default()
 690                                },
 691                            ),
 692                            (
 693                                "keyword".into(),
 694                                UserHighlightStyle {
 695                                    color: Some(rgba(0xe64100ff).into()),
 696                                    ..Default::default()
 697                                },
 698                            ),
 699                            (
 700                                "label".into(),
 701                                UserHighlightStyle {
 702                                    color: Some(rgba(0x00bdd6ff).into()),
 703                                    ..Default::default()
 704                                },
 705                            ),
 706                            (
 707                                "link_text".into(),
 708                                UserHighlightStyle {
 709                                    color: Some(rgba(0x00bdd6ff).into()),
 710                                    ..Default::default()
 711                                },
 712                            ),
 713                            (
 714                                "link_uri".into(),
 715                                UserHighlightStyle {
 716                                    color: Some(rgba(0x00bdd6ff).into()),
 717                                    ..Default::default()
 718                                },
 719                            ),
 720                            (
 721                                "number".into(),
 722                                UserHighlightStyle {
 723                                    color: Some(rgba(0x5842ffff).into()),
 724                                    ..Default::default()
 725                                },
 726                            ),
 727                            (
 728                                "preproc".into(),
 729                                UserHighlightStyle {
 730                                    color: Some(rgba(0xff5792ff).into()),
 731                                    ..Default::default()
 732                                },
 733                            ),
 734                            (
 735                                "property".into(),
 736                                UserHighlightStyle {
 737                                    color: Some(rgba(0x0095a8ff).into()),
 738                                    ..Default::default()
 739                                },
 740                            ),
 741                            (
 742                                "punctuation".into(),
 743                                UserHighlightStyle {
 744                                    color: Some(rgba(0x004d57ff).into()),
 745                                    ..Default::default()
 746                                },
 747                            ),
 748                            (
 749                                "punctuation.bracket".into(),
 750                                UserHighlightStyle {
 751                                    color: Some(rgba(0x004d57ff).into()),
 752                                    ..Default::default()
 753                                },
 754                            ),
 755                            (
 756                                "punctuation.delimiter".into(),
 757                                UserHighlightStyle {
 758                                    color: Some(rgba(0x004d57ff).into()),
 759                                    ..Default::default()
 760                                },
 761                            ),
 762                            (
 763                                "punctuation.list_marker".into(),
 764                                UserHighlightStyle {
 765                                    color: Some(rgba(0x004d57ff).into()),
 766                                    ..Default::default()
 767                                },
 768                            ),
 769                            (
 770                                "punctuation.special".into(),
 771                                UserHighlightStyle {
 772                                    color: Some(rgba(0x004d57ff).into()),
 773                                    ..Default::default()
 774                                },
 775                            ),
 776                            (
 777                                "string".into(),
 778                                UserHighlightStyle {
 779                                    color: Some(rgba(0x00b368ff).into()),
 780                                    ..Default::default()
 781                                },
 782                            ),
 783                            (
 784                                "string.escape".into(),
 785                                UserHighlightStyle {
 786                                    color: Some(rgba(0x004d57ff).into()),
 787                                    ..Default::default()
 788                                },
 789                            ),
 790                            (
 791                                "string.regex".into(),
 792                                UserHighlightStyle {
 793                                    color: Some(rgba(0x00b368ff).into()),
 794                                    ..Default::default()
 795                                },
 796                            ),
 797                            (
 798                                "string.special".into(),
 799                                UserHighlightStyle {
 800                                    color: Some(rgba(0x00b368ff).into()),
 801                                    ..Default::default()
 802                                },
 803                            ),
 804                            (
 805                                "string.special.symbol".into(),
 806                                UserHighlightStyle {
 807                                    color: Some(rgba(0x00b368ff).into()),
 808                                    ..Default::default()
 809                                },
 810                            ),
 811                            (
 812                                "tag".into(),
 813                                UserHighlightStyle {
 814                                    color: Some(rgba(0xe64100ff).into()),
 815                                    ..Default::default()
 816                                },
 817                            ),
 818                            (
 819                                "text.literal".into(),
 820                                UserHighlightStyle {
 821                                    color: Some(rgba(0x00b368ff).into()),
 822                                    ..Default::default()
 823                                },
 824                            ),
 825                            (
 826                                "title".into(),
 827                                UserHighlightStyle {
 828                                    color: Some(rgba(0x00bdd6ff).into()),
 829                                    ..Default::default()
 830                                },
 831                            ),
 832                            (
 833                                "type".into(),
 834                                UserHighlightStyle {
 835                                    color: Some(rgba(0xb3694dff).into()),
 836                                    ..Default::default()
 837                                },
 838                            ),
 839                            (
 840                                "variable".into(),
 841                                UserHighlightStyle {
 842                                    color: Some(rgba(0xfa8900ff).into()),
 843                                    ..Default::default()
 844                                },
 845                            ),
 846                            (
 847                                "variable.special".into(),
 848                                UserHighlightStyle {
 849                                    color: Some(rgba(0xe64100ff).into()),
 850                                    ..Default::default()
 851                                },
 852                            ),
 853                        ],
 854                    }),
 855                },
 856            },
 857            UserTheme {
 858                name: "Noctis Lilac".into(),
 859                appearance: Appearance::Dark,
 860                styles: UserThemeStylesRefinement {
 861                    colors: ThemeColorsRefinement {
 862                        border: Some(rgba(0xaea4f4ff).into()),
 863                        border_variant: Some(rgba(0xaea4f4ff).into()),
 864                        border_focused: Some(rgba(0xdedbf5ff).into()),
 865                        border_selected: Some(rgba(0xaea4f4ff).into()),
 866                        border_transparent: Some(rgba(0xaea4f4ff).into()),
 867                        border_disabled: Some(rgba(0xaea4f4ff).into()),
 868                        elevated_surface_background: Some(rgba(0xf2f1f8ff).into()),
 869                        surface_background: Some(rgba(0xe9e7f3ff).into()),
 870                        background: Some(rgba(0xf2f1f8ff).into()),
 871                        element_background: Some(rgba(0x8e80ffff).into()),
 872                        element_hover: Some(rgba(0xd2ccffff).into()),
 873                        element_selected: Some(rgba(0xbcb6e7ff).into()),
 874                        drop_target_background: Some(rgba(0xafaad4aa).into()),
 875                        ghost_element_hover: Some(rgba(0xd2ccffff).into()),
 876                        ghost_element_selected: Some(rgba(0xbcb6e7ff).into()),
 877                        text: Some(rgba(0x0c006bff).into()),
 878                        text_muted: Some(rgba(0x75718eff).into()),
 879                        status_bar_background: Some(rgba(0xe2dff6ff).into()),
 880                        title_bar_background: Some(rgba(0xedecf8ff).into()),
 881                        toolbar_background: Some(rgba(0xf2f1f8ff).into()),
 882                        tab_bar_background: Some(rgba(0xe2dff6ff).into()),
 883                        tab_inactive_background: Some(rgba(0xe2dff6ff).into()),
 884                        tab_active_background: Some(rgba(0xf2f1f8ff).into()),
 885                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
 886                        scrollbar_thumb_hover_background: Some(rgba(0x7060eb62).into()),
 887                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
 888                        scrollbar_track_background: Some(rgba(0xf2f1f8ff).into()),
 889                        scrollbar_track_border: Some(rgba(0xf2f1f8ff).into()),
 890                        editor_foreground: Some(rgba(0x0c006bff).into()),
 891                        editor_background: Some(rgba(0xf2f1f8ff).into()),
 892                        editor_gutter_background: Some(rgba(0xf2f1f8ff).into()),
 893                        editor_line_number: Some(rgba(0x9d9ab1ff).into()),
 894                        editor_active_line_number: Some(rgba(0x0c006bff).into()),
 895                        editor_wrap_guide: Some(rgba(0xaea4f4ff).into()),
 896                        editor_active_wrap_guide: Some(rgba(0xaea4f4ff).into()),
 897                        terminal_background: Some(rgba(0xe9e7f3ff).into()),
 898                        terminal_ansi_bright_black: Some(rgba(0x0f0080ff).into()),
 899                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
 900                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
 901                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
 902                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
 903                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
 904                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
 905                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
 906                        terminal_ansi_black: Some(rgba(0x0c006bff).into()),
 907                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
 908                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
 909                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
 910                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
 911                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
 912                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
 913                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
 914                        ..Default::default()
 915                    },
 916                    status: StatusColorsRefinement {
 917                        conflict: Some(rgba(0xe9a149ff).into()),
 918                        created: Some(rgba(0x8ce99aff).into()),
 919                        deleted: Some(rgba(0xff4000ff).into()),
 920                        error: Some(rgba(0xff4000ff).into()),
 921                        hidden: Some(rgba(0x75718eff).into()),
 922                        hint: Some(rgba(0x969696ff).into()),
 923                        ignored: Some(rgba(0xa8a28faa).into()),
 924                        modified: Some(rgba(0xe9a149ff).into()),
 925                        warning: Some(rgba(0xe07a52ff).into()),
 926                        ..Default::default()
 927                    },
 928                    syntax: Some(UserSyntaxTheme {
 929                        highlights: vec![
 930                            (
 931                                "boolean".into(),
 932                                UserHighlightStyle {
 933                                    color: Some(rgba(0x5842ffff).into()),
 934                                    ..Default::default()
 935                                },
 936                            ),
 937                            (
 938                                "comment".into(),
 939                                UserHighlightStyle {
 940                                    color: Some(rgba(0x9995b7ff).into()),
 941                                    ..Default::default()
 942                                },
 943                            ),
 944                            (
 945                                "comment.doc".into(),
 946                                UserHighlightStyle {
 947                                    color: Some(rgba(0x9995b7ff).into()),
 948                                    ..Default::default()
 949                                },
 950                            ),
 951                            (
 952                                "constant".into(),
 953                                UserHighlightStyle {
 954                                    color: Some(rgba(0xa88c00ff).into()),
 955                                    ..Default::default()
 956                                },
 957                            ),
 958                            (
 959                                "constructor".into(),
 960                                UserHighlightStyle {
 961                                    color: Some(rgba(0xe64100ff).into()),
 962                                    ..Default::default()
 963                                },
 964                            ),
 965                            (
 966                                "function".into(),
 967                                UserHighlightStyle {
 968                                    color: Some(rgba(0x0095a8ff).into()),
 969                                    ..Default::default()
 970                                },
 971                            ),
 972                            (
 973                                "keyword".into(),
 974                                UserHighlightStyle {
 975                                    color: Some(rgba(0xe64100ff).into()),
 976                                    ..Default::default()
 977                                },
 978                            ),
 979                            (
 980                                "label".into(),
 981                                UserHighlightStyle {
 982                                    color: Some(rgba(0x00bdd6ff).into()),
 983                                    ..Default::default()
 984                                },
 985                            ),
 986                            (
 987                                "link_text".into(),
 988                                UserHighlightStyle {
 989                                    color: Some(rgba(0x00bdd6ff).into()),
 990                                    ..Default::default()
 991                                },
 992                            ),
 993                            (
 994                                "link_uri".into(),
 995                                UserHighlightStyle {
 996                                    color: Some(rgba(0x00bdd6ff).into()),
 997                                    ..Default::default()
 998                                },
 999                            ),
1000                            (
1001                                "number".into(),
1002                                UserHighlightStyle {
1003                                    color: Some(rgba(0x5842ffff).into()),
1004                                    ..Default::default()
1005                                },
1006                            ),
1007                            (
1008                                "preproc".into(),
1009                                UserHighlightStyle {
1010                                    color: Some(rgba(0xff5792ff).into()),
1011                                    ..Default::default()
1012                                },
1013                            ),
1014                            (
1015                                "property".into(),
1016                                UserHighlightStyle {
1017                                    color: Some(rgba(0x0095a8ff).into()),
1018                                    ..Default::default()
1019                                },
1020                            ),
1021                            (
1022                                "punctuation".into(),
1023                                UserHighlightStyle {
1024                                    color: Some(rgba(0x0c006bff).into()),
1025                                    ..Default::default()
1026                                },
1027                            ),
1028                            (
1029                                "punctuation.bracket".into(),
1030                                UserHighlightStyle {
1031                                    color: Some(rgba(0x0c006bff).into()),
1032                                    ..Default::default()
1033                                },
1034                            ),
1035                            (
1036                                "punctuation.delimiter".into(),
1037                                UserHighlightStyle {
1038                                    color: Some(rgba(0x0c006bff).into()),
1039                                    ..Default::default()
1040                                },
1041                            ),
1042                            (
1043                                "punctuation.list_marker".into(),
1044                                UserHighlightStyle {
1045                                    color: Some(rgba(0x0c006bff).into()),
1046                                    ..Default::default()
1047                                },
1048                            ),
1049                            (
1050                                "punctuation.special".into(),
1051                                UserHighlightStyle {
1052                                    color: Some(rgba(0x0c006bff).into()),
1053                                    ..Default::default()
1054                                },
1055                            ),
1056                            (
1057                                "string".into(),
1058                                UserHighlightStyle {
1059                                    color: Some(rgba(0x00b368ff).into()),
1060                                    ..Default::default()
1061                                },
1062                            ),
1063                            (
1064                                "string.escape".into(),
1065                                UserHighlightStyle {
1066                                    color: Some(rgba(0x0c006bff).into()),
1067                                    ..Default::default()
1068                                },
1069                            ),
1070                            (
1071                                "string.regex".into(),
1072                                UserHighlightStyle {
1073                                    color: Some(rgba(0x00b368ff).into()),
1074                                    ..Default::default()
1075                                },
1076                            ),
1077                            (
1078                                "string.special".into(),
1079                                UserHighlightStyle {
1080                                    color: Some(rgba(0x00b368ff).into()),
1081                                    ..Default::default()
1082                                },
1083                            ),
1084                            (
1085                                "string.special.symbol".into(),
1086                                UserHighlightStyle {
1087                                    color: Some(rgba(0x00b368ff).into()),
1088                                    ..Default::default()
1089                                },
1090                            ),
1091                            (
1092                                "tag".into(),
1093                                UserHighlightStyle {
1094                                    color: Some(rgba(0xe64100ff).into()),
1095                                    ..Default::default()
1096                                },
1097                            ),
1098                            (
1099                                "text.literal".into(),
1100                                UserHighlightStyle {
1101                                    color: Some(rgba(0x00b368ff).into()),
1102                                    ..Default::default()
1103                                },
1104                            ),
1105                            (
1106                                "title".into(),
1107                                UserHighlightStyle {
1108                                    color: Some(rgba(0x00bdd6ff).into()),
1109                                    ..Default::default()
1110                                },
1111                            ),
1112                            (
1113                                "type".into(),
1114                                UserHighlightStyle {
1115                                    color: Some(rgba(0xb3694dff).into()),
1116                                    ..Default::default()
1117                                },
1118                            ),
1119                            (
1120                                "variable".into(),
1121                                UserHighlightStyle {
1122                                    color: Some(rgba(0xfa8900ff).into()),
1123                                    ..Default::default()
1124                                },
1125                            ),
1126                            (
1127                                "variable.special".into(),
1128                                UserHighlightStyle {
1129                                    color: Some(rgba(0xe64100ff).into()),
1130                                    ..Default::default()
1131                                },
1132                            ),
1133                        ],
1134                    }),
1135                },
1136            },
1137            UserTheme {
1138                name: "Noctis Lux".into(),
1139                appearance: Appearance::Light,
1140                styles: UserThemeStylesRefinement {
1141                    colors: ThemeColorsRefinement {
1142                        border: Some(rgba(0x00c6e0ff).into()),
1143                        border_variant: Some(rgba(0x00c6e0ff).into()),
1144                        border_focused: Some(rgba(0xf2eddeff).into()),
1145                        border_selected: Some(rgba(0x00c6e0ff).into()),
1146                        border_transparent: Some(rgba(0x00c6e0ff).into()),
1147                        border_disabled: Some(rgba(0x00c6e0ff).into()),
1148                        elevated_surface_background: Some(rgba(0xfef8ecff).into()),
1149                        surface_background: Some(rgba(0xf6eddaff).into()),
1150                        background: Some(rgba(0xfef8ecff).into()),
1151                        element_background: Some(rgba(0x099099ff).into()),
1152                        element_hover: Some(rgba(0xd2f3f9ff).into()),
1153                        element_selected: Some(rgba(0xb6e1e7ff).into()),
1154                        drop_target_background: Some(rgba(0xcdcbb2ff).into()),
1155                        ghost_element_hover: Some(rgba(0xd2f3f9ff).into()),
1156                        ghost_element_selected: Some(rgba(0xb6e1e7ff).into()),
1157                        text: Some(rgba(0x005661ff).into()),
1158                        text_muted: Some(rgba(0x888477ff).into()),
1159                        status_bar_background: Some(rgba(0xf0e9d6ff).into()),
1160                        title_bar_background: Some(rgba(0xf9f1e1ff).into()),
1161                        toolbar_background: Some(rgba(0xfef8ecff).into()),
1162                        tab_bar_background: Some(rgba(0xf0e9d6ff).into()),
1163                        tab_inactive_background: Some(rgba(0xf0e9d6ff).into()),
1164                        tab_active_background: Some(rgba(0xfef8ecff).into()),
1165                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
1166                        scrollbar_thumb_hover_background: Some(rgba(0x0099ad62).into()),
1167                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
1168                        scrollbar_track_background: Some(rgba(0xfef8ecff).into()),
1169                        scrollbar_track_border: Some(rgba(0xfef8ecff).into()),
1170                        editor_foreground: Some(rgba(0x005661ff).into()),
1171                        editor_background: Some(rgba(0xfef8ecff).into()),
1172                        editor_gutter_background: Some(rgba(0xfef8ecff).into()),
1173                        editor_line_number: Some(rgba(0xa0abacff).into()),
1174                        editor_active_line_number: Some(rgba(0x005661ff).into()),
1175                        editor_wrap_guide: Some(rgba(0x00c6e0ff).into()),
1176                        editor_active_wrap_guide: Some(rgba(0x00c6e0ff).into()),
1177                        terminal_background: Some(rgba(0xf6eddaff).into()),
1178                        terminal_ansi_bright_black: Some(rgba(0x004d57ff).into()),
1179                        terminal_ansi_bright_red: Some(rgba(0xff4000ff).into()),
1180                        terminal_ansi_bright_green: Some(rgba(0x00d17aff).into()),
1181                        terminal_ansi_bright_yellow: Some(rgba(0xff8c00ff).into()),
1182                        terminal_ansi_bright_blue: Some(rgba(0x0fa3ffff).into()),
1183                        terminal_ansi_bright_magenta: Some(rgba(0xff6b9fff).into()),
1184                        terminal_ansi_bright_cyan: Some(rgba(0x00cbe6ff).into()),
1185                        terminal_ansi_bright_white: Some(rgba(0xbbc3c4ff).into()),
1186                        terminal_ansi_black: Some(rgba(0x003b42ff).into()),
1187                        terminal_ansi_red: Some(rgba(0xe34e1cff).into()),
1188                        terminal_ansi_green: Some(rgba(0x00b368ff).into()),
1189                        terminal_ansi_yellow: Some(rgba(0xf49725ff).into()),
1190                        terminal_ansi_blue: Some(rgba(0x0094f0ff).into()),
1191                        terminal_ansi_magenta: Some(rgba(0xff5792ff).into()),
1192                        terminal_ansi_cyan: Some(rgba(0x00bdd6ff).into()),
1193                        terminal_ansi_white: Some(rgba(0x8ca6a6ff).into()),
1194                        ..Default::default()
1195                    },
1196                    status: StatusColorsRefinement {
1197                        conflict: Some(rgba(0xe9a149ff).into()),
1198                        created: Some(rgba(0x8ce99aff).into()),
1199                        deleted: Some(rgba(0xff4000ff).into()),
1200                        error: Some(rgba(0xff4000ff).into()),
1201                        hidden: Some(rgba(0x888477ff).into()),
1202                        hint: Some(rgba(0x969696ff).into()),
1203                        ignored: Some(rgba(0xa8a28faa).into()),
1204                        modified: Some(rgba(0xe9a149ff).into()),
1205                        warning: Some(rgba(0xe07a52ff).into()),
1206                        ..Default::default()
1207                    },
1208                    syntax: Some(UserSyntaxTheme {
1209                        highlights: vec![
1210                            (
1211                                "boolean".into(),
1212                                UserHighlightStyle {
1213                                    color: Some(rgba(0x5842ffff).into()),
1214                                    ..Default::default()
1215                                },
1216                            ),
1217                            (
1218                                "comment".into(),
1219                                UserHighlightStyle {
1220                                    color: Some(rgba(0x8ca6a6ff).into()),
1221                                    ..Default::default()
1222                                },
1223                            ),
1224                            (
1225                                "comment.doc".into(),
1226                                UserHighlightStyle {
1227                                    color: Some(rgba(0x8ca6a6ff).into()),
1228                                    ..Default::default()
1229                                },
1230                            ),
1231                            (
1232                                "constant".into(),
1233                                UserHighlightStyle {
1234                                    color: Some(rgba(0xa88c00ff).into()),
1235                                    ..Default::default()
1236                                },
1237                            ),
1238                            (
1239                                "constructor".into(),
1240                                UserHighlightStyle {
1241                                    color: Some(rgba(0xe64100ff).into()),
1242                                    ..Default::default()
1243                                },
1244                            ),
1245                            (
1246                                "function".into(),
1247                                UserHighlightStyle {
1248                                    color: Some(rgba(0x0095a8ff).into()),
1249                                    ..Default::default()
1250                                },
1251                            ),
1252                            (
1253                                "keyword".into(),
1254                                UserHighlightStyle {
1255                                    color: Some(rgba(0xe64100ff).into()),
1256                                    ..Default::default()
1257                                },
1258                            ),
1259                            (
1260                                "label".into(),
1261                                UserHighlightStyle {
1262                                    color: Some(rgba(0x00bdd6ff).into()),
1263                                    ..Default::default()
1264                                },
1265                            ),
1266                            (
1267                                "link_text".into(),
1268                                UserHighlightStyle {
1269                                    color: Some(rgba(0x00bdd6ff).into()),
1270                                    ..Default::default()
1271                                },
1272                            ),
1273                            (
1274                                "link_uri".into(),
1275                                UserHighlightStyle {
1276                                    color: Some(rgba(0x00bdd6ff).into()),
1277                                    ..Default::default()
1278                                },
1279                            ),
1280                            (
1281                                "number".into(),
1282                                UserHighlightStyle {
1283                                    color: Some(rgba(0x5842ffff).into()),
1284                                    ..Default::default()
1285                                },
1286                            ),
1287                            (
1288                                "preproc".into(),
1289                                UserHighlightStyle {
1290                                    color: Some(rgba(0xff5792ff).into()),
1291                                    ..Default::default()
1292                                },
1293                            ),
1294                            (
1295                                "property".into(),
1296                                UserHighlightStyle {
1297                                    color: Some(rgba(0x0095a8ff).into()),
1298                                    ..Default::default()
1299                                },
1300                            ),
1301                            (
1302                                "punctuation".into(),
1303                                UserHighlightStyle {
1304                                    color: Some(rgba(0x004d57ff).into()),
1305                                    ..Default::default()
1306                                },
1307                            ),
1308                            (
1309                                "punctuation.bracket".into(),
1310                                UserHighlightStyle {
1311                                    color: Some(rgba(0x004d57ff).into()),
1312                                    ..Default::default()
1313                                },
1314                            ),
1315                            (
1316                                "punctuation.delimiter".into(),
1317                                UserHighlightStyle {
1318                                    color: Some(rgba(0x004d57ff).into()),
1319                                    ..Default::default()
1320                                },
1321                            ),
1322                            (
1323                                "punctuation.list_marker".into(),
1324                                UserHighlightStyle {
1325                                    color: Some(rgba(0x004d57ff).into()),
1326                                    ..Default::default()
1327                                },
1328                            ),
1329                            (
1330                                "punctuation.special".into(),
1331                                UserHighlightStyle {
1332                                    color: Some(rgba(0x004d57ff).into()),
1333                                    ..Default::default()
1334                                },
1335                            ),
1336                            (
1337                                "string".into(),
1338                                UserHighlightStyle {
1339                                    color: Some(rgba(0x00b368ff).into()),
1340                                    ..Default::default()
1341                                },
1342                            ),
1343                            (
1344                                "string.escape".into(),
1345                                UserHighlightStyle {
1346                                    color: Some(rgba(0x004d57ff).into()),
1347                                    ..Default::default()
1348                                },
1349                            ),
1350                            (
1351                                "string.regex".into(),
1352                                UserHighlightStyle {
1353                                    color: Some(rgba(0x00b368ff).into()),
1354                                    ..Default::default()
1355                                },
1356                            ),
1357                            (
1358                                "string.special".into(),
1359                                UserHighlightStyle {
1360                                    color: Some(rgba(0x00b368ff).into()),
1361                                    ..Default::default()
1362                                },
1363                            ),
1364                            (
1365                                "string.special.symbol".into(),
1366                                UserHighlightStyle {
1367                                    color: Some(rgba(0x00b368ff).into()),
1368                                    ..Default::default()
1369                                },
1370                            ),
1371                            (
1372                                "tag".into(),
1373                                UserHighlightStyle {
1374                                    color: Some(rgba(0xe64100ff).into()),
1375                                    ..Default::default()
1376                                },
1377                            ),
1378                            (
1379                                "text.literal".into(),
1380                                UserHighlightStyle {
1381                                    color: Some(rgba(0x00b368ff).into()),
1382                                    ..Default::default()
1383                                },
1384                            ),
1385                            (
1386                                "title".into(),
1387                                UserHighlightStyle {
1388                                    color: Some(rgba(0x00bdd6ff).into()),
1389                                    ..Default::default()
1390                                },
1391                            ),
1392                            (
1393                                "type".into(),
1394                                UserHighlightStyle {
1395                                    color: Some(rgba(0xb3694dff).into()),
1396                                    ..Default::default()
1397                                },
1398                            ),
1399                            (
1400                                "variable".into(),
1401                                UserHighlightStyle {
1402                                    color: Some(rgba(0xfa8900ff).into()),
1403                                    ..Default::default()
1404                                },
1405                            ),
1406                            (
1407                                "variable.special".into(),
1408                                UserHighlightStyle {
1409                                    color: Some(rgba(0xe64100ff).into()),
1410                                    ..Default::default()
1411                                },
1412                            ),
1413                        ],
1414                    }),
1415                },
1416            },
1417            UserTheme {
1418                name: "Noctis Minimus".into(),
1419                appearance: Appearance::Dark,
1420                styles: UserThemeStylesRefinement {
1421                    colors: ThemeColorsRefinement {
1422                        border: Some(rgba(0x496d83ff).into()),
1423                        border_variant: Some(rgba(0x496d83ff).into()),
1424                        border_focused: Some(rgba(0x202e37ff).into()),
1425                        border_selected: Some(rgba(0x496d83ff).into()),
1426                        border_transparent: Some(rgba(0x496d83ff).into()),
1427                        border_disabled: Some(rgba(0x496d83ff).into()),
1428                        elevated_surface_background: Some(rgba(0x202e37ff).into()),
1429                        surface_background: Some(rgba(0x0e1920ff).into()),
1430                        background: Some(rgba(0x1b2932ff).into()),
1431                        element_background: Some(rgba(0x2e616bff).into()),
1432                        element_hover: Some(rgba(0x00558aff).into()),
1433                        element_selected: Some(rgba(0x2c414eff).into()),
1434                        drop_target_background: Some(rgba(0x152837ff).into()),
1435                        ghost_element_hover: Some(rgba(0x00558aff).into()),
1436                        ghost_element_selected: Some(rgba(0x2c414eff).into()),
1437                        text: Some(rgba(0xc5cdd3ff).into()),
1438                        text_muted: Some(rgba(0x96a8b6ff).into()),
1439                        status_bar_background: Some(rgba(0x1b2932ff).into()),
1440                        title_bar_background: Some(rgba(0x1b2932ff).into()),
1441                        toolbar_background: Some(rgba(0x1b2932ff).into()),
1442                        tab_bar_background: Some(rgba(0x24333dff).into()),
1443                        tab_inactive_background: Some(rgba(0x202e37ff).into()),
1444                        tab_active_background: Some(rgba(0x1b2932ff).into()),
1445                        scrollbar_thumb_background: Some(rgba(0x3f7fa633).into()),
1446                        scrollbar_thumb_hover_background: Some(rgba(0x3f7fa655).into()),
1447                        scrollbar_thumb_border: Some(rgba(0x3f7fa633).into()),
1448                        scrollbar_track_background: Some(rgba(0x1b2932ff).into()),
1449                        scrollbar_track_border: Some(rgba(0x1b2932ff).into()),
1450                        editor_foreground: Some(rgba(0xc5cdd3ff).into()),
1451                        editor_background: Some(rgba(0x1b2932ff).into()),
1452                        editor_gutter_background: Some(rgba(0x1b2932ff).into()),
1453                        editor_line_number: Some(rgba(0x5d6e79ff).into()),
1454                        editor_active_line_number: Some(rgba(0xc5cdd3ff).into()),
1455                        editor_wrap_guide: Some(rgba(0x496d83ff).into()),
1456                        editor_active_wrap_guide: Some(rgba(0x496d83ff).into()),
1457                        terminal_background: Some(rgba(0x0e1920ff).into()),
1458                        terminal_ansi_bright_black: Some(rgba(0x425866ff).into()),
1459                        terminal_ansi_bright_red: Some(rgba(0xca8468ff).into()),
1460                        terminal_ansi_bright_green: Some(rgba(0x84c8abff).into()),
1461                        terminal_ansi_bright_yellow: Some(rgba(0xd1aa7bff).into()),
1462                        terminal_ansi_bright_blue: Some(rgba(0x68a4caff).into()),
1463                        terminal_ansi_bright_magenta: Some(rgba(0xc88da2ff).into()),
1464                        terminal_ansi_bright_cyan: Some(rgba(0x84c0c8ff).into()),
1465                        terminal_ansi_bright_white: Some(rgba(0xc5d1d3ff).into()),
1466                        terminal_ansi_black: Some(rgba(0x182a35ff).into()),
1467                        terminal_ansi_red: Some(rgba(0xc08872ff).into()),
1468                        terminal_ansi_green: Some(rgba(0x72c09fff).into()),
1469                        terminal_ansi_yellow: Some(rgba(0xc8a984ff).into()),
1470                        terminal_ansi_blue: Some(rgba(0x6196b8ff).into()),
1471                        terminal_ansi_magenta: Some(rgba(0xc28097ff).into()),
1472                        terminal_ansi_cyan: Some(rgba(0x72b7c0ff).into()),
1473                        terminal_ansi_white: Some(rgba(0xc5cdd3ff).into()),
1474                        ..Default::default()
1475                    },
1476                    status: StatusColorsRefinement {
1477                        conflict: Some(rgba(0xdfc09fff).into()),
1478                        created: Some(rgba(0xa0d4a8ff).into()),
1479                        deleted: Some(rgba(0xb96346ff).into()),
1480                        error: Some(rgba(0xb96346ff).into()),
1481                        hidden: Some(rgba(0x96a8b6ff).into()),
1482                        hint: Some(rgba(0x969696ff).into()),
1483                        ignored: Some(rgba(0x5b788bff).into()),
1484                        modified: Some(rgba(0xdfc09fff).into()),
1485                        warning: Some(rgba(0xffa857ff).into()),
1486                        ..Default::default()
1487                    },
1488                    syntax: Some(UserSyntaxTheme {
1489                        highlights: vec![
1490                            (
1491                                "boolean".into(),
1492                                UserHighlightStyle {
1493                                    color: Some(rgba(0x7068b1ff).into()),
1494                                    ..Default::default()
1495                                },
1496                            ),
1497                            (
1498                                "comment".into(),
1499                                UserHighlightStyle {
1500                                    color: Some(rgba(0x5e7887ff).into()),
1501                                    ..Default::default()
1502                                },
1503                            ),
1504                            (
1505                                "comment.doc".into(),
1506                                UserHighlightStyle {
1507                                    color: Some(rgba(0x5e7887ff).into()),
1508                                    ..Default::default()
1509                                },
1510                            ),
1511                            (
1512                                "constant".into(),
1513                                UserHighlightStyle {
1514                                    color: Some(rgba(0xa88c00ff).into()),
1515                                    ..Default::default()
1516                                },
1517                            ),
1518                            (
1519                                "constructor".into(),
1520                                UserHighlightStyle {
1521                                    color: Some(rgba(0xc37455ff).into()),
1522                                    ..Default::default()
1523                                },
1524                            ),
1525                            (
1526                                "function".into(),
1527                                UserHighlightStyle {
1528                                    color: Some(rgba(0x3f848dff).into()),
1529                                    ..Default::default()
1530                                },
1531                            ),
1532                            (
1533                                "keyword".into(),
1534                                UserHighlightStyle {
1535                                    color: Some(rgba(0xc37455ff).into()),
1536                                    ..Default::default()
1537                                },
1538                            ),
1539                            (
1540                                "label".into(),
1541                                UserHighlightStyle {
1542                                    color: Some(rgba(0x72b7c0ff).into()),
1543                                    ..Default::default()
1544                                },
1545                            ),
1546                            (
1547                                "link_text".into(),
1548                                UserHighlightStyle {
1549                                    color: Some(rgba(0x72b7c0ff).into()),
1550                                    ..Default::default()
1551                                },
1552                            ),
1553                            (
1554                                "link_uri".into(),
1555                                UserHighlightStyle {
1556                                    color: Some(rgba(0x72b7c0ff).into()),
1557                                    ..Default::default()
1558                                },
1559                            ),
1560                            (
1561                                "number".into(),
1562                                UserHighlightStyle {
1563                                    color: Some(rgba(0x7068b1ff).into()),
1564                                    ..Default::default()
1565                                },
1566                            ),
1567                            (
1568                                "preproc".into(),
1569                                UserHighlightStyle {
1570                                    color: Some(rgba(0xc88da2ff).into()),
1571                                    ..Default::default()
1572                                },
1573                            ),
1574                            (
1575                                "property".into(),
1576                                UserHighlightStyle {
1577                                    color: Some(rgba(0x3f848dff).into()),
1578                                    ..Default::default()
1579                                },
1580                            ),
1581                            (
1582                                "punctuation".into(),
1583                                UserHighlightStyle {
1584                                    color: Some(rgba(0xc5cdd3ff).into()),
1585                                    ..Default::default()
1586                                },
1587                            ),
1588                            (
1589                                "punctuation.bracket".into(),
1590                                UserHighlightStyle {
1591                                    color: Some(rgba(0xc5cdd3ff).into()),
1592                                    ..Default::default()
1593                                },
1594                            ),
1595                            (
1596                                "punctuation.delimiter".into(),
1597                                UserHighlightStyle {
1598                                    color: Some(rgba(0xc5cdd3ff).into()),
1599                                    ..Default::default()
1600                                },
1601                            ),
1602                            (
1603                                "punctuation.list_marker".into(),
1604                                UserHighlightStyle {
1605                                    color: Some(rgba(0xc5cdd3ff).into()),
1606                                    ..Default::default()
1607                                },
1608                            ),
1609                            (
1610                                "punctuation.special".into(),
1611                                UserHighlightStyle {
1612                                    color: Some(rgba(0xc5cdd3ff).into()),
1613                                    ..Default::default()
1614                                },
1615                            ),
1616                            (
1617                                "string".into(),
1618                                UserHighlightStyle {
1619                                    color: Some(rgba(0x72c09fff).into()),
1620                                    ..Default::default()
1621                                },
1622                            ),
1623                            (
1624                                "string.escape".into(),
1625                                UserHighlightStyle {
1626                                    color: Some(rgba(0xc5cdd3ff).into()),
1627                                    ..Default::default()
1628                                },
1629                            ),
1630                            (
1631                                "string.regex".into(),
1632                                UserHighlightStyle {
1633                                    color: Some(rgba(0x72c09fff).into()),
1634                                    ..Default::default()
1635                                },
1636                            ),
1637                            (
1638                                "string.special".into(),
1639                                UserHighlightStyle {
1640                                    color: Some(rgba(0x72c09fff).into()),
1641                                    ..Default::default()
1642                                },
1643                            ),
1644                            (
1645                                "string.special.symbol".into(),
1646                                UserHighlightStyle {
1647                                    color: Some(rgba(0x72c09fff).into()),
1648                                    ..Default::default()
1649                                },
1650                            ),
1651                            (
1652                                "tag".into(),
1653                                UserHighlightStyle {
1654                                    color: Some(rgba(0xc37455ff).into()),
1655                                    ..Default::default()
1656                                },
1657                            ),
1658                            (
1659                                "text.literal".into(),
1660                                UserHighlightStyle {
1661                                    color: Some(rgba(0x72c09fff).into()),
1662                                    ..Default::default()
1663                                },
1664                            ),
1665                            (
1666                                "title".into(),
1667                                UserHighlightStyle {
1668                                    color: Some(rgba(0x72b7c0ff).into()),
1669                                    ..Default::default()
1670                                },
1671                            ),
1672                            (
1673                                "type".into(),
1674                                UserHighlightStyle {
1675                                    color: Some(rgba(0xbe856fff).into()),
1676                                    ..Default::default()
1677                                },
1678                            ),
1679                            (
1680                                "variable".into(),
1681                                UserHighlightStyle {
1682                                    color: Some(rgba(0xd3b692ff).into()),
1683                                    ..Default::default()
1684                                },
1685                            ),
1686                            (
1687                                "variable.special".into(),
1688                                UserHighlightStyle {
1689                                    color: Some(rgba(0xc37455ff).into()),
1690                                    ..Default::default()
1691                                },
1692                            ),
1693                        ],
1694                    }),
1695                },
1696            },
1697            UserTheme {
1698                name: "Noctis".into(),
1699                appearance: Appearance::Dark,
1700                styles: UserThemeStylesRefinement {
1701                    colors: ThemeColorsRefinement {
1702                        border: Some(rgba(0x0e6671ff).into()),
1703                        border_variant: Some(rgba(0x0e6671ff).into()),
1704                        border_focused: Some(rgba(0x073940ff).into()),
1705                        border_selected: Some(rgba(0x0e6671ff).into()),
1706                        border_transparent: Some(rgba(0x0e6671ff).into()),
1707                        border_disabled: Some(rgba(0x0e6671ff).into()),
1708                        elevated_surface_background: Some(rgba(0x073940ff).into()),
1709                        surface_background: Some(rgba(0x03191bff).into()),
1710                        background: Some(rgba(0x052529ff).into()),
1711                        element_background: Some(rgba(0x099099ff).into()),
1712                        element_hover: Some(rgba(0x0b515bff).into()),
1713                        element_selected: Some(rgba(0x0e6671ff).into()),
1714                        drop_target_background: Some(rgba(0x00404dff).into()),
1715                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
1716                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
1717                        text: Some(rgba(0xb2cacdff).into()),
1718                        text_muted: Some(rgba(0x87a7abff).into()),
1719                        status_bar_background: Some(rgba(0x041d20ff).into()),
1720                        title_bar_background: Some(rgba(0x041d20ff).into()),
1721                        toolbar_background: Some(rgba(0x052529ff).into()),
1722                        tab_bar_background: Some(rgba(0x062e32ff).into()),
1723                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
1724                        tab_active_background: Some(rgba(0x052529ff).into()),
1725                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
1726                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
1727                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
1728                        scrollbar_track_background: Some(rgba(0x052529ff).into()),
1729                        scrollbar_track_border: Some(rgba(0x052529ff).into()),
1730                        editor_foreground: Some(rgba(0xb2cacdff).into()),
1731                        editor_background: Some(rgba(0x052529ff).into()),
1732                        editor_gutter_background: Some(rgba(0x052529ff).into()),
1733                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
1734                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
1735                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
1736                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
1737                        terminal_background: Some(rgba(0x03191bff).into()),
1738                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
1739                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
1740                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
1741                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
1742                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
1743                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
1744                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
1745                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
1746                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
1747                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
1748                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
1749                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
1750                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
1751                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
1752                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
1753                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
1754                        ..Default::default()
1755                    },
1756                    status: StatusColorsRefinement {
1757                        conflict: Some(rgba(0xe4b781ff).into()),
1758                        created: Some(rgba(0x8ce99aff).into()),
1759                        deleted: Some(rgba(0xe34e1cff).into()),
1760                        error: Some(rgba(0xe34e1cff).into()),
1761                        hidden: Some(rgba(0x87a7abff).into()),
1762                        hint: Some(rgba(0x969696ff).into()),
1763                        ignored: Some(rgba(0x5b858bff).into()),
1764                        modified: Some(rgba(0xe0c184ff).into()),
1765                        warning: Some(rgba(0xffa487ff).into()),
1766                        ..Default::default()
1767                    },
1768                    syntax: Some(UserSyntaxTheme {
1769                        highlights: vec![
1770                            (
1771                                "boolean".into(),
1772                                UserHighlightStyle {
1773                                    color: Some(rgba(0x7060ebff).into()),
1774                                    ..Default::default()
1775                                },
1776                            ),
1777                            (
1778                                "comment".into(),
1779                                UserHighlightStyle {
1780                                    color: Some(rgba(0x5b858bff).into()),
1781                                    ..Default::default()
1782                                },
1783                            ),
1784                            (
1785                                "comment.doc".into(),
1786                                UserHighlightStyle {
1787                                    color: Some(rgba(0x5b858bff).into()),
1788                                    ..Default::default()
1789                                },
1790                            ),
1791                            (
1792                                "constant".into(),
1793                                UserHighlightStyle {
1794                                    color: Some(rgba(0xd5971aff).into()),
1795                                    ..Default::default()
1796                                },
1797                            ),
1798                            (
1799                                "constructor".into(),
1800                                UserHighlightStyle {
1801                                    color: Some(rgba(0xe66533ff).into()),
1802                                    ..Default::default()
1803                                },
1804                            ),
1805                            (
1806                                "function".into(),
1807                                UserHighlightStyle {
1808                                    color: Some(rgba(0x16a3b6ff).into()),
1809                                    ..Default::default()
1810                                },
1811                            ),
1812                            (
1813                                "keyword".into(),
1814                                UserHighlightStyle {
1815                                    color: Some(rgba(0xe66533ff).into()),
1816                                    ..Default::default()
1817                                },
1818                            ),
1819                            (
1820                                "label".into(),
1821                                UserHighlightStyle {
1822                                    color: Some(rgba(0x49d6e9ff).into()),
1823                                    ..Default::default()
1824                                },
1825                            ),
1826                            (
1827                                "link_text".into(),
1828                                UserHighlightStyle {
1829                                    color: Some(rgba(0x49d6e9ff).into()),
1830                                    ..Default::default()
1831                                },
1832                            ),
1833                            (
1834                                "link_uri".into(),
1835                                UserHighlightStyle {
1836                                    color: Some(rgba(0x49d6e9ff).into()),
1837                                    ..Default::default()
1838                                },
1839                            ),
1840                            (
1841                                "number".into(),
1842                                UserHighlightStyle {
1843                                    color: Some(rgba(0x7060ebff).into()),
1844                                    ..Default::default()
1845                                },
1846                            ),
1847                            (
1848                                "preproc".into(),
1849                                UserHighlightStyle {
1850                                    color: Some(rgba(0xdf769bff).into()),
1851                                    ..Default::default()
1852                                },
1853                            ),
1854                            (
1855                                "property".into(),
1856                                UserHighlightStyle {
1857                                    color: Some(rgba(0x16a3b6ff).into()),
1858                                    ..Default::default()
1859                                },
1860                            ),
1861                            (
1862                                "punctuation".into(),
1863                                UserHighlightStyle {
1864                                    color: Some(rgba(0xb2cacdff).into()),
1865                                    ..Default::default()
1866                                },
1867                            ),
1868                            (
1869                                "punctuation.bracket".into(),
1870                                UserHighlightStyle {
1871                                    color: Some(rgba(0xb2cacdff).into()),
1872                                    ..Default::default()
1873                                },
1874                            ),
1875                            (
1876                                "punctuation.delimiter".into(),
1877                                UserHighlightStyle {
1878                                    color: Some(rgba(0xb2cacdff).into()),
1879                                    ..Default::default()
1880                                },
1881                            ),
1882                            (
1883                                "punctuation.list_marker".into(),
1884                                UserHighlightStyle {
1885                                    color: Some(rgba(0xb2cacdff).into()),
1886                                    ..Default::default()
1887                                },
1888                            ),
1889                            (
1890                                "punctuation.special".into(),
1891                                UserHighlightStyle {
1892                                    color: Some(rgba(0xb2cacdff).into()),
1893                                    ..Default::default()
1894                                },
1895                            ),
1896                            (
1897                                "string".into(),
1898                                UserHighlightStyle {
1899                                    color: Some(rgba(0x49e9a6ff).into()),
1900                                    ..Default::default()
1901                                },
1902                            ),
1903                            (
1904                                "string.escape".into(),
1905                                UserHighlightStyle {
1906                                    color: Some(rgba(0xb2cacdff).into()),
1907                                    ..Default::default()
1908                                },
1909                            ),
1910                            (
1911                                "string.regex".into(),
1912                                UserHighlightStyle {
1913                                    color: Some(rgba(0x49e9a6ff).into()),
1914                                    ..Default::default()
1915                                },
1916                            ),
1917                            (
1918                                "string.special".into(),
1919                                UserHighlightStyle {
1920                                    color: Some(rgba(0x49e9a6ff).into()),
1921                                    ..Default::default()
1922                                },
1923                            ),
1924                            (
1925                                "string.special.symbol".into(),
1926                                UserHighlightStyle {
1927                                    color: Some(rgba(0x49e9a6ff).into()),
1928                                    ..Default::default()
1929                                },
1930                            ),
1931                            (
1932                                "tag".into(),
1933                                UserHighlightStyle {
1934                                    color: Some(rgba(0xe66533ff).into()),
1935                                    ..Default::default()
1936                                },
1937                            ),
1938                            (
1939                                "text.literal".into(),
1940                                UserHighlightStyle {
1941                                    color: Some(rgba(0x49e9a6ff).into()),
1942                                    ..Default::default()
1943                                },
1944                            ),
1945                            (
1946                                "title".into(),
1947                                UserHighlightStyle {
1948                                    color: Some(rgba(0x49d6e9ff).into()),
1949                                    ..Default::default()
1950                                },
1951                            ),
1952                            (
1953                                "type".into(),
1954                                UserHighlightStyle {
1955                                    color: Some(rgba(0xd67e5cff).into()),
1956                                    ..Default::default()
1957                                },
1958                            ),
1959                            (
1960                                "variable".into(),
1961                                UserHighlightStyle {
1962                                    color: Some(rgba(0xe4b781ff).into()),
1963                                    ..Default::default()
1964                                },
1965                            ),
1966                            (
1967                                "variable.special".into(),
1968                                UserHighlightStyle {
1969                                    color: Some(rgba(0xe66533ff).into()),
1970                                    ..Default::default()
1971                                },
1972                            ),
1973                        ],
1974                    }),
1975                },
1976            },
1977            UserTheme {
1978                name: "Noctis Obscuro".into(),
1979                appearance: Appearance::Dark,
1980                styles: UserThemeStylesRefinement {
1981                    colors: ThemeColorsRefinement {
1982                        border: Some(rgba(0x0e6671ff).into()),
1983                        border_variant: Some(rgba(0x0e6671ff).into()),
1984                        border_focused: Some(rgba(0x062e32ff).into()),
1985                        border_selected: Some(rgba(0x0e6671ff).into()),
1986                        border_transparent: Some(rgba(0x0e6671ff).into()),
1987                        border_disabled: Some(rgba(0x0e6671ff).into()),
1988                        elevated_surface_background: Some(rgba(0x031417ff).into()),
1989                        surface_background: Some(rgba(0x020c0eff).into()),
1990                        background: Some(rgba(0x031417ff).into()),
1991                        element_background: Some(rgba(0x099099ff).into()),
1992                        element_hover: Some(rgba(0x0b515bff).into()),
1993                        element_selected: Some(rgba(0x0e6671ff).into()),
1994                        drop_target_background: Some(rgba(0x00404dff).into()),
1995                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
1996                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
1997                        text: Some(rgba(0xb2cacdff).into()),
1998                        text_muted: Some(rgba(0x87a7abff).into()),
1999                        status_bar_background: Some(rgba(0x031417ff).into()),
2000                        title_bar_background: Some(rgba(0x031417ff).into()),
2001                        toolbar_background: Some(rgba(0x031417ff).into()),
2002                        tab_bar_background: Some(rgba(0x062e32ff).into()),
2003                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
2004                        tab_active_background: Some(rgba(0x031417ff).into()),
2005                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
2006                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
2007                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
2008                        scrollbar_track_background: Some(rgba(0x031417ff).into()),
2009                        scrollbar_track_border: Some(rgba(0x031417ff).into()),
2010                        editor_foreground: Some(rgba(0xb2cacdff).into()),
2011                        editor_background: Some(rgba(0x031417ff).into()),
2012                        editor_gutter_background: Some(rgba(0x031417ff).into()),
2013                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
2014                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
2015                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
2016                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
2017                        terminal_background: Some(rgba(0x020c0eff).into()),
2018                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
2019                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2020                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2021                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2022                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2023                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2024                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2025                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
2026                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
2027                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2028                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2029                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2030                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2031                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2032                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2033                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
2034                        ..Default::default()
2035                    },
2036                    status: StatusColorsRefinement {
2037                        conflict: Some(rgba(0xe4b781ff).into()),
2038                        created: Some(rgba(0x8ce99aff).into()),
2039                        deleted: Some(rgba(0xe34e1cff).into()),
2040                        error: Some(rgba(0xe34e1cff).into()),
2041                        hidden: Some(rgba(0x87a7abff).into()),
2042                        hint: Some(rgba(0x969696ff).into()),
2043                        ignored: Some(rgba(0x647e82ff).into()),
2044                        modified: Some(rgba(0xe4b781ff).into()),
2045                        warning: Some(rgba(0xffa487ff).into()),
2046                        ..Default::default()
2047                    },
2048                    syntax: Some(UserSyntaxTheme {
2049                        highlights: vec![
2050                            (
2051                                "boolean".into(),
2052                                UserHighlightStyle {
2053                                    color: Some(rgba(0x7060ebff).into()),
2054                                    ..Default::default()
2055                                },
2056                            ),
2057                            (
2058                                "comment".into(),
2059                                UserHighlightStyle {
2060                                    color: Some(rgba(0x5b858bff).into()),
2061                                    ..Default::default()
2062                                },
2063                            ),
2064                            (
2065                                "comment.doc".into(),
2066                                UserHighlightStyle {
2067                                    color: Some(rgba(0x5b858bff).into()),
2068                                    ..Default::default()
2069                                },
2070                            ),
2071                            (
2072                                "constant".into(),
2073                                UserHighlightStyle {
2074                                    color: Some(rgba(0xd5971aff).into()),
2075                                    ..Default::default()
2076                                },
2077                            ),
2078                            (
2079                                "constructor".into(),
2080                                UserHighlightStyle {
2081                                    color: Some(rgba(0xe66533ff).into()),
2082                                    ..Default::default()
2083                                },
2084                            ),
2085                            (
2086                                "function".into(),
2087                                UserHighlightStyle {
2088                                    color: Some(rgba(0x16a3b6ff).into()),
2089                                    ..Default::default()
2090                                },
2091                            ),
2092                            (
2093                                "keyword".into(),
2094                                UserHighlightStyle {
2095                                    color: Some(rgba(0xe66533ff).into()),
2096                                    ..Default::default()
2097                                },
2098                            ),
2099                            (
2100                                "label".into(),
2101                                UserHighlightStyle {
2102                                    color: Some(rgba(0x49d6e9ff).into()),
2103                                    ..Default::default()
2104                                },
2105                            ),
2106                            (
2107                                "link_text".into(),
2108                                UserHighlightStyle {
2109                                    color: Some(rgba(0x49d6e9ff).into()),
2110                                    ..Default::default()
2111                                },
2112                            ),
2113                            (
2114                                "link_uri".into(),
2115                                UserHighlightStyle {
2116                                    color: Some(rgba(0x49d6e9ff).into()),
2117                                    ..Default::default()
2118                                },
2119                            ),
2120                            (
2121                                "number".into(),
2122                                UserHighlightStyle {
2123                                    color: Some(rgba(0x7060ebff).into()),
2124                                    ..Default::default()
2125                                },
2126                            ),
2127                            (
2128                                "preproc".into(),
2129                                UserHighlightStyle {
2130                                    color: Some(rgba(0xdf769bff).into()),
2131                                    ..Default::default()
2132                                },
2133                            ),
2134                            (
2135                                "property".into(),
2136                                UserHighlightStyle {
2137                                    color: Some(rgba(0x16a3b6ff).into()),
2138                                    ..Default::default()
2139                                },
2140                            ),
2141                            (
2142                                "punctuation".into(),
2143                                UserHighlightStyle {
2144                                    color: Some(rgba(0xb2cacdff).into()),
2145                                    ..Default::default()
2146                                },
2147                            ),
2148                            (
2149                                "punctuation.bracket".into(),
2150                                UserHighlightStyle {
2151                                    color: Some(rgba(0xb2cacdff).into()),
2152                                    ..Default::default()
2153                                },
2154                            ),
2155                            (
2156                                "punctuation.delimiter".into(),
2157                                UserHighlightStyle {
2158                                    color: Some(rgba(0xb2cacdff).into()),
2159                                    ..Default::default()
2160                                },
2161                            ),
2162                            (
2163                                "punctuation.list_marker".into(),
2164                                UserHighlightStyle {
2165                                    color: Some(rgba(0xb2cacdff).into()),
2166                                    ..Default::default()
2167                                },
2168                            ),
2169                            (
2170                                "punctuation.special".into(),
2171                                UserHighlightStyle {
2172                                    color: Some(rgba(0xb2cacdff).into()),
2173                                    ..Default::default()
2174                                },
2175                            ),
2176                            (
2177                                "string".into(),
2178                                UserHighlightStyle {
2179                                    color: Some(rgba(0x49e9a6ff).into()),
2180                                    ..Default::default()
2181                                },
2182                            ),
2183                            (
2184                                "string.escape".into(),
2185                                UserHighlightStyle {
2186                                    color: Some(rgba(0xb2cacdff).into()),
2187                                    ..Default::default()
2188                                },
2189                            ),
2190                            (
2191                                "string.regex".into(),
2192                                UserHighlightStyle {
2193                                    color: Some(rgba(0x49e9a6ff).into()),
2194                                    ..Default::default()
2195                                },
2196                            ),
2197                            (
2198                                "string.special".into(),
2199                                UserHighlightStyle {
2200                                    color: Some(rgba(0x49e9a6ff).into()),
2201                                    ..Default::default()
2202                                },
2203                            ),
2204                            (
2205                                "string.special.symbol".into(),
2206                                UserHighlightStyle {
2207                                    color: Some(rgba(0x49e9a6ff).into()),
2208                                    ..Default::default()
2209                                },
2210                            ),
2211                            (
2212                                "tag".into(),
2213                                UserHighlightStyle {
2214                                    color: Some(rgba(0xe66533ff).into()),
2215                                    ..Default::default()
2216                                },
2217                            ),
2218                            (
2219                                "text.literal".into(),
2220                                UserHighlightStyle {
2221                                    color: Some(rgba(0x49e9a6ff).into()),
2222                                    ..Default::default()
2223                                },
2224                            ),
2225                            (
2226                                "title".into(),
2227                                UserHighlightStyle {
2228                                    color: Some(rgba(0x49d6e9ff).into()),
2229                                    ..Default::default()
2230                                },
2231                            ),
2232                            (
2233                                "type".into(),
2234                                UserHighlightStyle {
2235                                    color: Some(rgba(0xd67e5cff).into()),
2236                                    ..Default::default()
2237                                },
2238                            ),
2239                            (
2240                                "variable".into(),
2241                                UserHighlightStyle {
2242                                    color: Some(rgba(0xe4b781ff).into()),
2243                                    ..Default::default()
2244                                },
2245                            ),
2246                            (
2247                                "variable.special".into(),
2248                                UserHighlightStyle {
2249                                    color: Some(rgba(0xe66533ff).into()),
2250                                    ..Default::default()
2251                                },
2252                            ),
2253                        ],
2254                    }),
2255                },
2256            },
2257            UserTheme {
2258                name: "Noctis Sereno".into(),
2259                appearance: Appearance::Dark,
2260                styles: UserThemeStylesRefinement {
2261                    colors: ThemeColorsRefinement {
2262                        border: Some(rgba(0x0e6671ff).into()),
2263                        border_variant: Some(rgba(0x0e6671ff).into()),
2264                        border_focused: Some(rgba(0x062e32ff).into()),
2265                        border_selected: Some(rgba(0x0e6671ff).into()),
2266                        border_transparent: Some(rgba(0x0e6671ff).into()),
2267                        border_disabled: Some(rgba(0x0e6671ff).into()),
2268                        elevated_surface_background: Some(rgba(0x031417ff).into()),
2269                        surface_background: Some(rgba(0x020c0eff).into()),
2270                        background: Some(rgba(0x031417ff).into()),
2271                        element_background: Some(rgba(0x099099ff).into()),
2272                        element_hover: Some(rgba(0x0b515bff).into()),
2273                        element_selected: Some(rgba(0x0e6671ff).into()),
2274                        drop_target_background: Some(rgba(0x00404dff).into()),
2275                        ghost_element_hover: Some(rgba(0x0b515bff).into()),
2276                        ghost_element_selected: Some(rgba(0x0e6671ff).into()),
2277                        text: Some(rgba(0xb2cacdff).into()),
2278                        text_muted: Some(rgba(0x87a7abff).into()),
2279                        status_bar_background: Some(rgba(0x031417ff).into()),
2280                        title_bar_background: Some(rgba(0x031417ff).into()),
2281                        toolbar_background: Some(rgba(0x031417ff).into()),
2282                        tab_bar_background: Some(rgba(0x062e32ff).into()),
2283                        tab_inactive_background: Some(rgba(0x062e32ff).into()),
2284                        tab_active_background: Some(rgba(0x031417ff).into()),
2285                        scrollbar_thumb_background: Some(rgba(0x6a90955b).into()),
2286                        scrollbar_thumb_hover_background: Some(rgba(0x169fb162).into()),
2287                        scrollbar_thumb_border: Some(rgba(0x6a90955b).into()),
2288                        scrollbar_track_background: Some(rgba(0x031417ff).into()),
2289                        scrollbar_track_border: Some(rgba(0x031417ff).into()),
2290                        editor_foreground: Some(rgba(0xb2cacdff).into()),
2291                        editor_background: Some(rgba(0x031417ff).into()),
2292                        editor_gutter_background: Some(rgba(0x031417ff).into()),
2293                        editor_line_number: Some(rgba(0x4e6b6eff).into()),
2294                        editor_active_line_number: Some(rgba(0xb2cacdff).into()),
2295                        editor_wrap_guide: Some(rgba(0x0e6671ff).into()),
2296                        editor_active_wrap_guide: Some(rgba(0x0e6671ff).into()),
2297                        terminal_background: Some(rgba(0x020c0eff).into()),
2298                        terminal_ansi_bright_black: Some(rgba(0x47686cff).into()),
2299                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2300                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2301                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2302                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2303                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2304                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2305                        terminal_ansi_bright_white: Some(rgba(0xc1d4d7ff).into()),
2306                        terminal_ansi_black: Some(rgba(0x324a4dff).into()),
2307                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2308                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2309                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2310                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2311                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2312                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2313                        terminal_ansi_white: Some(rgba(0xb2cacdff).into()),
2314                        ..Default::default()
2315                    },
2316                    status: StatusColorsRefinement {
2317                        conflict: Some(rgba(0xe4b781ff).into()),
2318                        created: Some(rgba(0x8ce99aff).into()),
2319                        deleted: Some(rgba(0xe34e1cff).into()),
2320                        error: Some(rgba(0xe34e1cff).into()),
2321                        hidden: Some(rgba(0x87a7abff).into()),
2322                        hint: Some(rgba(0x969696ff).into()),
2323                        ignored: Some(rgba(0x647e82ff).into()),
2324                        modified: Some(rgba(0xe4b781ff).into()),
2325                        warning: Some(rgba(0xffa487ff).into()),
2326                        ..Default::default()
2327                    },
2328                    syntax: Some(UserSyntaxTheme {
2329                        highlights: vec![
2330                            (
2331                                "boolean".into(),
2332                                UserHighlightStyle {
2333                                    color: Some(rgba(0x7060ebff).into()),
2334                                    ..Default::default()
2335                                },
2336                            ),
2337                            (
2338                                "comment".into(),
2339                                UserHighlightStyle {
2340                                    color: Some(rgba(0x5b858bff).into()),
2341                                    ..Default::default()
2342                                },
2343                            ),
2344                            (
2345                                "comment.doc".into(),
2346                                UserHighlightStyle {
2347                                    color: Some(rgba(0x5b858bff).into()),
2348                                    ..Default::default()
2349                                },
2350                            ),
2351                            (
2352                                "constant".into(),
2353                                UserHighlightStyle {
2354                                    color: Some(rgba(0xd5971aff).into()),
2355                                    ..Default::default()
2356                                },
2357                            ),
2358                            (
2359                                "constructor".into(),
2360                                UserHighlightStyle {
2361                                    color: Some(rgba(0xe66533ff).into()),
2362                                    ..Default::default()
2363                                },
2364                            ),
2365                            (
2366                                "function".into(),
2367                                UserHighlightStyle {
2368                                    color: Some(rgba(0x16a3b6ff).into()),
2369                                    ..Default::default()
2370                                },
2371                            ),
2372                            (
2373                                "keyword".into(),
2374                                UserHighlightStyle {
2375                                    color: Some(rgba(0xe66533ff).into()),
2376                                    ..Default::default()
2377                                },
2378                            ),
2379                            (
2380                                "label".into(),
2381                                UserHighlightStyle {
2382                                    color: Some(rgba(0x49d6e9ff).into()),
2383                                    ..Default::default()
2384                                },
2385                            ),
2386                            (
2387                                "link_text".into(),
2388                                UserHighlightStyle {
2389                                    color: Some(rgba(0x49d6e9ff).into()),
2390                                    ..Default::default()
2391                                },
2392                            ),
2393                            (
2394                                "link_uri".into(),
2395                                UserHighlightStyle {
2396                                    color: Some(rgba(0x49d6e9ff).into()),
2397                                    ..Default::default()
2398                                },
2399                            ),
2400                            (
2401                                "number".into(),
2402                                UserHighlightStyle {
2403                                    color: Some(rgba(0x7060ebff).into()),
2404                                    ..Default::default()
2405                                },
2406                            ),
2407                            (
2408                                "preproc".into(),
2409                                UserHighlightStyle {
2410                                    color: Some(rgba(0xdf769bff).into()),
2411                                    ..Default::default()
2412                                },
2413                            ),
2414                            (
2415                                "property".into(),
2416                                UserHighlightStyle {
2417                                    color: Some(rgba(0x16a3b6ff).into()),
2418                                    ..Default::default()
2419                                },
2420                            ),
2421                            (
2422                                "punctuation".into(),
2423                                UserHighlightStyle {
2424                                    color: Some(rgba(0xb2cacdff).into()),
2425                                    ..Default::default()
2426                                },
2427                            ),
2428                            (
2429                                "punctuation.bracket".into(),
2430                                UserHighlightStyle {
2431                                    color: Some(rgba(0xb2cacdff).into()),
2432                                    ..Default::default()
2433                                },
2434                            ),
2435                            (
2436                                "punctuation.delimiter".into(),
2437                                UserHighlightStyle {
2438                                    color: Some(rgba(0xb2cacdff).into()),
2439                                    ..Default::default()
2440                                },
2441                            ),
2442                            (
2443                                "punctuation.list_marker".into(),
2444                                UserHighlightStyle {
2445                                    color: Some(rgba(0xb2cacdff).into()),
2446                                    ..Default::default()
2447                                },
2448                            ),
2449                            (
2450                                "punctuation.special".into(),
2451                                UserHighlightStyle {
2452                                    color: Some(rgba(0xb2cacdff).into()),
2453                                    ..Default::default()
2454                                },
2455                            ),
2456                            (
2457                                "string".into(),
2458                                UserHighlightStyle {
2459                                    color: Some(rgba(0x49e9a6ff).into()),
2460                                    ..Default::default()
2461                                },
2462                            ),
2463                            (
2464                                "string.escape".into(),
2465                                UserHighlightStyle {
2466                                    color: Some(rgba(0xb2cacdff).into()),
2467                                    ..Default::default()
2468                                },
2469                            ),
2470                            (
2471                                "string.regex".into(),
2472                                UserHighlightStyle {
2473                                    color: Some(rgba(0x49e9a6ff).into()),
2474                                    ..Default::default()
2475                                },
2476                            ),
2477                            (
2478                                "string.special".into(),
2479                                UserHighlightStyle {
2480                                    color: Some(rgba(0x49e9a6ff).into()),
2481                                    ..Default::default()
2482                                },
2483                            ),
2484                            (
2485                                "string.special.symbol".into(),
2486                                UserHighlightStyle {
2487                                    color: Some(rgba(0x49e9a6ff).into()),
2488                                    ..Default::default()
2489                                },
2490                            ),
2491                            (
2492                                "tag".into(),
2493                                UserHighlightStyle {
2494                                    color: Some(rgba(0xe66533ff).into()),
2495                                    ..Default::default()
2496                                },
2497                            ),
2498                            (
2499                                "text.literal".into(),
2500                                UserHighlightStyle {
2501                                    color: Some(rgba(0x49e9a6ff).into()),
2502                                    ..Default::default()
2503                                },
2504                            ),
2505                            (
2506                                "title".into(),
2507                                UserHighlightStyle {
2508                                    color: Some(rgba(0x49d6e9ff).into()),
2509                                    ..Default::default()
2510                                },
2511                            ),
2512                            (
2513                                "type".into(),
2514                                UserHighlightStyle {
2515                                    color: Some(rgba(0xd67e5cff).into()),
2516                                    ..Default::default()
2517                                },
2518                            ),
2519                            (
2520                                "variable".into(),
2521                                UserHighlightStyle {
2522                                    color: Some(rgba(0xe4b781ff).into()),
2523                                    ..Default::default()
2524                                },
2525                            ),
2526                            (
2527                                "variable.special".into(),
2528                                UserHighlightStyle {
2529                                    color: Some(rgba(0xe66533ff).into()),
2530                                    ..Default::default()
2531                                },
2532                            ),
2533                        ],
2534                    }),
2535                },
2536            },
2537            UserTheme {
2538                name: "Noctis Uva".into(),
2539                appearance: Appearance::Dark,
2540                styles: UserThemeStylesRefinement {
2541                    colors: ThemeColorsRefinement {
2542                        border: Some(rgba(0x6e67a8ff).into()),
2543                        border_variant: Some(rgba(0x6e67a8ff).into()),
2544                        border_focused: Some(rgba(0x2f2c49ff).into()),
2545                        border_selected: Some(rgba(0x6e67a8ff).into()),
2546                        border_transparent: Some(rgba(0x6e67a8ff).into()),
2547                        border_disabled: Some(rgba(0x6e67a8ff).into()),
2548                        elevated_surface_background: Some(rgba(0x2f2c49ff).into()),
2549                        surface_background: Some(rgba(0x1f1d30ff).into()),
2550                        background: Some(rgba(0x292640ff).into()),
2551                        element_background: Some(rgba(0x007f99ff).into()),
2552                        element_hover: Some(rgba(0x383866ff).into()),
2553                        element_selected: Some(rgba(0x332e5cff).into()),
2554                        drop_target_background: Some(rgba(0x202040ff).into()),
2555                        ghost_element_hover: Some(rgba(0x383866ff).into()),
2556                        ghost_element_selected: Some(rgba(0x332e5cff).into()),
2557                        text: Some(rgba(0xc5c2d6ff).into()),
2558                        text_muted: Some(rgba(0xa9a5c0ff).into()),
2559                        status_bar_background: Some(rgba(0x292640ff).into()),
2560                        title_bar_background: Some(rgba(0x292640ff).into()),
2561                        toolbar_background: Some(rgba(0x292640ff).into()),
2562                        tab_bar_background: Some(rgba(0x2f2c49ff).into()),
2563                        tab_inactive_background: Some(rgba(0x2f2c49ff).into()),
2564                        tab_active_background: Some(rgba(0x292640ff).into()),
2565                        scrollbar_thumb_background: Some(rgba(0x7060eb33).into()),
2566                        scrollbar_thumb_hover_background: Some(rgba(0x7060eb55).into()),
2567                        scrollbar_thumb_border: Some(rgba(0x7060eb33).into()),
2568                        scrollbar_track_background: Some(rgba(0x292640ff).into()),
2569                        scrollbar_track_border: Some(rgba(0x292640ff).into()),
2570                        editor_foreground: Some(rgba(0xc5c2d6ff).into()),
2571                        editor_background: Some(rgba(0x292640ff).into()),
2572                        editor_gutter_background: Some(rgba(0x292640ff).into()),
2573                        editor_line_number: Some(rgba(0x5c5973ff).into()),
2574                        editor_active_line_number: Some(rgba(0xc5c2d6ff).into()),
2575                        editor_wrap_guide: Some(rgba(0x6e67a8ff).into()),
2576                        editor_active_wrap_guide: Some(rgba(0x6e67a8ff).into()),
2577                        terminal_background: Some(rgba(0x1f1d30ff).into()),
2578                        terminal_ansi_bright_black: Some(rgba(0x504e65ff).into()),
2579                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2580                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2581                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2582                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2583                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2584                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2585                        terminal_ansi_bright_white: Some(rgba(0xc5c2d6ff).into()),
2586                        terminal_ansi_black: Some(rgba(0x302f3dff).into()),
2587                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2588                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2589                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2590                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2591                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2592                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2593                        terminal_ansi_white: Some(rgba(0xb6b3ccff).into()),
2594                        ..Default::default()
2595                    },
2596                    status: StatusColorsRefinement {
2597                        conflict: Some(rgba(0xffc180ff).into()),
2598                        created: Some(rgba(0x8ce99aff).into()),
2599                        deleted: Some(rgba(0xe34e1cff).into()),
2600                        error: Some(rgba(0xe34e1cff).into()),
2601                        hidden: Some(rgba(0xa9a5c0ff).into()),
2602                        hint: Some(rgba(0x969696ff).into()),
2603                        ignored: Some(rgba(0x5b788bff).into()),
2604                        modified: Some(rgba(0xffc180ff).into()),
2605                        warning: Some(rgba(0xffa857ff).into()),
2606                        ..Default::default()
2607                    },
2608                    syntax: Some(UserSyntaxTheme {
2609                        highlights: vec![
2610                            (
2611                                "boolean".into(),
2612                                UserHighlightStyle {
2613                                    color: Some(rgba(0x7060ebff).into()),
2614                                    ..Default::default()
2615                                },
2616                            ),
2617                            (
2618                                "comment".into(),
2619                                UserHighlightStyle {
2620                                    color: Some(rgba(0x716c93ff).into()),
2621                                    ..Default::default()
2622                                },
2623                            ),
2624                            (
2625                                "comment.doc".into(),
2626                                UserHighlightStyle {
2627                                    color: Some(rgba(0x716c93ff).into()),
2628                                    ..Default::default()
2629                                },
2630                            ),
2631                            (
2632                                "constant".into(),
2633                                UserHighlightStyle {
2634                                    color: Some(rgba(0xd5971aff).into()),
2635                                    ..Default::default()
2636                                },
2637                            ),
2638                            (
2639                                "constructor".into(),
2640                                UserHighlightStyle {
2641                                    color: Some(rgba(0xe66533ff).into()),
2642                                    ..Default::default()
2643                                },
2644                            ),
2645                            (
2646                                "function".into(),
2647                                UserHighlightStyle {
2648                                    color: Some(rgba(0x16a3b6ff).into()),
2649                                    ..Default::default()
2650                                },
2651                            ),
2652                            (
2653                                "keyword".into(),
2654                                UserHighlightStyle {
2655                                    color: Some(rgba(0xe66533ff).into()),
2656                                    ..Default::default()
2657                                },
2658                            ),
2659                            (
2660                                "label".into(),
2661                                UserHighlightStyle {
2662                                    color: Some(rgba(0x49d6e9ff).into()),
2663                                    ..Default::default()
2664                                },
2665                            ),
2666                            (
2667                                "link_text".into(),
2668                                UserHighlightStyle {
2669                                    color: Some(rgba(0x49d6e9ff).into()),
2670                                    ..Default::default()
2671                                },
2672                            ),
2673                            (
2674                                "link_uri".into(),
2675                                UserHighlightStyle {
2676                                    color: Some(rgba(0x49d6e9ff).into()),
2677                                    ..Default::default()
2678                                },
2679                            ),
2680                            (
2681                                "number".into(),
2682                                UserHighlightStyle {
2683                                    color: Some(rgba(0x7060ebff).into()),
2684                                    ..Default::default()
2685                                },
2686                            ),
2687                            (
2688                                "preproc".into(),
2689                                UserHighlightStyle {
2690                                    color: Some(rgba(0xdf769bff).into()),
2691                                    ..Default::default()
2692                                },
2693                            ),
2694                            (
2695                                "property".into(),
2696                                UserHighlightStyle {
2697                                    color: Some(rgba(0x16a3b6ff).into()),
2698                                    ..Default::default()
2699                                },
2700                            ),
2701                            (
2702                                "punctuation".into(),
2703                                UserHighlightStyle {
2704                                    color: Some(rgba(0xc5c2d6ff).into()),
2705                                    ..Default::default()
2706                                },
2707                            ),
2708                            (
2709                                "punctuation.bracket".into(),
2710                                UserHighlightStyle {
2711                                    color: Some(rgba(0xc5c2d6ff).into()),
2712                                    ..Default::default()
2713                                },
2714                            ),
2715                            (
2716                                "punctuation.delimiter".into(),
2717                                UserHighlightStyle {
2718                                    color: Some(rgba(0xc5c2d6ff).into()),
2719                                    ..Default::default()
2720                                },
2721                            ),
2722                            (
2723                                "punctuation.list_marker".into(),
2724                                UserHighlightStyle {
2725                                    color: Some(rgba(0xc5c2d6ff).into()),
2726                                    ..Default::default()
2727                                },
2728                            ),
2729                            (
2730                                "punctuation.special".into(),
2731                                UserHighlightStyle {
2732                                    color: Some(rgba(0xc5c2d6ff).into()),
2733                                    ..Default::default()
2734                                },
2735                            ),
2736                            (
2737                                "string".into(),
2738                                UserHighlightStyle {
2739                                    color: Some(rgba(0x49e9a6ff).into()),
2740                                    ..Default::default()
2741                                },
2742                            ),
2743                            (
2744                                "string.escape".into(),
2745                                UserHighlightStyle {
2746                                    color: Some(rgba(0xc5c2d6ff).into()),
2747                                    ..Default::default()
2748                                },
2749                            ),
2750                            (
2751                                "string.regex".into(),
2752                                UserHighlightStyle {
2753                                    color: Some(rgba(0x49e9a6ff).into()),
2754                                    ..Default::default()
2755                                },
2756                            ),
2757                            (
2758                                "string.special".into(),
2759                                UserHighlightStyle {
2760                                    color: Some(rgba(0x49e9a6ff).into()),
2761                                    ..Default::default()
2762                                },
2763                            ),
2764                            (
2765                                "string.special.symbol".into(),
2766                                UserHighlightStyle {
2767                                    color: Some(rgba(0x49e9a6ff).into()),
2768                                    ..Default::default()
2769                                },
2770                            ),
2771                            (
2772                                "tag".into(),
2773                                UserHighlightStyle {
2774                                    color: Some(rgba(0xe66533ff).into()),
2775                                    ..Default::default()
2776                                },
2777                            ),
2778                            (
2779                                "text.literal".into(),
2780                                UserHighlightStyle {
2781                                    color: Some(rgba(0x49e9a6ff).into()),
2782                                    ..Default::default()
2783                                },
2784                            ),
2785                            (
2786                                "title".into(),
2787                                UserHighlightStyle {
2788                                    color: Some(rgba(0x49d6e9ff).into()),
2789                                    ..Default::default()
2790                                },
2791                            ),
2792                            (
2793                                "type".into(),
2794                                UserHighlightStyle {
2795                                    color: Some(rgba(0xd67e5cff).into()),
2796                                    ..Default::default()
2797                                },
2798                            ),
2799                            (
2800                                "variable".into(),
2801                                UserHighlightStyle {
2802                                    color: Some(rgba(0xe4b781ff).into()),
2803                                    ..Default::default()
2804                                },
2805                            ),
2806                            (
2807                                "variable.special".into(),
2808                                UserHighlightStyle {
2809                                    color: Some(rgba(0xe66533ff).into()),
2810                                    ..Default::default()
2811                                },
2812                            ),
2813                        ],
2814                    }),
2815                },
2816            },
2817            UserTheme {
2818                name: "Noctis Viola".into(),
2819                appearance: Appearance::Dark,
2820                styles: UserThemeStylesRefinement {
2821                    colors: ThemeColorsRefinement {
2822                        border: Some(rgba(0x8767a8ff).into()),
2823                        border_variant: Some(rgba(0x8767a8ff).into()),
2824                        border_focused: Some(rgba(0x3d2e4dff).into()),
2825                        border_selected: Some(rgba(0x8767a8ff).into()),
2826                        border_transparent: Some(rgba(0x8767a8ff).into()),
2827                        border_disabled: Some(rgba(0x8767a8ff).into()),
2828                        elevated_surface_background: Some(rgba(0x3d2e4dff).into()),
2829                        surface_background: Some(rgba(0x291d35ff).into()),
2830                        background: Some(rgba(0x30243dff).into()),
2831                        element_background: Some(rgba(0x007f99ff).into()),
2832                        element_hover: Some(rgba(0x6a448dff).into()),
2833                        element_selected: Some(rgba(0x472e60ff).into()),
2834                        drop_target_background: Some(rgba(0x302040ff).into()),
2835                        ghost_element_hover: Some(rgba(0x6a448dff).into()),
2836                        ghost_element_selected: Some(rgba(0x472e60ff).into()),
2837                        text: Some(rgba(0xccbfd9ff).into()),
2838                        text_muted: Some(rgba(0xb3a5c0ff).into()),
2839                        status_bar_background: Some(rgba(0x30243dff).into()),
2840                        title_bar_background: Some(rgba(0x30243dff).into()),
2841                        toolbar_background: Some(rgba(0x30243dff).into()),
2842                        tab_bar_background: Some(rgba(0x3d2e4dff).into()),
2843                        tab_inactive_background: Some(rgba(0x3d2e4dff).into()),
2844                        tab_active_background: Some(rgba(0x30243dff).into()),
2845                        scrollbar_thumb_background: Some(rgba(0xa660eb33).into()),
2846                        scrollbar_thumb_hover_background: Some(rgba(0xa660eb55).into()),
2847                        scrollbar_thumb_border: Some(rgba(0xa660eb33).into()),
2848                        scrollbar_track_background: Some(rgba(0x30243dff).into()),
2849                        scrollbar_track_border: Some(rgba(0x30243dff).into()),
2850                        editor_foreground: Some(rgba(0xccbfd9ff).into()),
2851                        editor_background: Some(rgba(0x30243dff).into()),
2852                        editor_gutter_background: Some(rgba(0x30243dff).into()),
2853                        editor_line_number: Some(rgba(0x665973ff).into()),
2854                        editor_active_line_number: Some(rgba(0xccbfd9ff).into()),
2855                        editor_wrap_guide: Some(rgba(0x8767a8ff).into()),
2856                        editor_active_wrap_guide: Some(rgba(0x8767a8ff).into()),
2857                        terminal_background: Some(rgba(0x291d35ff).into()),
2858                        terminal_ansi_bright_black: Some(rgba(0x594e65ff).into()),
2859                        terminal_ansi_bright_red: Some(rgba(0xe97749ff).into()),
2860                        terminal_ansi_bright_green: Some(rgba(0x60ebb1ff).into()),
2861                        terminal_ansi_bright_yellow: Some(rgba(0xe69533ff).into()),
2862                        terminal_ansi_bright_blue: Some(rgba(0x60b6ebff).into()),
2863                        terminal_ansi_bright_magenta: Some(rgba(0xe798b3ff).into()),
2864                        terminal_ansi_bright_cyan: Some(rgba(0x60dbebff).into()),
2865                        terminal_ansi_bright_white: Some(rgba(0xccbfd9ff).into()),
2866                        terminal_ansi_black: Some(rgba(0x362f3dff).into()),
2867                        terminal_ansi_red: Some(rgba(0xe66533ff).into()),
2868                        terminal_ansi_green: Some(rgba(0x49e9a6ff).into()),
2869                        terminal_ansi_yellow: Some(rgba(0xe4b781ff).into()),
2870                        terminal_ansi_blue: Some(rgba(0x49ace9ff).into()),
2871                        terminal_ansi_magenta: Some(rgba(0xdf769bff).into()),
2872                        terminal_ansi_cyan: Some(rgba(0x49d6e9ff).into()),
2873                        terminal_ansi_white: Some(rgba(0xbfafcfff).into()),
2874                        ..Default::default()
2875                    },
2876                    status: StatusColorsRefinement {
2877                        conflict: Some(rgba(0xffc180ff).into()),
2878                        created: Some(rgba(0x8ce99aff).into()),
2879                        deleted: Some(rgba(0xe34e1cff).into()),
2880                        error: Some(rgba(0xe34e1cff).into()),
2881                        hidden: Some(rgba(0xb3a5c0ff).into()),
2882                        hint: Some(rgba(0x969696ff).into()),
2883                        ignored: Some(rgba(0x5b788bff).into()),
2884                        modified: Some(rgba(0xffc180ff).into()),
2885                        warning: Some(rgba(0xffa857ff).into()),
2886                        ..Default::default()
2887                    },
2888                    syntax: Some(UserSyntaxTheme {
2889                        highlights: vec![
2890                            (
2891                                "boolean".into(),
2892                                UserHighlightStyle {
2893                                    color: Some(rgba(0x7060ebff).into()),
2894                                    ..Default::default()
2895                                },
2896                            ),
2897                            (
2898                                "comment".into(),
2899                                UserHighlightStyle {
2900                                    color: Some(rgba(0x7f659aff).into()),
2901                                    ..Default::default()
2902                                },
2903                            ),
2904                            (
2905                                "comment.doc".into(),
2906                                UserHighlightStyle {
2907                                    color: Some(rgba(0x7f659aff).into()),
2908                                    ..Default::default()
2909                                },
2910                            ),
2911                            (
2912                                "constant".into(),
2913                                UserHighlightStyle {
2914                                    color: Some(rgba(0xd5971aff).into()),
2915                                    ..Default::default()
2916                                },
2917                            ),
2918                            (
2919                                "constructor".into(),
2920                                UserHighlightStyle {
2921                                    color: Some(rgba(0xe66533ff).into()),
2922                                    ..Default::default()
2923                                },
2924                            ),
2925                            (
2926                                "function".into(),
2927                                UserHighlightStyle {
2928                                    color: Some(rgba(0x16a3b6ff).into()),
2929                                    ..Default::default()
2930                                },
2931                            ),
2932                            (
2933                                "keyword".into(),
2934                                UserHighlightStyle {
2935                                    color: Some(rgba(0xe66533ff).into()),
2936                                    ..Default::default()
2937                                },
2938                            ),
2939                            (
2940                                "label".into(),
2941                                UserHighlightStyle {
2942                                    color: Some(rgba(0x49d6e9ff).into()),
2943                                    ..Default::default()
2944                                },
2945                            ),
2946                            (
2947                                "link_text".into(),
2948                                UserHighlightStyle {
2949                                    color: Some(rgba(0x49d6e9ff).into()),
2950                                    ..Default::default()
2951                                },
2952                            ),
2953                            (
2954                                "link_uri".into(),
2955                                UserHighlightStyle {
2956                                    color: Some(rgba(0x49d6e9ff).into()),
2957                                    ..Default::default()
2958                                },
2959                            ),
2960                            (
2961                                "number".into(),
2962                                UserHighlightStyle {
2963                                    color: Some(rgba(0x7060ebff).into()),
2964                                    ..Default::default()
2965                                },
2966                            ),
2967                            (
2968                                "preproc".into(),
2969                                UserHighlightStyle {
2970                                    color: Some(rgba(0xdf769bff).into()),
2971                                    ..Default::default()
2972                                },
2973                            ),
2974                            (
2975                                "property".into(),
2976                                UserHighlightStyle {
2977                                    color: Some(rgba(0x16a3b6ff).into()),
2978                                    ..Default::default()
2979                                },
2980                            ),
2981                            (
2982                                "punctuation".into(),
2983                                UserHighlightStyle {
2984                                    color: Some(rgba(0xccbfd9ff).into()),
2985                                    ..Default::default()
2986                                },
2987                            ),
2988                            (
2989                                "punctuation.bracket".into(),
2990                                UserHighlightStyle {
2991                                    color: Some(rgba(0xccbfd9ff).into()),
2992                                    ..Default::default()
2993                                },
2994                            ),
2995                            (
2996                                "punctuation.delimiter".into(),
2997                                UserHighlightStyle {
2998                                    color: Some(rgba(0xccbfd9ff).into()),
2999                                    ..Default::default()
3000                                },
3001                            ),
3002                            (
3003                                "punctuation.list_marker".into(),
3004                                UserHighlightStyle {
3005                                    color: Some(rgba(0xccbfd9ff).into()),
3006                                    ..Default::default()
3007                                },
3008                            ),
3009                            (
3010                                "punctuation.special".into(),
3011                                UserHighlightStyle {
3012                                    color: Some(rgba(0xccbfd9ff).into()),
3013                                    ..Default::default()
3014                                },
3015                            ),
3016                            (
3017                                "string".into(),
3018                                UserHighlightStyle {
3019                                    color: Some(rgba(0x49e9a6ff).into()),
3020                                    ..Default::default()
3021                                },
3022                            ),
3023                            (
3024                                "string.escape".into(),
3025                                UserHighlightStyle {
3026                                    color: Some(rgba(0xccbfd9ff).into()),
3027                                    ..Default::default()
3028                                },
3029                            ),
3030                            (
3031                                "string.regex".into(),
3032                                UserHighlightStyle {
3033                                    color: Some(rgba(0x49e9a6ff).into()),
3034                                    ..Default::default()
3035                                },
3036                            ),
3037                            (
3038                                "string.special".into(),
3039                                UserHighlightStyle {
3040                                    color: Some(rgba(0x49e9a6ff).into()),
3041                                    ..Default::default()
3042                                },
3043                            ),
3044                            (
3045                                "string.special.symbol".into(),
3046                                UserHighlightStyle {
3047                                    color: Some(rgba(0x49e9a6ff).into()),
3048                                    ..Default::default()
3049                                },
3050                            ),
3051                            (
3052                                "tag".into(),
3053                                UserHighlightStyle {
3054                                    color: Some(rgba(0xe66533ff).into()),
3055                                    ..Default::default()
3056                                },
3057                            ),
3058                            (
3059                                "text.literal".into(),
3060                                UserHighlightStyle {
3061                                    color: Some(rgba(0x49e9a6ff).into()),
3062                                    ..Default::default()
3063                                },
3064                            ),
3065                            (
3066                                "title".into(),
3067                                UserHighlightStyle {
3068                                    color: Some(rgba(0x49d6e9ff).into()),
3069                                    ..Default::default()
3070                                },
3071                            ),
3072                            (
3073                                "type".into(),
3074                                UserHighlightStyle {
3075                                    color: Some(rgba(0xd67e5cff).into()),
3076                                    ..Default::default()
3077                                },
3078                            ),
3079                            (
3080                                "variable".into(),
3081                                UserHighlightStyle {
3082                                    color: Some(rgba(0xe4b781ff).into()),
3083                                    ..Default::default()
3084                                },
3085                            ),
3086                            (
3087                                "variable.special".into(),
3088                                UserHighlightStyle {
3089                                    color: Some(rgba(0xe66533ff).into()),
3090                                    ..Default::default()
3091                                },
3092                            ),
3093                        ],
3094                    }),
3095                },
3096            },
3097        ],
3098    }
3099}