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